Anil Madhavapeddy

Cited by

	All	Since 2018
Citations	3650	1675
h-index	28	19
i10-index	45	22

400

200

100

300

2004200520062007200820092010201120122013201420152016201720182019202020212022202311 59 57 87 72 82 92 99 111 159 192 251 307 311 397 361 309 270 257 81

Public access

View all

6 articles

1 article

available

not available

Based on funding mandates

Co-authors

Jon CrowcroftUniversity of CambridgeVerified email at cl.cam.ac.uk
Richard MortierCambridge University Computer LaboratoryVerified email at cl.cam.ac.uk
Steven HandCambridgeVerified email at cl.cam.ac.uk
Thomas GazagnaireTaridesVerified email at gazagnaire.org
Charalampos RotsosLecturer, Lancaster UniversityVerified email at lancaster.ac.uk
KC SivaramakrishnanTarides / IIT MadrasVerified email at iitm.ac.in
Malte SchwarzkopfBrown UniversityVerified email at cs.brown.edu
Heidi HowardSenior Researcher at MicrosoftVerified email at microsoft.com
Derek McAuleyUniversity of NottinghamVerified email at nottingham.ac.uk
Derek G. MurrayLaceworkVerified email at lacework.net
Jeremy YallopUniversity of CambridgeVerified email at cl.cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Hamed HaddadiImperial College London / Brave SoftwareVerified email at imperial.ac.uk
Andrew W. MooreUniversity of CambridgeVerified email at cl.cam.ac.uk
Jonathan LudlamUniversity of CambridgeVerified email at cam.ac.uk
Jason HickeyGoogle ResearchVerified email at google.com
Daniel HillerströmSenior researcher, Huawei Research Center ZurichVerified email at ed.ac.uk
Tom RidgeIndependentVerified email at tom-ridge.com
Robert N. M. WatsonProfessor, Department of Computer Science and Technology, University of CambridgeVerified email at cl.cam.ac.uk
Roy WantResearch Scientist, GoogleVerified email at google.com

Anil Madhavapeddy

Professor of Planetary Computing, University of Cambridge

Verified email at cl.cam.ac.uk - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	601	2013
Ciel: a universal execution engine for distributed data-flow computing DG Murray, M Schwarzkopf, C Smowton, S Smith, A Madhavapeddy, ... Proc. 8th ACM/USENIX Symposium on Networked Systems Design and …, 2011	383	2011
Unikernels: the rise of the virtual library operating system A Madhavapeddy, DJ Scott Communications of the ACM 57 (1), 61-69, 2014	266*	2014
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 …, 2015	157	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	157	2007
A study of bluetooth propagation using accurate indoor location mapping A Madhavapeddy, A Tse UbiComp 2005: Ubiquitous Computing: 7th International Conference, UbiComp …, 2005	127	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	122	2005
Personal data: thinking inside the box A Chaudhry, J Crowcroft, H Howard, A Madhavapeddy, R Mortier, ... ACM, 2015	107	2015
Audio networking: the forgotten wireless technology A Madhavapeddy, R Sharp, D Scott, A Tse IEEE Pervasive Computing 4 (3), 55-60, 2005	107	2005
Personal data: Thinking inside the box H Haddadi, H Howard, A Chaudhry, J Crowcroft, A Madhavapeddy, ... arXiv preprint arXiv:1501.04737, 2015	98	2015
Raft refloated: Do we have consensus? H Howard, M Schwarzkopf, A Madhavapeddy, J Crowcroft ACM SIGOPS Operating Systems Review 49 (1), 12-21, 2015	98	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	97	2005
Real World OCaml: Functional programming for the masses Y Minsky, A Madhavapeddy, J Hickey " O'Reilly Media, Inc.", 2013	93*	2013
Context-aware computing with sound A Madhavapeddy, D Scott, R Sharp UbiComp, 315-332, 2003	93	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	81	2004
Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015	74	2015
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	67	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	64	2018
Melange: creating a" functional" internet A Madhavapeddy, A Ho, T Deegan, D Scott, R Sohan Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer …, 2007	58	2007
Xen 2002 P Barham, B Dragovic, KA Fraser, SM Hand, T Harris, AC Ho, ...	56	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors