Anil Madhavapeddy

According to our database, Anil Madhavapeddy authored at least 63 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Global, robust and comparable digital carbon assets.

Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav

CoRR, 2024

2023

A Case for Planetary Computing.

Amelia Holcomb, Michael Dales, Patrick Ferris, Sadiq Jaffer, Thomas Swinfield, Alison Eyres, Andrew Balmford, David Coomes, Srinivasan Keshav, Anil Madhavapeddy

CoRR, 2023

Information Flow Tracking for Heterogeneous Compartmentalized Software.

Zahra Tarkhani, Anil Madhavapeddy

Proceedings of the 26th International Symposium on Research in Attacks, 2023

Where on Earth is the Spatial Name System?

Ryan Gibb, Anil Madhavapeddy, Jon Crowcroft

Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

Enabling Lightweight Privilege Separation in Applications with MicroGuards.

Zahra Tarkhani, Anil Madhavapeddy

Proceedings of the Applied Cryptography and Network Security Workshops, 2023

2022

Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces.

Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo, Anil Madhavapeddy

CoRR, 2022

2021

How Computer Science Can Aid Forest Restoration.

Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlum, Anil Madhavapeddy

CoRR, 2021

Retrofitting effect handlers onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Retrofitting parallelism onto OCaml.

K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy

Proc. ACM Program. Lang., 2020

Sirius: Enabling System-Wide Isolation for Trusted Execution Environments.

Zahra Tarkhani, Anil Madhavapeddy

CoRR, 2020

$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions.

Zahra Tarkhani, Anil Madhavapeddy

CoRR, 2020

Banyan: Coordination-Free Distributed Transactions over Mergeable Types.

Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).

Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan

NII Shonan Meet. Rep., 2019

Programming Unikernels in the Large via Functor Driven Development.

Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott

CoRR, 2019

Fractal: Automated Application Scaling.

Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier

CoRR, 2019

Snape: The Dark Art of Handling Heterogeneous Enclaves.

Zahra Tarkhani, Anil Madhavapeddy, Richard Mortier

Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking, 2019

2018

A modular foreign function interface.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Sci. Comput. Program., 2018

Bounding data races in space and time.

Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

An architecture for interspatial communication.

Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire

Proceedings of the IEEE INFOCOM 2018, 2018

2017

Concurrent System Programming with Effect Handlers.

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White

Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

2016

FLICK: Developing and Running Application-Specific Network Services.

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

Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Declarative Foreign Function Binding Through Generic Programming.

Jeremy Yallop, David Sheets, Anil Madhavapeddy

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

2015

Raft Refloated: Do We Have Consensus?

Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft

ACM SIGOPS Oper. Syst. Rev., 2015

CUFP'13 scribe's report.

Marius Eriksen, Michael Sperber, Anil Madhavapeddy

J. Funct. Program., 2015

Personal Data: Thinking Inside the Box.

Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier

CoRR, 2015

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.

David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell

Proceedings of the 24th USENIX Security Symposium, 2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.

Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Jitsu: Just-In-Time Summoning of Unikernels.

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

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles.

Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft

Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach, 2015

Personal data: thinking inside the box.

Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley

Proceedings of The Fifth Decennial Aarhus Conference on Critical Alternatives, 2015

2014

Unikernels: the rise of the virtual library operating system.

Anil Madhavapeddy, David J. Scott

Commun. ACM, 2014

2013

Commercial users of functional programming workshop report.

Michael Sperber, Anil Madhavapeddy

J. Funct. Program., 2013

Lost in the Edge: Finding Your Way with DNSSEC Signposts.

Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft

Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

Trevi: watering down storage hotspots with cool fountain codes.

George Parisis, Toby Moncaster, Anil Madhavapeddy, Jon Crowcroft

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Unikernels: library operating systems for the cloud.

Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Real World OCaml - Functional Programming for the Masses.

Yaron Minsky, Anil Madhavapeddy, Jason Hickey

O'Reilly, ISBN: 978-1-4493-2391-2, 2013

2012

CUFP 2011 Workshop Report.

Anil Madhavapeddy, Yaron Minsky, Marius Eriksen

J. Funct. Program., 2012

Signposts: end-to-end networking in a world of middleboxes.

Amir Chaudhry, Anil Madhavapeddy, Charalampos Rotsos, Richard Mortier, Andrius Aucinas, Jon Crowcroft, Sebastian Probst Eide, Steven Hand, Andrew W. Moore, Narseo Vallina-Rodriguez

Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Exploring Compartmentalisation Hypotheses with SOAAP.

Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Cost, performance & flexibility in OpenFlow: Pick three.

Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh, Andrew W. Moore

Proceedings of IEEE International Conference on Communications, 2012

Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting.

Chris Elsmore, Anil Madhavapeddy, Ian M. Leslie, Amir Chaudhry

Proceedings of the First Workshop on Measurement, Privacy, and Mobility, 2012

Evolving TCP.: how hard can it be?

Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, Jon Crowcroft

Proceedings of the 2012 ACM conference on CoNEXT student workshop, 2012

2011

CIEL: A Universal Execution Engine for Distributed Data-Flow Computing.

Derek Gordon Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy, Steven Hand

Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

Unclouded Vision.

Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong, Richard Mortier

Proceedings of the Distributed Computing and Networking - 12th International Conference, 2011

Reconfigurable Data Processing for Clouds.

Anil Madhavapeddy, Satnam Singh

Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

2010

Dynamics for ML using Meta-Programming.

Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Second Workshop on Generative Technologies, 2010

Using Dust Clouds to Enhance Anonymous Communication.

Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Gordon Murray, Malte Schwarzkopf

Proceedings of the Security Protocols XVIII, 2010

Privacy Butler: A personal privacy rights manager for online presence.

Ryan Wishart, Domenico Corapi, Anil Madhavapeddy, Morris Sloman

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

Using functional programming within an industrial product group: perspectives and perceptions.

David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Turning Down the LAMP: Software Specialisation for the Cloud.

Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft

Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

2009

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.

Anil Madhavapeddy

Proceedings of the Formal Methods and Software Engineering, 2009

2008

Enhancing web browsing security on public terminals using mobile composition.

Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering

Proceedings of the 6th International Conference on Mobile Systems, 2008

2007

Creating high-performance statically type-safe network applications.

Anil Madhavapeddy

PhD thesis, 2007

Interacting with mobile services: an evaluation of camera-phones and visual tags.

Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott, Eben Upton, Alan F. Blackwell

Pers. Ubiquitous Comput., 2007

Melange: creating a "functional" internet.

Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan

Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

2005

Using visual tags to bypass Bluetooth device discovery.

David J. Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton

ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Using smart phones to access site-specific services.

Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott

IEEE Pervasive Comput., 2005

Audio networking: the forgotten wireless technology.

Anil Madhavapeddy, Richard Sharp, David J. Scott, Alastair Tse

IEEE Pervasive Comput., 2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.

Anil Madhavapeddy, David J. Scott, Richard Sharp

Proceedings of the Model Checking Software, 2005

A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping.

Anil Madhavapeddy, Alastair Tse

Proceedings of the UbiComp 2005: Ubiquitous Computing, 7th International Conference, 2005

2004

Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming.

Kieran Mansley, David J. Scott, Alastair Tse, Anil Madhavapeddy

Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

2003

Context-Aware Computing with Sound.

Anil Madhavapeddy, David J. Scott, Richard Sharp

Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

The Case for Abstracting Security Policies.

Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp

Proceedings of the International Conference on Security and Management, 2003