2015
Skjegstad, M., Madhavapeddy, A. and Crowcroft, J., 2015. Kadupul: Livin' on the edge with virtual currencies and time-locked puzzles Diynetworking 2015 Proceedings of the 2015 Workshop on do It Yourself Networking an Interdisciplinary Approach,
Doi: 10.1145/2753488.2753492
Farinier, B., Gazagnaire, T. and Madhavapeddy, A., 2015. Mergeable persistent data structures Vingt Sixiemes Journees Francophones Des Langages Applicatifs Jfla 2015,
Madhavapeddy, A., Leonard, T., Skjegstad, M., Gazagnaire, T., Sheets, D., Scott, D., Mortier, R., Chaudhry, A., Singh, B., Ludlam, J., Crowcroft, J. and Leslie, I., 2015. Jitsu: Just-in-time summoning of unikernel Proceedings of the 12th Usenix Symposium on Networked Systems Design and Implementation Nsdi 2015,
Ghiassi-Farrokhfal, Y., Keshav, S. and Rosenberg, C., 2015. Toward a realistic performance analysis of storage systems in smart grids IEEE Transactions on Smart Grid, v. 6
Doi: 10.1109/TSG.2014.2330832
Kaloper-Meršinjak, D., Mehnert, H., Madhavapeddy, A. and Sewell, P., 2015. Not-quite-so-broken TLS: Lessons in re-engineering a security protocol specification and implementation Proceedings of the 24th Usenix Security Symposium,
Ghiassi-Farrokhfal, Y., Keshav, S., Rosenberg, C. and Ciucu, F., 2015. Solar power shaping: An analytical approach IEEE Transactions on Sustainable Energy, v. 6
Doi: 10.1109/TSTE.2014.2359795
Howard, H., Schwarzkopf, M., Madhavapeddy, A. and Crowcroft, J., 2015. Raft refloated: Do we have consensus? Operating Systems Review ACM, v. 49
Doi: 10.1145/2723872.2723876
Ardakanian, O., Rosenberg, C. and Keshav, S., 2015. Quantifying the benefits of extending electric vehicle charging deadlines with solar generation 2014 IEEE International Conference on Smart Grid Communications Smartgridcomm 2014,
Doi: 10.1109/SmartGridComm.2014.7007716
Boland, EJD., Shuckburgh, E., Haynes, PH., Ledwell, JR., Messias, MJ. and Watson, AJ., 2015. Estimating a submesoscale diffusivity using a roughness measure applied to a tracer release experiment in the Southern Ocean Journal of Physical Oceanography, v. 45
Doi: 10.1175/JPO-D-14-0047.1
Anderies, JM., Kaper, HG., Shuckburgh, EF. and Zagaris, A., 2015. Introduction to focus issue: Nonlinear dynamics for planet Earth. Chaos, v. 25
Doi: 10.1063/1.4915260
Wolff, EW., Shepherd, JG., Shuckburgh, E. and Watson, AJ., 2015. Feedbacks on climate in the Earth system: introduction. Philos Trans A Math Phys Eng Sci, v. 373
Doi: 10.1098/rsta.2014.0428
Gao, X., Golab, L. and Keshav, S., 2015. What's wrong with my solar panels: A data-driven approach Ceur Workshop Proceedings, v. 1330
Ridge, T., Sheets, D., Tuerk, T., Giugliano, A., Madhavapeddy, A. and Sewell, P., 2015. SibylFS: Formal specification and oracle-based testing for POSIX and real-world file systems Sosp 2015 Proceedings of the 25th ACM Symposium on Operating Systems Principles,
Doi: 10.1145/2815400.2815411
Ghiassi-Farrokhfal, Y., Kazhamiaka, F., Rosenberg, C. and Keshav, S., 2015. Optimal Design of Solar PV Farms with Storage IEEE Transactions on Sustainable Energy, v. 6
Doi: 10.1109/TSTE.2015.2456752
Skjegstad, M., Madhavapeddy, A. and Crowcroft, J., 2015. Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. DIYNetworking@MobiSys,
Rabbani, A. and Keshav, S., 2015. The SPOT∗ system for flexible personal heating and cooling E Energy 2015 Proceedings of the 2015 ACM 6th International Conference on Future Energy Systems,
Doi: 10.1145/2768510.2770944
Eriksen, M., Sperber, M. and Madhavapeddy, A., 2015. CUFP'13 scribe's report Journal of Functional Programming, v. 25
Doi: 10.1017/S0956796815000052
Singh, RP., Brecht, T. and Keshav, S., 2015. Towards VM consolidation using a hierarchy of idle states ACM SIGPLAN Notices, v. 50
Doi: 10.1145/2731186.2731195
2014
Singh, RP., Brecht, T. and Keshav, S., 2014. IP address multiplexing for VEEs Computer Communication Review, v. 44
Doi: 10.1145/2602204.2602210
Singla, S., Ghiassi-Farrokhfal, Y. and Keshav, S., 2014. Battery provisioning and scheduling for a hybrid battery-diesel generator system Performance Evaluation Review, v. 41
Doi: 10.1145/2567529.2567552
