default search action
Anil Madhavapeddy
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c42]Sadiq Jaffer, Michael W. Dales, Patrick Ferris, Derek Sorensen, Thomas Swinfield, Robin Message, Srinivasan Keshav, Anil Madhavapeddy:
Global, robust and comparable digital carbon assets. ICBC 2024: 305-306 - [c41]Josh Millar, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy:
Poster: Towards Low-Power Comprehensive Biodiversity Monitoring. SenSys 2024: 844-846 - [i15]Sadiq Jaffer, Michael Dales, Patrick Ferris, Thomas Swinfield, Derek Sorensen, Robin Message, Anil Madhavapeddy, Srinivasan Keshav:
Global, robust and comparable digital carbon assets. CoRR abs/2403.14581 (2024) - [i14]Josh Millar, Sarab Sethi, Hamed Haddadi, Anil Madhavapeddy:
Terracorder: Sense Long and Prosper. CoRR abs/2408.02407 (2024) - 2023
- [c40]Zahra Tarkhani, Anil Madhavapeddy:
Enabling Lightweight Privilege Separation in Applications with MicroGuards. ACNS Workshops 2023: 571-598 - [c39]Ryan Gibb
, Anil Madhavapeddy
Where on Earth is the Spatial Name System? HotNets 2023: 79-86 - [c38]Zahra Tarkhani
Information Flow Tracking for Heterogeneous Compartmentalized Software. RAID 2023: 564-579 - [i13]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 abs/2303.04501 (2023) - [i12]Zahra Tarkhani, Anil Madhavapeddy:
Enabling Lightweight Privilege Separation in Applications with MicroGuards. CoRR abs/2306.14202 (2023) - 2022
- [i11]Zahra Tarkhani, Lorena Qendro, Malachy O'Connor Brown, Oscar Hill, Cecilia Mascolo, Anil Madhavapeddy:
Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces. CoRR abs/2201.07711 (2022) - 2021
- [c37]K. C. Sivaramakrishnan
Retrofitting effect handlers onto OCaml. PLDI 2021: 206-221 - [i10]K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, Anil Madhavapeddy:
Retrofitting Effect Handlers onto OCaml. CoRR abs/2104.00250 (2021) - [i9]Gemma Gordon, Amelia Holcomb, Tom Kelly, Srinivasan Keshav, Jon Ludlum, Anil Madhavapeddy:
How Computer Science Can Aid Forest Restoration. CoRR abs/2109.07898 (2021) - 2020
- [j11]K. C. Sivaramakrishnan
Retrofitting parallelism onto OCaml. Proc. ACM Program. Lang. 4(ICFP): 113:1-113:30 (2020) - [c36]Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
Banyan: Coordination-Free Distributed Transactions over Mergeable Types. APLAS 2020: 231-250 - [i8]Zahra Tarkhani, Anil Madhavapeddy:
$μ$Tiles: Efficient Intra-Process Privilege Enforcement of Memory Regions. CoRR abs/2004.04846 (2020) - [i7]K. C. Sivaramakrishnan, Stephen Dolan, Leo White, Sadiq Jaffer, Tom Kelly, Anmol Sahoo, Sudha Parimala, Atul Dhiman, Anil Madhavapeddy:
Retrofitting Parallelism onto OCaml. CoRR abs/2004.11663 (2020) - [i6]Zahra Tarkhani, Anil Madhavapeddy:
Sirius: Enabling System-Wide Isolation for Trusted Execution Environments. CoRR abs/2009.01869 (2020)
2010 – 2019
- 2019
- [c35]Zahra Tarkhani, Anil Madhavapeddy
Snape: The Dark Art of Handling Heterogeneous Enclaves. EdgeSys@EuroSys 2019: 48-53 - [i5]Masoud Koleini, Carlos Oviedo, Derek McAuley
Fractal: Automated Application Scaling. CoRR abs/1902.09636 (2019) - [i4]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 abs/1905.02529 (2019) - [i3]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) - 2018
- [j10]Jeremy Yallop, David Sheets, Anil Madhavapeddy
A modular foreign function interface. Sci. Comput. Program. 164: 82-97 (2018) - [c34]Anil Madhavapeddy
An architecture for interspatial communication. INFOCOM Workshops 2018: 716-723 - [c33]Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy
Bounding data races in space and time. PLDI 2018: 242-255 - 2017
- [c32]Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström
Concurrent System Programming with Effect Handlers. TFP 2017: 98-117 - 2016
- [c31]Jeremy Yallop, David Sheets, Anil Madhavapeddy
Declarative Foreign Function Binding Through Generic Programming. FLOPS 2016: 198-214 - [c30]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 ATC 2016: 1-14 - 2015
- [j9]Marius Eriksen, Michael Sperber, Anil Madhavapeddy
CUFP'13 scribe's report. J. Funct. Program. 25 (2015) - [j8]Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy
Raft Refloated: Do We Have Consensus? ACM SIGOPS Oper. Syst. Rev. 49(1): 12-21 (2015) - [c29]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: 29-32 - [c28]Magnus Skjegstad, Anil Madhavapeddy
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. DIYNetworking@MobiSys 2015: 21-26 - [c27]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: 559-573 - [c26]Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems. SOSP 2015: 38-53 - [c25]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: 223-238 - [i2]Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier:
Personal Data: Thinking Inside the Box. CoRR abs/1501.04737 (2015) - 2014
- [j7]Anil Madhavapeddy
Unikernels: the rise of the virtual library operating system. Commun. ACM 57(1): 61-69 (2014) - [i1]Magnus Skjegstad, Anil Madhavapeddy, Jon Crowcroft:
Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles. CoRR abs/1412.4638 (2014) - 2013
- [b2]Yaron Minsky, Anil Madhavapeddy, Jason Hickey:
Real World OCaml - Functional Programming for the Masses. O'Reilly 2013, ISBN 978-1-4493-2391-2, pp. I-XXII, 1-483 - [j6]Michael Sperber, Anil Madhavapeddy
Commercial users of functional programming workshop report. J. Funct. Program. 23(6): 701-712 (2013) - [c24]Anil Madhavapeddy
Unikernels: library operating systems for the cloud. ASPLOS 2013: 461-472 - [c23]George Parisis
Trevi: watering down storage hotspots with cool fountain codes. HotNets 2013: 22:1-22:7 - [c22]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 - [e1]Tim Harris, Anil Madhavapeddy:
Proceedings of the Seventh Workshop on Programming Languages and Operating Systems, PLOS 2013, Farmington, Pennsylvania, USA, November 3-6, 2013. ACM 2013, ISBN 978-1-4503-2460-1 [contents] - 2012
- [j5]Anil Madhavapeddy
CUFP 2011 Workshop Report. J. Funct. Program. 22(1): 1-8 (2012) - [c21]Zubair Nabi, Toby Moncaster, Anil Madhavapeddy
Evolving TCP.: how hard can it be? StudentWorkshop@CoNEXT 2012: 35-36 - [c20]Chris Elsmore, Anil Madhavapeddy
Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commuting. MPM@EuroSys 2012: 5:1-5:6 - [c19]Charalampos Rotsos
Cost, performance & flexibility in OpenFlow: Pick three. ICC 2012: 6601-6605 - [c18]Khilan Gudka, Robert N. M. Watson, Steven Hand, Ben Laurie, Anil Madhavapeddy
Exploring Compartmentalisation Hypotheses with SOAAP. SASO Workshops 2012: 23-30 - [c17]Amir Chaudhry, Anil Madhavapeddy
Signposts: end-to-end networking in a world of middleboxes. SIGCOMM 2012: 83-84 - 2011
- [c16]Anil Madhavapeddy
Reconfigurable Data Processing for Clouds. FCCM 2011: 141-145 - [c15]Jon Crowcroft
Unclouded Vision. ICDCN 2011: 29-40 - [c14]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 - 2010
- [c13]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 - [c12]David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy:
Using functional programming within an industrial product group: perspectives and perceptions. ICFP 2010: 87-92 - [c11]Ryan Wishart, Domenico Corapi, Anil Madhavapeddy
Privacy Butler: A personal privacy rights manager for online presence. PerCom Workshops 2010: 672-677 - [c10]Richard Mortier, Anil Madhavapeddy
Using Dust Clouds to Enhance Anonymous Communication. Security Protocols Workshop 2010: 54-59 - [c9]Thomas Gazagnaire, Anil Madhavapeddy
Dynamics for ML using Meta-Programming. WGT@ETAPS 2010: 3-21
2000 – 2009
- 2009
- [c8]Anil Madhavapeddy:
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language. ICFEM 2009: 446-465 - 2008
- [c7]Richard Sharp, Anil Madhavapeddy, Roy Want, Trevor Pering:
Enhancing web browsing security on public terminals using mobile composition. MobiSys 2008: 94-105 - 2007
- [b1]Anil Madhavapeddy:
Creating high-performance statically type-safe network applications. University of Cambridge, UK, 2007 - [j4]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): 97-106 (2007) - [c6]Anil Madhavapeddy, Alex Ho, Tim Deegan, David J. Scott, Ripduman Sohan:
Melange: creating a "functional" internet. EuroSys 2007: 101-114 - 2005
- [j3]Eleanor F. Toye, Richard Sharp, Anil Madhavapeddy, David J. Scott:
Using smart phones to access site-specific services. IEEE Pervasive Comput. 4(2): 60-66 (2005) - [j2]Anil Madhavapeddy, Richard Sharp, David J. Scott, Alastair Tse:
Audio networking: the forgotten wireless technology. IEEE Pervasive Comput. 4(3): 55-60 (2005) - [j1]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): 41-53 (2005) - [c5]Anil Madhavapeddy, Alastair Tse:
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping. UbiComp 2005: 105-122 - [c4]Anil Madhavapeddy, David J. Scott, Richard Sharp:
SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions. SPIN 2005: 277-281 - 2004
- [c3]Kieran Mansley, David J. Scott, Alastair Tse, Anil Madhavapeddy:
Feedback, latency, accuracy: exploring tradeoffs in location-aware gaming. NETGAMES 2004: 93-97 - 2003
- [c2]Anil Madhavapeddy, Alan Mycroft, David J. Scott, Richard Sharp:
The Case for Abstracting Security Policies. Security and Management 2003: 156-160 - [c1]Anil Madhavapeddy, David J. Scott, Richard Sharp:
Context-Aware Computing with Sound. UbiComp 2003: 315-332
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: