Anil Madhavapeddy

Cited by

	All	Since 2018
Citations	3567	1594
h-index	27	18
i10-index	44	22

400

200

100

300

2004200520062007200820092010201120122013201420152016201720182019202020212022202311 59 57 87 72 82 92 100 110 159 192 251 308 309 398 359 306 266 246 18

Public access

View all

5 articles

0 articles

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 Microsoft ResearchVerified 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
Hamed HaddadiImperial College London / Brave SoftwareVerified email at imperial.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Jonathan LudlamUniversity of CambridgeVerified email at cam.ac.uk
Andrew W. MooreUniversity of CambridgeVerified email at cl.cam.ac.uk
Jason HickeyGoogle ResearchVerified email at google.com
Daniel HillerströmResearcher, The University of EdinburghVerified email at ed.ac.uk
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
Tom RidgeIndependentVerified email at tom-ridge.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	587	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	379	2011
Unikernels: the rise of the virtual library operating system A Madhavapeddy, DJ Scott Communications of the ACM 57 (1), 61-69, 2014	254*	2014
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
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	151	2015
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	106	2015
Audio networking: the forgotten wireless technology A Madhavapeddy, R Sharp, D Scott, A Tse IEEE Pervasive Computing 4 (3), 55-60, 2005	103	2005
Personal data: Thinking inside the box H Haddadi, H Howard, A Chaudhry, J Crowcroft, A Madhavapeddy, ... arXiv preprint arXiv:1501.04737, 2015	97	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
Raft refloated: Do we have consensus? H Howard, M Schwarzkopf, A Madhavapeddy, J Crowcroft ACM SIGOPS Operating Systems Review 49 (1), 12-21, 2015	93	2015
Real World OCaml: Functional programming for the masses Y Minsky, A Madhavapeddy, J Hickey " O'Reilly Media, Inc.", 2013	92*	2013
Context-aware computing with sound A Madhavapeddy, D Scott, R Sharp UbiComp, 315-332, 2003	91	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	80	2004
Effective concurrency through algebraic effects S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy OCaml Workshop 13, 2015	73	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	65	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	62	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	57	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