Volgen
Anil Madhavapeddy
Anil Madhavapeddy
Professor of Planetary Computing, University of Cambridge
Geverifieerd e-mailadres voor cl.cam.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Unikernels: Library operating systems for the cloud
A Madhavapeddy, R Mortier, C Rotsos, D Scott, B Singh, T Gazagnaire, ...
ACM SIGARCH Computer Architecture News 41 (1), 461-472, 2013
6822013
CIEL: A universal execution engine for distributed Data-Flow computing
DG Murray, M Schwarzkopf, C Smowton, S Smith, A Madhavapeddy, ...
8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11), 2011
3982011
Unikernels: the rise of the virtual library operating system
A Madhavapeddy, DJ Scott
Communications of the ACM 57 (1), 61-69, 2014
307*2014
Personal data: thinking inside the box
A Chaudhry, J Crowcroft, H Howard, A Madhavapeddy, R Mortier, ...
ACM, 2015
221*2015
Jitsu:{Just-In-Time} Summoning of Unikernels
A Madhavapeddy, T Leonard, M Skjegstad, T Gazagnaire, D Sheets, ...
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
1732015
Interacting with mobile services: an evaluation of camera-phones and visual tags
E Toye, R Sharp, A Madhavapeddy, D Scott, E Upton, A Blackwell
Personal and Ubiquitous Computing 11, 97-106, 2007
1602007
A study of bluetooth propagation using accurate indoor location mapping
A Madhavapeddy, A Tse
International Conference on Ubiquitous Computing, 105-122, 2005
1282005
Using visual tags to bypass Bluetooth device discovery
D Scott, R Sharp, A Madhavapeddy, E Upton
ACM SIGMOBILE Mobile Computing and Communications Review 9 (1), 41-53, 2005
1272005
Real World OCaml: Functional programming for the masses
Y Minsky, A Madhavapeddy, J Hickey
" O'Reilly Media, Inc.", 2013
116*2013
Raft refloated: Do we have consensus?
H Howard, M Schwarzkopf, A Madhavapeddy, J Crowcroft
ACM SIGOPS Operating Systems Review 49 (1), 12-21, 2015
1142015
Audio networking: the forgotten wireless technology
A Madhavapeddy, R Sharp, D Scott, A Tse
IEEE Pervasive Computing 4 (3), 55-60, 2005
1142005
Using smart phones to access site-specific services
E Toye, R Sharp, A Madhavapeddy, D Scott
IEEE pervasive computing 4 (2), 60-66, 2005
982005
Context-aware computing with sound
A Madhavapeddy, D Scott, R Sharp
International Conference on Ubiquitous Computing, 315-332, 2003
972003
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
T Ridge, D Sheets, T Tuerk, A Giugliano, A Madhavapeddy, P Sewell
Proceedings of the 25th Symposium on Operating Systems Principles, 38-53, 2015
842015
Using camera-phones to enhance human-computer interaction
A Madhavapeddy, D Scott, R Sharp, E Upton
Sixth International Conference on Ubiquitous Computing (Adjunct Proceedings …, 2004
832004
Concurrent system programming with effect handlers
S Dolan, S Eliopoulos, D Hillerström, A Madhavapeddy, ...
Trends in Functional Programming: 18th International Symposium, TFP 2017 …, 2018
762018
Effective concurrency through algebraic effects
S Dolan, L White, KC Sivaramakrishnan, J Yallop, A Madhavapeddy
OCaml Workshop 13, 2015
742015
Retrofitting effect handlers onto OCaml
KC Sivaramakrishnan, S Dolan, L White, T Kelly, S Jaffer, ...
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
702021
Bounding data races in space and time
S Dolan, KC Sivaramakrishnan, A Madhavapeddy
ACM SIGPLAN Notices 53 (4), 242-255, 2018
612018
{Not-Quite-So-Broken}{TLS}: Lessons in {Re-Engineering} a Security Protocol Specification and Implementation
D Kaloper-Meršinjak, H Mehnert, A Madhavapeddy, P Sewell
24th USENIX Security Symposium (USENIX Security 15), 223-238, 2015
592015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20