I agree that this site is using cookies. You can find further informations here.
X
Madhavapeddy, Anil
71  results:
Search for persons X
?
1

Credit credibility threatens forests:

Balmford, Andrew ; Brancalion, Pedro H. S. ; Coomes, David...
Science.  380 (2023)  6644 - p. 466-467 , 2023
Link: https://doi.org/10.1126/..
 
?
2

Enabling Lightweight Privilege Separation in Applications w..:

, In: Lecture Notes in Computer Science; Applied Cryptography and Network Security Workshops,
Tarkhani, Zahra ; Madhavapeddy, Anil - p. 571-598 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Realizing the social value of impermanent carbon credits:

Balmford, Andrew ; Keshav, Srinivasan ; Venmans, Frank...
Nature Climate Change.  13 (2023)  11 - p. 1172-1178 , 2023
Link: https://doi.org/10.1038/..
 
?
4

Where on Earth is the Spatial Name System?:

, In: Proceedings of the 22nd ACM Workshop on Hot Topics in Networks,
Gibb, Ryan ; Madhavapeddy, Anil ; Crowcroft, Jon - p. 79-86 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Information Flow Tracking for Heterogeneous Compartmentaliz..:

, In: Proceedings of the 26th International Symposium on Research in Attacks, Intrusions and Defenses,
Tarkhani, Zahra ; Madhavapeddy, Anil - p. 564-579 , 2023
Link: https://dl.acm.org/doi/1..
 
?
6

Real world OCaml 

functional programming for the masses 
Minsky, Yaron ; Madhavapeddy, Anil - Second edition. . , 2022
Link: https://doi.org/10.1017/..
 
?
7

Retrofitting effect handlers onto OCaml:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo... - p. 206-221 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Retrofitting parallelism onto OCaml:

Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo...
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-30 , 2020
Link: https://doi.org/10.1145/..
 
?
9

Banyan: Coordination-Free Distributed Transactions over Mer..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Dubey, Shashank Shekhar ; Sivaramakrishnan, K. C. ; Gazagnaire, Thomas. - p. 231-250 , 2020
Link: https://doi.org/10.1007/..
 
?
10

Retrofitting parallelism onto OCaml:

Sivaramakrishnan, KC ; Dolan, Stephen ; White, Leo...
Proceedings of the ACM on Programming Languages.  4 (2020)  ICFP - p. 1-30 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

Snape : The Dark Art of Handling Heterogeneous Enclaves:

, In: Proceedings of the 2nd International Workshop on Edge Systems, Analytics and Networking,
Tarkhani, Zahra ; Madhavapeddy, Anil ; Mortier, Richard - p. 48-53 , 2019
Link: https://dl.acm.org/doi/1..
 
?
12

A modular foreign function interface:

Yallop, Jeremy ; Sheets, David ; Madhavapeddy, Anil
Science of Computer Programming.  164 (2018)  - p. 82-97 , 2018
Link: https://doi.org/10.1016/..
 
?
13

Bounding data races in space and time:

, In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation,
Dolan, Stephen ; Sivaramakrishnan, KC ; Madhavapeddy, Anil - p. 242-255 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Bounding data races in space and time:

Dolan, Stephen ; Sivaramakrishnan, KC ; Madhavapeddy, Anil
ACM SIGPLAN Notices.  53 (2018)  4 - p. 242-255 , 2018
Link: https://doi.org/10.1145/..
 
?
15

SibylFS : formal specification and oracle-based testing ..:

, In: Proceedings of the 25th Symposium on Operating Systems Principles,
Ridge, Tom ; Sheets, David ; Tuerk, Thomas... - p. 38-53 , 2015
Link: https://dl.acm.org/doi/1..
 
1-15