Anil Madhavapeddy

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 25

Top Venues

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav
Global, robust and comparable digital carbon assets. CoRR (2024)
Zahra Tarkhani, Anil Madhavapeddy
Enabling Lightweight Privilege Separation in Applications with MicroGuards. ACNS Workshops (2023)
Zahra Tarkhani, Anil Madhavapeddy
Information Flow Tracking for Heterogeneous Compartmentalized Software. RAID (2023)
Zahra Tarkhani, Anil Madhavapeddy
Enabling Lightweight Privilege Separation in Applications with MicroGuards. CoRR (2023)
Ryan Gibb, Anil Madhavapeddy, Jon Crowcroft
Where on Earth is the Spatial Name System? HotNets (2023)
Amelia Holcomb, Michael Dales, Patrick Ferris, Sadiq Jaffer, Thomas Swinfield, Alison Eyres, Andrew Balmford, David Coomes, Srinivasan Keshav, Anil Madhavapeddy
A Case for Planetary Computing. CoRR (2023)
Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo, Anil Madhavapeddy
Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces. CoRR (2022)
Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlum, Anil Madhavapeddy
How Computer Science Can Aid Forest Restoration. CoRR (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting Effect Handlers onto OCaml. CoRR (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy
Retrofitting effect handlers onto OCaml. PLDI (2021)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Zahra Tarkhani, Anil Madhavapeddy
$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions. CoRR (2020)
K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy
Retrofitting Parallelism onto OCaml. CoRR (2020)
Zahra Tarkhani, Anil Madhavapeddy
Sirius: Enabling System-Wide Isolation for Trusted Execution Environments. CoRR (2020)
Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. APLAS (2020)
Oleg Kiselyov, Anil Madhavapeddy, K. C. Sivaramakrishnan, Suresh Jagannathan
Programming Language Support for Data-intensive Applications (NII Shonan Meeting 143). NII Shonan Meet. Rep. 2019 (2019)
Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier
Fractal: Automated Application Scaling. CoRR (2019)
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
Programming Unikernels in the Large via Functor Driven Development. CoRR (2019)
Zahra Tarkhani, Anil Madhavapeddy, Richard Mortier
Snape: The Dark Art of Handling Heterogeneous Enclaves. EdgeSys@EuroSys (2019)
Jeremy Yallop, David Sheets, Anil Madhavapeddy
A modular foreign function interface. Sci. Comput. Program. 164 (2018)
Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
Bounding data races in space and time. PLDI (2018)
Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
An architecture for interspatial communication. INFOCOM Workshops (2018)
Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
Concurrent System Programming with Effect Handlers. TFP (2017)
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
FLICK: Developing and Running Application-Specific Network Services. USENIX Annual Technical Conference (2016)
Jeremy Yallop, David Sheets, Anil Madhavapeddy
Declarative Foreign Function Binding Through Generic Programming. FLOPS (2016)
Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier
Personal Data: Thinking Inside the Box. CoRR (2015)
Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy, Jon Crowcroft
Raft Refloated: Do We Have Consensus? ACM SIGOPS Oper. Syst. Rev. 49 (1) (2015)
Amir Chaudhry, Jon Crowcroft, Heidi Howard, Anil Madhavapeddy, Richard Mortier, Hamed Haddadi, Derek McAuley
Personal data: thinking inside the box. Aarhus Conference on Critical Alternatives (2015)
Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy, Peter Sewell
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP (2015)
Marius Eriksen, Michael Sperber, Anil Madhavapeddy
CUFP'13 scribe's report. J. Funct. Program. 25 (2015)
Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. DIYNetworking@MobiSys (2015)
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
Jitsu: Just-In-Time Summoning of Unikernels. NSDI (2015)
David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy, Peter Sewell
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation. USENIX Security Symposium (2015)
Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. CoRR (2014)
Anil Madhavapeddy, David J. Scott
Unikernels: the rise of the virtual library operating system. Commun. ACM 57 (1) (2014)
Michael Sperber, Anil Madhavapeddy
Commercial users of functional programming workshop report. J. Funct. Program. 23 (6) (2013)
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft
Unikernels: library operating systems for the cloud. ASPLOS (2013)
Charalampos Rotsos, Heidi Howard, David Sheets, Richard Mortier, Anil Madhavapeddy, Amir Chaudhry, Jon Crowcroft
Lost in the Edge: Finding Your Way with DNSSEC Signposts. FOCI (2013)
George Parisis, Toby Moncaster, Anil Madhavapeddy, Jon Crowcroft
Trevi: watering down storage hotspots with cool fountain codes. HotNets (2013)
Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops (2012)
Amir Chaudhry, Anil Madhavapeddy, Charalampos Rotsos, Richard Mortier, Andrius Aucinas, Jon Crowcroft, Sebastian Probst Eide, Steven Hand, Andrew W. Moore, Narseo Vallina-Rodriguez
Signposts: end-to-end networking in a world of middleboxes. SIGCOMM (2012)
Zubair Nabi, Toby Moncaster, Anil Madhavapeddy, Steven Hand, Jon Crowcroft
Evolving TCP.: how hard can it be? StudentWorkshop@CoNEXT (2012)
Anil Madhavapeddy, Yaron Minsky, Marius Eriksen
CUFP 2011 Workshop Report. J. Funct. Program. 22 (1) (2012)
Charalampos Rotsos, Richard Mortier, Anil Madhavapeddy, Balraj Singh, Andrew W. Moore
Cost, performance & flexibility in OpenFlow: Pick three. ICC (2012)
Chris Elsmore, Anil Madhavapeddy, Ian M. Leslie, Amir Chaudhry
Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting. MPM@EuroSys (2012)
Jon Crowcroft, Anil Madhavapeddy, Malte Schwarzkopf, Theodore Hong, Richard Mortier
Unclouded Vision. ICDCN (2011)
Derek Gordon Murray, Malte Schwarzkopf, Christopher Smowton, Steven Smith, Anil Madhavapeddy, Steven Hand
CIEL: A Universal Execution Engine for Distributed Data-Flow Computing. NSDI (2011)
Anil Madhavapeddy, Satnam Singh
Reconfigurable Data Processing for Clouds. FCCM (2011)
Thomas Gazagnaire, Anil Madhavapeddy
Dynamics for ML using Meta-Programming. Electron. Notes Theor. Comput. Sci. 264 (5) (2011)
Richard Mortier, Anil Madhavapeddy, Theodore Hong, Derek Gordon Murray, Malte Schwarzkopf
Using Dust Clouds to Enhance Anonymous Communication. Security Protocols Workshop (2010)
David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy
Using functional programming within an industrial product group: perspectives and perceptions. ICFP (2010)
Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft
Turning Down the LAMP: Software Specialisation for the Cloud. HotCloud (2010)
Ryan Wishart, Domenico Corapi, Anil Madhavapeddy, Morris Sloman
Privacy Butler: A personal privacy rights manager for online presence. PerCom Workshops (2010)
Anil Madhavapeddy
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. ICFEM (2009)
Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering
Enhancing web browsing security on public terminals using mobile composition. MobiSys (2008)
Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan
Melange: creating a "functional" internet. EuroSys (2007)
Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott, Eben Upton, Alan F. Blackwell
Interacting with mobile services: an evaluation of camera-phones and visual tags. Pers. Ubiquitous Comput. 11 (2) (2007)
Anil Madhavapeddy, Alastair Tse
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping. UbiComp (2005)
Anil Madhavapeddy, David J. Scott, Richard Sharp
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN (2005)
David J. Scott, Richard Sharp, Anil Madhavapeddy, Eben Upton
Using visual tags to bypass Bluetooth device discovery. ACM SIGMOBILE Mob. Comput. Commun. Rev. 9 (1) (2005)
Anil Madhavapeddy, Richard Sharp, David J. Scott, Alastair Tse
Audio networking: the forgotten wireless technology. IEEE Pervasive Comput. 4 (3) (2005)
Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott
Using smart phones to access site-specific services. IEEE Pervasive Comput. 4 (2) (2005)
Kieran Mansley, David J. Scott, Alastair Tse, Anil Madhavapeddy
Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming. NETGAMES (2004)
Anil Madhavapeddy, David J. Scott, Richard Sharp
Context-Aware Computing with Sound. UbiComp (2003)
Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp
The Case for Abstracting Security Policies. Security and Management (2003)

Anil Madhavapeddy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Anil Madhavapeddy