Anil Madhavapeddy

85 papers A* 7A 4B 1C 2Misc 10Journal 37Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Decade of Docker Containers. Commun. ACM Anil Madhavapeddy, David J. Scott, Justin Cormack
2026	J	`jnl`	Package Managers à la Carte: A Formal Model of Dependency Resolution. CoRR Ryan Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy
2025	A*	`conf`	Benchmarking Ultra-Low-Power μNPUs. MobiCom Josh Millar, Yushan Huang, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy
2025	J	`jnl`	Benchmarking Ultra-Low-Power μNPUs. CoRR Josh Millar, Yushan Huang, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy
2025	J	`jnl`	Bifröst: Spatial Networking with Bigraphs. CoRR Josh Millar, Ryan Gibb, Roy Ang, Anil Madhavapeddy, Hamed Haddadi
2025	J	`jnl`	Emission Impossible: privacy-preserving carbon emissions claims. CoRR Jessica Man, Sadiq Jaffer, Patrick Ferris, Martin Kleppmann, Anil Madhavapeddy
2025	J	`jnl`	Energy-Aware Deep Learning on Resource-Constrained Hardware. CoRR Josh Millar, Hamed Haddadi, Anil Madhavapeddy
2025	J	`jnl`	Functional Networking for Millions of Docker Desktops (Experience Report). Proc. ACM Program. Lang. Anil Madhavapeddy, David J. Scott, Patrick Ferris, Ryan Gibb, Thomas Gazagnaire
2025	J	`jnl`	Solving Package Management via Hypergraph Dependency Resolution. CoRR Ryan Gibb, Patrick Ferris, David Allsopp, Michael Winston Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, Anil Madhavapeddy
2025	J	`jnl`	Steps towards an Ecology for the Internet. CoRR Anil Madhavapeddy, Sam Reynolds, Alec P. Christie, David A. Coomes, Michael W. Dales, Patrick Ferris, Ryan Gibb, Hamed Haddadi, Sadiq Jaffer, Josh Millar, Cyrus Omar, William J. Sutherland, Jon Crowcroft
2025	—	`conf`	Steps towards an Ecology for the Internet: Computing through crisis into the next decade of growth. Aarhus Conference Anil Madhavapeddy, Sam Reynolds, Alec Philip Christie, David A. Coomes, Michael Winston Dales, Patrick Ferris, Ryan Thomas Gibb, Hamed Haddadi, Sadiq Jaffer, Josh David Millar, Cyrus Omar, William J. Sutherland, Jon Crowcroft
2025	J	`jnl`	TESSERA: Temporal Embeddings of Surface Spectra for Earth Representation and Analysis. CoRR Zhengpeng Feng, Sadiq Jaffer, Jovana Knezevic, Silja Sormunen, Robin Young, Madeline C. Lisaius, Markus Immitzer, James Ball, Clement Atzberger, David A. Coomes, Anil Madhavapeddy, Andrew Blake, Srinivasan Keshav
2025	J	`jnl`	What if we could hot swap our Biometrics? CoRR Jon Crowcroft, Anil Madhavapeddy, Chris Hicks, Richard Mortier, Vasilios Mavroudis
2024	C	`conf`	Global, robust and comparable digital carbon assets. ICBC Sadiq Jaffer, Michael W. Dales, Patrick Ferris, Derek Sorensen, Thomas Swinfield, Robin Message, Srinivasan Keshav, Anil Madhavapeddy
2024	J	`jnl`	Global, robust and comparable digital carbon assets. CoRR Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav
2024	Misc	`conf`	Poster: Towards Low-Power Comprehensive Biodiversity Monitoring. SenSys Josh Millar, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy
2024	—	`conf`	Scheduling for Reduced Tail Task Latencies in Highly Utilized Datacenters. SoCC Smita Vijayakumar, Anil Madhavapeddy, Evangelia Kalyvianaki
2024	J	`jnl`	Terracorder: Sense Long and Prosper. CoRR Josh Millar, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy
2023	J	`jnl`	A Case for Planetary Computing. CoRR Amelia Holcomb, Michael Dales, Patrick Ferris, Sadiq Jaffer, Thomas Swinfield, Alison Eyres, Andrew Balmford, David Coomes, Srinivasan Keshav, Anil Madhavapeddy
2023	—	`conf`	Enabling Lightweight Privilege Separation in Applications with MicroGuards. ACNS Workshops Zahra Tarkhani, Anil Madhavapeddy
2023	J	`jnl`	Enabling Lightweight Privilege Separation in Applications with MicroGuards. CoRR Zahra Tarkhani, Anil Madhavapeddy
2023	A	`conf`	Information Flow Tracking for Heterogeneous Compartmentalized Software. RAID Zahra Tarkhani, Anil Madhavapeddy
2023	Misc	`conf`	Where on Earth is the Spatial Name System? HotNets Ryan Gibb, Anil Madhavapeddy, Jon Crowcroft
2022	J	`jnl`	Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces. CoRR Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo, Anil Madhavapeddy
2021	J	`jnl`	How Computer Science Can Aid Forest Restoration. CoRR Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlum, Anil Madhavapeddy
2021	J	`jnl`	Retrofitting Effect Handlers onto OCaml. CoRR K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2021	A*	`conf`	Retrofitting effect handlers onto OCaml. PLDI K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
2020	J	`jnl`	$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions. CoRR Zahra Tarkhani, Anil Madhavapeddy
2020	B	`conf`	Banyan: Coordination-Free Distributed Transactions over Mergeable Types. APLAS Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
2020	J	`jnl`	Retrofitting Parallelism onto OCaml. CoRR K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020	J	`jnl`	Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
2020	J	`jnl`	Sirius: Enabling System-Wide Isolation for Trusted Execution Environments. CoRR Zahra Tarkhani, Anil Madhavapeddy
2019	J	`jnl`	Fractal: Automated Application Scaling. CoRR Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier
2019	J	`jnl`	Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
2019	J	`jnl`	Programming Unikernels in the Large via Functor Driven Development. CoRR Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
2019	—	`conf`	Snape: The Dark Art of Handling Heterogeneous Enclaves. EdgeSys@EuroSys Zahra Tarkhani, Anil Madhavapeddy, Richard Mortier
2018	J	`jnl`	A modular foreign function interface. Sci. Comput. Program. Jeremy Yallop, David Sheets, Anil Madhavapeddy
2018	—	`conf`	An architecture for interspatial communication. INFOCOM Workshops Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
2018	A*	`conf`	Bounding data races in space and time. PLDI Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
2017	—	`conf`	Concurrent System Programming with Effect Handlers. TFP Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2016	Misc	`conf`	Declarative Foreign Function Binding Through Generic Programming. FLOPS Jeremy Yallop, David Sheets, Anil Madhavapeddy
2016	—	`conf`	FLICK: Developing and Running Application-Specific Network Services. USENIX ATC Abdul Alim, Richard G. Clegg, Luo Mai, Lukas Rupprecht, Eric Seckler, Paolo Costa, Peter R. Pietzuch, Alexander L. Wolf, Nik Sultana, Jon Crowcroft, Anil Madhavapeddy, Andrew W. Moore, Richard Mortier, Masoud Koleini, Luis Oviedo, Matteo Migliavacca, Derek McAuley
2015	J	`jnl`	CUFP'13 scribe's report. J. Funct. Program. Marius Eriksen, Michael Sperber, Anil Madhavapeddy
2015	Misc	`conf`	Jitsu: Just-In-Time Summoning of Unikernels. NSDI Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, David J. Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft, Ian M. Leslie
2015	—	`conf`	Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. DIYNetworking@MobiSys Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft
2015	A*	`conf`	Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation. USENIX Security Symposium David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell
2015	J	`jnl`	Personal Data: Thinking Inside the Box. CoRR Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier
2015	—	`conf`	Personal data: thinking inside the box. Aarhus Conference on Critical Alternatives Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley
2015	J	`jnl`	Raft Refloated: Do We Have Consensus? ACM SIGOPS Oper. Syst. Rev. Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft
2015	A*	`conf`	SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
2014	J	`jnl`	Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. CoRR Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft
2014	J	`jnl`	Unikernels: the rise of the virtual library operating system. Commun. ACM Anil Madhavapeddy, David J. Scott
2013	J	`jnl`	Commercial users of functional programming workshop report. J. Funct. Program. Michael Sperber, Anil Madhavapeddy
2013	—	`conf`	Lost in the Edge: Finding Your Way with DNSSEC Signposts. FOCI Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
2013	—	`ed.`	Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013 PLOS@SOSP Tim Harris, Anil Madhavapeddy
2013	—	`book`	Real World OCaml - Functional Programming for the Masses. Yaron Minsky, Anil Madhavapeddy, Jason Hickey
2013	Misc	`conf`	Trevi: watering down storage hotspots with cool fountain codes. HotNets George Parisis, Toby Moncaster, Anil Madhavapeddy, Jon Crowcroft
2013	A*	`conf`	Unikernels: library operating systems for the cloud. ASPLOS Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft
2012	J	`jnl`	CUFP 2011 Workshop Report. J. Funct. Program. Anil Madhavapeddy, Yaron Minsky, Marius Eriksen
2012	—	`conf`	Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting. MPM@EuroSys Chris Elsmore, Anil Madhavapeddy, Ian M. Leslie, Amir Chaudhry
2012	—	`conf`	Cost, performance & flexibility in OpenFlow: Pick three. ICC Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh, Andrew W. Moore
2012	—	`conf`	Evolving TCP.: how hard can it be? StudentWorkshop@CoNEXT Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, Jon Crowcroft
2012	—	`conf`	Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
2012	A*	`conf`	Signposts: end-to-end networking in a world of middleboxes. SIGCOMM Amir Chaudhry, Anil Madhavapeddy, Charalampos Rotsos, Richard Mortier, Andrius Aucinas, Jon Crowcroft, Sebastian Probst Eide, Steven Hand, Andrew W. Moore, Narseo Vallina-Rodriguez
2011	Misc	`conf`	CIEL: A Universal Execution Engine for Distributed Data-Flow Computing. NSDI Derek Gordon Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy, Steven Hand
2011	Misc	`conf`	Reconfigurable Data Processing for Clouds. FCCM Anil Madhavapeddy, Satnam Singh
2011	Misc	`conf`	Unclouded Vision. ICDCN Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong, Richard Mortier
2010	—	`conf`	Dynamics for ML using Meta-Programming. WGT Thomas Gazagnaire, Anil Madhavapeddy
2010	—	`conf`	Privacy Butler: A personal privacy rights manager for online presence. PerCom Workshops Ryan Wishart, Domenico Corapi, Anil Madhavapeddy, Morris Sloman
2010	—	`conf`	Turning Down the LAMP: Software Specialisation for the Cloud. HotCloud Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft
2010	—	`conf`	Using Dust Clouds to Enhance Anonymous Communication. Security Protocols Workshop Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Gordon Murray, Malte Schwarzkopf
2010	A	`conf`	Using functional programming within an industrial product group: perspectives and perceptions. ICFP David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy
2009	C	`conf`	Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. ICFEM Anil Madhavapeddy
2008	A	`conf`	Enhancing web browsing security on public terminals using mobile composition. MobiSys Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering
2007	—	`—`	Creating high-performance statically type-safe network applications. Anil Madhavapeddy
2007	J	`jnl`	Interacting with mobile services: an evaluation of camera-phones and visual tags. Pers. Ubiquitous Comput. Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott, Eben Upton, Alan F. Blackwell
2007	A	`conf`	Melange: creating a "functional" internet. EuroSys Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan
2005	Misc	`conf`	A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping. UbiComp Anil Madhavapeddy, Alastair Tse
2005	J	`jnl`	Audio networking: the forgotten wireless technology. IEEE Pervasive Comput. Anil Madhavapeddy, Richard Sharp, David J. Scott, Alastair Tse
2005	—	`conf`	SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN Anil Madhavapeddy, David J. Scott, Richard Sharp
2005	J	`jnl`	Using smart phones to access site-specific services. IEEE Pervasive Comput. Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott
2005	J	`jnl`	Using visual tags to bypass Bluetooth device discovery. ACM SIGMOBILE Mob. Comput. Commun. Rev. David J. Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
2004	—	`conf`	Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming. NETGAMES Kieran Mansley, David J. Scott, Alastair Tse, Anil Madhavapeddy
2003	Misc	`conf`	Context-Aware Computing with Sound. UbiComp Anil Madhavapeddy, David J. Scott, Richard Sharp
2003	—	`conf`	The Case for Abstracting Security Policies. Security and Management Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp