anil madhavapeddy // anil.recoil.org

Publications and Books

Unikernels: The Rise of the Virtual Library Operating System
Anil Madhavapeddy and David Scott
to appear in Communications of the ACM, January 2014   [ACM]
 
Commercial Users of Functional Programming 2012 Workshop Report
Michael Sperber and Anil Madhavapeddy
in Journal of Functional Programming, volume 23, issue 06, pp. 701-712. submitted August 2013, accepted November 2013   [PDF]
 
Real World OCaml: functional programming for the masses
Yaron Minsky, Anil Madhavapeddy and Jason Hickey
510 pages, O'Reilly Media, Nov 2013 (1st Edition)   [HTML] [print/eBook] [Amazon]
 
Perceived risks of personal data sharing
Anya Skatova, Jaspreet Johal, Robert Houghton, Richard Mortier,Neelam Bhandari, Tom Lodge, Christian Wagner, James Goulding, Jon Crowcroft, Anil Madhavapeddy
short paper in Digital Economy 2013 (DE2013), Nov 2013   [pdf]
 
Trevi: Watering Down Storage Hotspots with Cool Fountain Codes
George Parisis, Toby Moncaster, Anil Madhavapeddy and Jon Crowcroft
in the Twelfth ACM Workshop on Hot Topics in Networks (HotNets-XII), Nov 2013   [pdf]
 
Lost In the Edge: Finding Your Way With Signposts
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry and Jon Crowcroft
in the 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI 13), August 2013   [pdf] [slides] [code]
 
Unikernels: Library Operating Systems for the Cloud
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand and Jon Crowcroft
in the Eighteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013), March 2013   [pdf]
 
Evolving TCP. How hard can it be?
Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, Jon Crowcroft
in the CoNEXT 2012 Student Workshop, Dec 2012   [pdf]
 
Exploring compartmentalisation hypotheses with SOAAP
Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, and Anil Madhavapeddy
in the Workshop on Adaptive Host and Network Security (AHANS 2012), September 2012   [pdf]
 
Signposts: End-to-end networking in World of Middleboxes
Andrius Aucinas, Amir Chaudhry, Jon Crowcroft, Sebastian Probst Eide, Steve Hand, Anil Madhavapeddy, Andrew W. Moore, Charalampos Rotsos, Narseo Vallina-Rodriguez
in SIGCOMM 2012 (demo track), August 2012   [pdf] [poster]
 
Cost, performance & flexibility in OpenFlow: Pick three
Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh and Andrew W. Moore
in the IEEE Workshop on Software Defined Networks, June 2012   [pdf]
 
Confidential Carbon Commuting: exploring a privacy architecture for incentivising "greener" commuting
Chris Elsmore, Anil Madhavapeddy, Ian Leslie, Amir Chaudhry
in the Measurement, Privacy, and Mobility (MPM 12) workshop, EuroSys 2012, April 2012   [pdf]
 
The Case for Reconfigurable I/O Channels
Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M. Watson and Steven Hand
in Runtime Environments, Systems, Layering and Virtualized Environments (RESoLVE'12) (work-in-progress position papers)  [pdf]
 
Commercial Users of Functional Programming 2011 Workshop Report
Anil Madhavapeddy, Yaron Minsky and Marius Eriksen
in the Journal of Functional Programming, March 2012   [pdf] [doi]
 
Dynamics for ML using Meta-Programming
Thomas Gazagnaire and Anil Madhavapeddy
in the Electronic Notes in Theoretical Computer Science (ENTCS), July 2011   [DOI] [preprint]
Extended version of the WGT10 workshop paper.
 
Reconfigurable Data Processing for Clouds
Anil Madhavapeddy and Satnam Singh
to appear in the 19th Annual International IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM 2011), May 2011   [pdf]
 
CIEL: a universal execution engine for distributed data-flow computing
Derek G. Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy and Steven Hand
in the 8th USENIX Symposium on Networked System Design and Implementation (NSDI 2011), March 2011   [pdf] [project]
 
Unclouded Vision
Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong, and Richard Mortier
Invited paper to the 12th International Conference on Distributed Computing and Networking (ICDCN 2011), January 2011   [pdf]
 
The Personal Container, or Your Life in Bits
Richard Mortier, Chris Greenhalgh, Derek McAuley, Alexa Spence, Anil Madhavapeddy, Jon Crowcroft and Steve Hand
Proceedings of Digital Futures 2010, October 2010   [pdf]
 
Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions
David Scott, Richard Sharp, Thomas Gazagnaire and Anil Madhavapeddy
The 15th ACM SIGPLAN International Conference on Functional Programming (ICFP '10), September 2010   [pdf] [slides]
 
Turning down the LAMP: Software Specialisation for the Cloud
Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley and Jon Crowcroft
2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud '10), June 2010   [pdf] [usenix] [bibtex]
 
Multiscale not Multicore: Efficient Heterogeneous Cloud Computing
Anil Madhavapeddy, Richard Mortier, Jon Crowcroft and Steven Hand
ACM/BCS Visions of Computer Science, April 2010   [pdf] [html] [prezi]
 
Using Dust Clouds to Enhance Anonymous Communication
Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Murray and Malte Schwarzkopf
Eighteenth International Workshop on Security Protocols (IWSP 2010), April 2010   [pdf]
 
Statically-typed value persistence for ML
Thomas Gazagnaire and Anil Madhavapeddy
Workshop on Generative Technologies (WGT '10), April 2010   [pdf] [prezi]
 
Privacy Butler: A Personal Privacy Rights Manager for Online Presence
Ryan Wishart, Domenico Corapi, Anil Madhavapeddy and Morris Sloman
IEEE PerCom Workshop on Smart Environments (SmartE '10), March 2010   [pdf]
 
Combining Static Model Checking with Dynamic Enforcement using the Statecall Policy Language
Anil Madhavapeddy
International Conference on Formal Engineering Methods (ICFEM '10), December 2009   [pdf]
 
Enhancing Web Browsing Security on Public Terminals Using Mobile Composition
Richard Sharp, Anil Madhavapeddy, Roy Want and Trevor Pering
In Mobisys 2008, June 2008   [ACM] [pdf]
 
Melange: Towards a "functional" Internet
Anil Madhavapeddy, Alex Ho, Tim Deegan, David Scott and Ripduman Sohan
EuroSys 2007, March 2007   [pdf] [bib]
Received Best Student Paper award.
 
Interacting with Mobile Services: An Evaluation of Camera-Phones and Visual Tags
Eleanor Toye, Richard Sharp, Anil Madhavapeddy, David Scott, Eben Upton and Alan Blackwell
In Personal and Ubiquitous Computing Journal, February 2006   [pdf] [doi]
 
Audio Networking: The Forgotten Wireless Technology
Anil Madhavapeddy, Richard Sharp, David Scott and Alastair Tse
In IEEE Pervasive Computing (volume 4, number 3), July-September 2005   [bib] [pdf] [ieeexplore]
 
A Study of Bluetooth Propagation using Accurate Indoor Location Mapping
Anil Madhavapeddy and Alastair Tse
In the proceedings of The Seventh International Conference on Ubiquitous Computing, September 2005   [bib] [pdf] [springerlink]
 
SPLAT: A Tool for Model-Checking and Dynamically Enforcing Abstractions
Anil Madhavapeddy, David Scott and Richard Sharp
In the proceedings of the 12th International SPIN Workshop on Model Checking of Software (SPIN 2005), August 2005   [bib] [pdf] [springerlink]
 
On the Challenge of Delivering High-Performance, Dependable, Model-Checked Internet Servers
Anil Madhavapeddy and David Scott
In the proceedings of the First Workshop on Hot Topics in System Dependability (HotDep), June 2005   [pdf]
 
Ubiquitous Computing needs to catch up with Ubiquitous Media
Anil Madhavapeddy and Nick Ludlam
In the proceedings of the Pervasive 2005 UbiApps workshop, May 2005   [pdf] [bibtex]
 
Using Smart Phones to Access Site-Specific Services
Eleanor Toye, Richard Sharp, Anil Madhavapeddy and David Scott
In the IEEE Pervasive Computing Special Issue on the Smart Phone, April-June 2005   [pdf]
 
Using Visual Tags to Bypass Bluetooth Device Discovery
David Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
In the ACM Mobile Computing and Communications Review (MC2R) Special Section on Discovery and Interaction of Mobile Services, January 2005   [pdf] [bibtex] [ACM Portal]
 
Using Camera-Phones to Enhance Human-Computer Interaction
Anil Madhavapeddy, David Scott, Richard Sharp, Eben Upton
In the adjunct proceedings of The Sixth International Conference on Ubiquitous Computing, September 2004   [pdf] [bibtex]
 
Feedback, Latency, Accuracy: Exploring Tradeoffs in Location-Aware Gaming
Kieran Mansley, David Scott, Alastair Tse, Anil Madhavapeddy
In the proceedings of The ACM SIGCOMM 2004 Workshop on NetGames, August 2004   [pdf] [bibtex] [ACM Portal]
 
Context-Aware Computing with Sound
Anil Madhavapeddy, David Scott, Richard Sharp
In the proceedings of The Fifth International Conference on Ubiquitous Computing, October 2003   [pdf] [bibtex]
 
The Case for Abstracting Security Policies
Anil Madhavapeddy, Alan Mycroft, David Scott, Richard Sharp
In the proceedings of The 2003 International Conference on Security and Management, June 2003   [pdf] [bibtex]
 
 

Recent Drafts

These are work-in-progress papers, so please do not cite them. Feedback is most welcome!

Data centers are microkernels done accidentally: lessons for building a million-core distributed OS
Malte Schwarzkopf, Matthew P. Grosvenor, David Chisnall, Ionel Gog, Natacha Crooks, Robert N. M. Watson, Anil Madhavapeddy, Frank Bellosa and Steven Hand.
under submission to HotOS 2013   [draft]
 
Have You Checked Your IPC Performance Lately?
Steven Smith, Anil Madhavapeddy, Christopher Smowton, Malte Schwarzkopf, Richard Mortier, Robert M. Watson and Steven Hand
rejected from USENIX ATC 2012 (gist: positive reviews but resubmit with more data)(this is an updated adaptation of the RESoLVE draft below)   [draft]
 
Limel: Local Computation and Linear Coordination
Raphael Proust, Julien Verlaguet and Anil Madhavapeddy
Rejected draft (summary: not motivated enough) but a reasonable overview.   [draft]
 

Tech Reports and Talks

My other operating system is a Mirage
Functional Programming eXchange 2014, Skills Matter
Anil Madhavapeddy [video, slides]
 
Mirage: compiling functional library operating systems
FOSDEM 2014
Anil Madhavapeddy and Richard Mortier
[video info]
 
My Other Internet is a Mirage
QCon San Francisco
Anil Madhavapeddy
[Video and Slides]
 
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems
Tim Harris and Anil Madhavapeddy
(not a proper publication, but a handy link to papers in PLOS 2013 that I co-chaired), Nov 2013   [ACM Portal]
 
The Wild West of UNIX I/O
Anil Madhavapeddy
In FOSDEM 2012,   [pdf slides] [html5 slides] [interview]
 
Open-Source and Cyber Warfare
Anil Madhavapeddy
in the NATO Science for Peace 2011 CSaP workshop, Wolfson College.
 
Using Delimited Continuations for Distributed Computing with the CIEL Engine
Derek G. Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy and Steven Hand
In the ACM SIGPLAN Continuations Workshop [abstracts]
 
Mirage: ML kernels in the Cloud
Anil Madhavapeddy and Thomas Gazagnaire
ML Workshop, September 2010   [slides]
 
Xen and the Art of OCaml
Anil Madhavapeddy, David Scott and Richard Sharp
Commercial Uses of Functional Programming (CUFP), September 2008   [slides]
 
Citrix XenServer...in OCaml, of all Things
Anil Madhavapeddy and David Scott
The Rise and Rise of the Declarative Data Center, Microsoft Research Cambridge, May 2008   [Video]
 
Creating High-Performance, Statically Type-Safe Network Applications
Anil Madhavapeddy
PhD Thesis, submitted April 2007, accepted June 2007   [simplex] [duplex]
Available as UCAM-CL-TR-775 (html) or order a nice printed book on Amazon (UK, US).
Nominated for the BCS Distinguished Dissertation Award.
 
Fighting Crimeware: An Architecture for Split-Trust Web Applications
Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering and John Light
Intel Research IRC-TR-06-053, April 2006   [pdf]
 
The Broadband Phone Network: Experiences with Context-Aware Telephony
Ripduman Sohan, Alastair Tse and Anil Madhavapeddy
CUED/F - INFENG/TR.533, March 2005   [pdf]
 
Using Camera-phones to Interact with Context-aware Mobile Services
Eleanor Toye, Anil Madhavapeddy, Richard Sharp, David Scott, Alan Blackwell and Eben Upton
UCAM-CL-TR-609, December 2004   [pdf]
 
Xen 2002
P. Barham, B. Dragovic, K. Fraser, S. Hand, T. Harris, A. Ho, E. Kotsovinos, A. Madhavapeddy, R. Neugebauer, I. Pratt and A. Warfield
UCAM-CL-TR-553, January 2003   [pdf]
 
Tiscali: How to Build a Content Delivery Network
Anil Madhavapeddy, Alberto Crivelli
Network Appliance Technical Report 3152, April 2002 [pdf]
 
Application of Distributed Web Site Acceleration: Mars Polar Lander
Niall Doherty, Anil Madhavapeddy
Network Appliance Technical Report 3071, July 2000   [pdf]
 
Virtual Meccano: Simulating the Classic Toy
Anil Madhavapeddy
Final Year Project, Imperial College London, June 1999   [pdf]
 

Press Coverage

My work occasionally gets mentioned in the press; I maintain an (incomplete) list here to keep an eye on what is being said!

3rd November, 2010 ReadWriteWeb: Cutting the Fat out of the Cloud Development Stack
26th October, 2010 LinkedIn Search, Networks and Analytics: Mirage: Tech Talk
22nd October, 2010 High Scalability: Machine VM+Cloud API - Rewriting the Cloud from Scratch
4th October, 2010 Lambda the Ultimate: Turning down the LAMP: Software Specialization for the Cloud
3rd October, 2010 HackerNews: Compiling OCaml directly to a new cloud operating system
3rd October, 2010 Reddit: Turning down the LAMP
22nd June, 2010 Computer World: UK Researchers building a fat-free cloud programming framework
22nd June, 2010 CIO.com: A fat-free programming framework for the Cloud
2006-2009 too much Xen-related stuff to track:
5th December, 2005 Spiegel Online: Handys sollen piepen statt funken
7th October, 2004 New York Times: Connecting Paper and Online Worlds by Cellphone Camera
5th September, 2004 Nuts and Volts Magazine: Volume 25, number 9, page 28
3rd September, 2004 Printed and Disposable Electronics News: Issue 11, page 3
1st September, 2004 MIT Technology Review: September issue, page 18
1st July, 2004 Technology @ Intel: New Ways to Maximise Camera Phone Technology
1st July, 2004 DeviceForge: New Ways to Maximise Camera Phone Technology
6th June, 2004 Wired: From the Prawn of Time
6th June, 2004 NotCon 2004: Camera Phones: the Only Remote Control You'll Ever Need
27th May, 2004 Slashdot: Cellphone as Virtual Mouse, Keyboard
18th March, 2004 O'Reilly: An Interview with OpenBSD's Marc Espie
27th June 2003 OpenBSD Journal: Static Bounds Checker in 3.3-current
10th February, 2001 Slashdot: GPL'ed 3D Modeler and Renderer
3rd December, 1999 Slashdot: Mars Polar Lander Lands Today