Publications and BooksDeclarative foreign function binding through generic programmingJeremy Yallop, David Sheets and Anil Madhavapeddy to appear in the 13th International Symposium on Functional and Logic Programming (FLOPS2016), March 2016 [pdf] SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge, David Sheets, Thomas Tuerk, Anil Madhavapeddy, Andrea Giugliano and Peter Sewell in the 25th ACM Symposium on Operating Systems Principles (SOSP), October 2015 [pdf] Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation David Kaloper Mersinjak, Hannes Mehnert, Anil Madhavapeddy and Peter Sewell in the 24th USENIX Security Symposium (UseSec15), August 2015 [pdf] Personal Data: Thinking Inside the Box Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier in Critical Alternatives 2015, the decennial Aarhus conference, August 2015 [tech report preprint] [arXiv preprint] Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft in the DIY Networking Workshop at MobiSys 2015, May 2015 [PDF] [older arVix] Jitsu: Just-In-Time Summoning of Unikernels Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie in the 12th USENIX Symposium on Networked System Design and Implementation (NSDI 2015), May 2015 [PDF] [USENIX [DSpace] Raft Refloated: Do We Have Consensus? Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft in ACM SIGOPS Operating System Review special issue on Repeatability and Sharing of Experimental Artifacts, January 2015 [PDF] [ACM] Mergeable Persistent Data Structures Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy in Les vingt-sixième Journées Francophones des Langages Applicatifs (JFLA 2015) [PDF] [Inria] Commercial Users of Functional Programming 2013 Scribe's Report Marius Eriksen, Michael Sperber and Anil Madhavapeddy to appear in Journal of Functional Programming, submitted August 2014, accepted October 2014 [preprint PDF] Unikernels: The Rise of the Virtual Library Operating System Anil Madhavapeddy and David Scott 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] |
Tech Reports and TalksRegional Clouds: Technical ConsiderationsJatinder Singh, Jean Bacon, Jon Crowcroft, Anil Madhavapeddy, Thomas Pasquier, W. Kuan Hon, and Christopher Millard University of Cambridge Computer Laboratory Technical Report, November 2014 [UCAM-CL-TR-863] 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] Unpublished or Rejected DraftsThese are work-in-progress papers or ones that bounced from conferences, so please do not cite them. Feedback is most welcome! Data centers are microkernels done accidentally: lessons for building a million-core distributed OSMalte 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] Press CoverageMy work occasionally gets mentioned in the press; I maintain an (incomplete) list here to keep an eye on what is being said! |