| Unikernels: Library operating systems for the cloud A Madhavapeddy, R Mortier, C Rotsos, D Scott, B Singh, T Gazagnaire, ... ACM SIGARCH Computer Architecture News 41 (1), 461-472, 2013 | 677 | 2013 |
| CIEL: A universal execution engine for distributed Data-Flow computing DG Murray, M Schwarzkopf, C Smowton, S Smith, A Madhavapeddy, ... 8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11), 2011 | 396 | 2011 |
| Unikernels: the rise of the virtual library operating system A Madhavapeddy, DJ Scott Communications of the ACM 57 (1), 61-69, 2014 | 304* | 2014 |
| Personal data: thinking inside the box A Chaudhry, J Crowcroft, H Howard, A Madhavapeddy, R Mortier, ... ACM, 2015 | 219* | 2015 |
| Jitsu:{Just-In-Time} Summoning of Unikernels A Madhavapeddy, T Leonard, M Skjegstad, T Gazagnaire, D Sheets, ... 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015 | 168 | 2015 |
| Interacting with mobile services: an evaluation of camera-phones and visual tags E Toye, R Sharp, A Madhavapeddy, D Scott, E Upton, A Blackwell Personal and Ubiquitous Computing 11, 97-106, 2007 | 160 | 2007 |
| A study of bluetooth propagation using accurate indoor location mapping A Madhavapeddy, A Tse International Conference on Ubiquitous Computing, 105-122, 2005 | 128 | 2005 |
| Using visual tags to bypass Bluetooth device discovery D Scott, R Sharp, A Madhavapeddy, E Upton ACM SIGMOBILE Mobile Computing and Communications Review 9 (1), 41-53, 2005 | 127 | 2005 |
| Real World OCaml: Functional programming for the masses Y Minsky, A Madhavapeddy, J Hickey " O'Reilly Media, Inc.", 2013 | 114* | 2013 |
| Audio networking: the forgotten wireless technology A Madhavapeddy, R Sharp, D Scott, A Tse IEEE Pervasive Computing 4 (3), 55-60, 2005 | 114 | 2005 |
| Raft refloated: Do we have consensus? H Howard, M Schwarzkopf, A Madhavapeddy, J Crowcroft ACM SIGOPS Operating Systems Review 49 (1), 12-21, 2015 | 113 | 2015 |
| Using smart phones to access site-specific services E Toye, R Sharp, A Madhavapeddy, D Scott IEEE pervasive computing 4 (2), 60-66, 2005 | 96 | 2005 |
| Context-aware computing with sound A Madhavapeddy, D Scott, R Sharp International Conference on Ubiquitous Computing, 315-332, 2003 | 96 | 2003 |
| Using camera-phones to enhance human-computer interaction A Madhavapeddy, D Scott, R Sharp, E Upton Sixth International Conference on Ubiquitous Computing (Adjunct Proceedings …, 2004 | 83 | 2004 |
| SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems T Ridge, D Sheets, T Tuerk, A Giugliano, A Madhavapeddy, P Sewell Proceedings of the 25th Symposium on Operating Systems Principles, 38-53, 2015 | 80 | 2015 |
| Concurrent system programming with effect handlers S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ... Trends in Functional Programming: 18th International Symposium, TFP 2017 …, 2018 | 75 | 2018 |
| Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015 | 74 | 2015 |
| Retrofitting effect handlers onto OCaml KC Sivaramakrishnan, S Dolan, L White, T Kelly, S Jaffer, ... Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 66 | 2021 |
| Bounding data races in space and time S Dolan, KC Sivaramakrishnan, A Madhavapeddy ACM SIGPLAN Notices 53 (4), 242-255, 2018 | 60 | 2018 |
| Xen 2002 P Barham, B Dragovic, KA Fraser, SM Hand, T Harris, AC Ho, ... | 59 | 2003 |
Jon CrowcroftUniversity of CambridgeVerified email at cl.cam.ac.uk
