Anil Madhavapeddy

According to our database1, Anil Madhavapeddy authored at least 62 papers between 2003 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 


Online presence:



A Case for Planetary Computing.
CoRR, 2023

Information Flow Tracking for Heterogeneous Compartmentalized Software.
Proceedings of the 26th International Symposium on Research in Attacks, 2023

Where on Earth is the Spatial Name System?
Proceedings of the 22nd ACM Workshop on Hot Topics in Networks, 2023

Enabling Lightweight Privilege Separation in Applications with MicroGuards.
Proceedings of the Applied Cryptography and Network Security Workshops, 2023

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

How Computer Science Can Aid Forest Restoration.
CoRR, 2021

Retrofitting effect handlers onto OCaml.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Retrofitting parallelism onto OCaml.
Proc. ACM Program. Lang., 2020

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

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

Banyan: Coordination-Free Distributed Transactions over Mergeable Types.
Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143).
NII Shonan Meet. Rep., 2019

Programming Unikernels in the Large via Functor Driven Development.
CoRR, 2019

Fractal: Automated Application Scaling.
CoRR, 2019

Snape: The Dark Art of Handling Heterogeneous Enclaves.
Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking, 2019

A modular foreign function interface.
Sci. Comput. Program., 2018

Bounding data races in space and time.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

An architecture for interspatial communication.
Proceedings of the IEEE INFOCOM 2018, 2018

Concurrent System Programming with Effect Handlers.
Proceedings of the Trends in Functional Programming - 18th International Symposium, 2017

FLICK: Developing and Running Application-Specific Network Services.
Proceedings of the 2016 USENIX Annual Technical Conference, 2016

Declarative Foreign Function Binding Through Generic Programming.
Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016

Raft Refloated: Do We Have Consensus?
ACM SIGOPS Oper. Syst. Rev., 2015

CUFP'13 scribe's report.
J. Funct. Program., 2015

Personal Data: Thinking Inside the Box.
CoRR, 2015

Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation.
Proceedings of the 24th USENIX Security Symposium, 2015

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Jitsu: Just-In-Time Summoning of Unikernels.
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.
Proceedings of the 2015 Workshop on Do-it-yourself Networking: an Interdisciplinary Approach, 2015

Personal data: thinking inside the box.
Proceedings of The Fifth Decennial Aarhus Conference on Critical Alternatives, 2015

Unikernels: the rise of the virtual library operating system.
Commun. ACM, 2014

Commercial users of functional programming workshop report.
J. Funct. Program., 2013

Lost in the Edge: Finding Your Way with DNSSEC Signposts.
Proceedings of the 3rd USENIX Workshop on Free and Open Communications on the Internet, 2013

Trevi: watering down storage hotspots with cool fountain codes.
Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks, 2013

Unikernels: library operating systems for the cloud.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

Real World OCaml - Functional Programming for the Masses.
O'Reilly, ISBN: 978-1-4493-2391-2, 2013

CUFP 2011 Workshop Report.
J. Funct. Program., 2012

Signposts: end-to-end networking in a world of middleboxes.
Proceedings of the ACM SIGCOMM 2012 Conference, 2012

Exploring Compartmentalisation Hypotheses with SOAAP.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops, 2012

Cost, performance & flexibility in OpenFlow: Pick three.
Proceedings of IEEE International Conference on Communications, 2012

Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting.
Proceedings of the First Workshop on Measurement, Privacy, and Mobility, 2012

Evolving TCP.: how hard can it be?
Proceedings of the 2012 ACM conference on CoNEXT student workshop, 2012

CIEL: A Universal Execution Engine for Distributed Data-Flow Computing.
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011

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

Reconfigurable Data Processing for Clouds.
Proceedings of the IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines, 2011

Dynamics for ML using Meta-Programming.
Proceedings of the Second Workshop on Generative Technologies, 2010

Using Dust Clouds to Enhance Anonymous Communication.
Proceedings of the Security Protocols XVIII, 2010

Privacy Butler: A personal privacy rights manager for online presence.
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.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Turning Down the LAMP: Software Specialisation for the Cloud.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language.
Proceedings of the Formal Methods and Software Engineering, 2009

Enhancing web browsing security on public terminals using mobile composition.
Proceedings of the 6th International Conference on Mobile Systems, 2008

Creating high-performance statically type-safe network applications.
PhD thesis, 2007

Interacting with mobile services: an evaluation of camera-phones and visual tags.
Pers. Ubiquitous Comput., 2007

Melange: creating a "functional" internet.
Proceedings of the 2007 EuroSys Conference, Lisbon, Portugal, March 21-23, 2007, 2007

Using visual tags to bypass Bluetooth device discovery.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2005

Using smart phones to access site-specific services.
IEEE Pervasive Comput., 2005

Audio networking: the forgotten wireless technology.
IEEE Pervasive Comput., 2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions.
Proceedings of the Model Checking Software, 2005

A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping.
Proceedings of the UbiComp 2005: Ubiquitous Computing, 7th International Conference, 2005

Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming.
Proceedings of the 3rd Workshop on Network and System Support for Games, 2004

Context-Aware Computing with Sound.
Proceedings of the UbiComp 2003: Ubiquitous Computing, 2003

The Case for Abstracting Security Policies.
Proceedings of the International Conference on Security and Management, 2003