Amit Levy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
23
Venues
16
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
23 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ASPLOS | Rage Against the State Machine: Type-Stated Hardware Peripherals for Increased Driver Correctness. | Tyler Potyondy, Anthony Tarbinian, Leon Schuermann, Eric Mugnier, Adin Ackerman, Amit Levy, Pat Pannuto |
| 2025 | ACSAC | End-to-End Encrypted Applications with Strong Consistency Under Byzantine Actors. | Natalie Popescu, Shai Caspin, Leon Schuermann, Jingyuan Chen, Amit Levy |
| 2025 | OSDI | Building Bridges: Safe Interactions with Foreign Languages through Omniglot. | Leon Schuermann, Jack Toubes, Tyler Potyondy, Pat Pannuto, Mae Milano, Amit Levy |
| 2025 | PLOS | From Rust Till Run: Extending Memory Safety From Rust to Cryptographic Assembly. | Shai Caspin, Nikhil Pimpalkhare, Amit Levy |
| 2025 | SOSP | Running Consistent Applications Closer to Users with Radical for Lower Latency. | Nicolaas Kaashoek, Oleg Aleksandrovich Golev, Austin T. Li, Amit Levy, Wyatt Lloyd |
| 2025 | SOSP | Tock: From Research To Securing 10 Million Computers. | Leon Schuermann, Brad Campbell, Branden Ghena, Philip Alexander Levis, Amit Levy, Pat Pannuto |
| 2023 | NSDI | Doing More with Less: Orchestrating Serverless Applications without an Orchestrator. | David H. Liu, Amit Levy, Shadi A. Noghabi, Sebastian Burckhardt |
| 2023 | SP | Only Pay for What You Leak: Leveraging Sandboxes for a Minimally Invasive Browser Fingerprinting Defense. | Ryan Torok, Amit Levy |
| 2022 | HOTNETS | Computation-centric networking. | Yuhan Deng, Angela Montemayor, Amit Levy, Keith Winstein |
| 2022 | USENIX | Speculative Recovery: Cheap, Highly Available Fault Tolerance with Disaggregated Storage. | Nanqinqin Li, Anja Kalaba, Michael J. Freedman, Wyatt Lloyd, Amit Levy |
| 2021 | EWSN | Power Clocks: Dynamic Multi-Clock Management for Embedded Systems. | Holly Chiang, Hudson Ayers, Daniel B. Giffin, Amit Levy, Philip Alexander Levis |
| 2021 | SOSP | Regular Sequential Serializability and Regular Sequential Consistency. | Jeffrey Helt, Matthew Burke, Amit Levy, Wyatt Lloyd |
| 2020 | DCOSS | Design Considerations for Low Power Internet Protocols. | Hudson Ayers, Paul Crews, Hubert Teo, Conor McAvity, Amit Levy, Philip Alexander Levis |
| 2019 | ISCA | Position Paper: Progressive Memory Safety for WebAssembly. | Craig Disselkoen, John Renner, Conrad Watt, Tal Garfinkel, Amit Levy, Deian Stefan |
| 2018 | SENSYS | Design Considerations for Low Power Internet Protocols. | Hudson Ayers, Paul Thomas Crews, Hubert Hua Kian Teo, Conor McAvity, Amit Levy, Philip Alexander Levis |
| 2018 | SENSYS | Dynamic Multi-Clock Management for Embedded Systems. | Holly Chiang, Daniel B. Giffin, Amit Levy, Philip Alexander Levis |
| 2017 | SENSYS | The Tock Embedded Operating System. | Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Shane Leonard, Pat Pannuto, Prabal Dutta, Philip Alexander Levis |
| 2017 | SOSP | Multiprogramming a 64kB Computer Safely and Efficiently. | Amit Levy, Bradford Campbell, Branden Ghena, Daniel B. Giffin, Pat Pannuto, Prabal Dutta, Philip Alexander Levis |
| 2014 | HASKELL | Building secure systems with LIO (demo). | Deian Stefan, Amit Levy, Alejandro Russo, David Mazires |
| 2014 | SENSYS | A networked embedded system platform for the post-mote era. | Pat Pannuto, Michael P. Andersen, Tom Bauer, Bradford Campbell, Amit Levy, David E. Culler, Philip Alexander Levis, Prabal Dutta |
| 2013 | ESORICS | Eliminating Cache-Based Timing Attacks with Instruction-Based Scheduling. | Deian Stefan, Pablo Buiras, Edward Z. Yang, Amit Levy, David Terei, Alejandro Russo, David Mazires |
| 2012 | ICFP | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | OSDI | Hails: Protecting Data Privacy in Untrusted Web Applications. | Daniel B. Giffin, Amit Levy, Deian Stefan, David Terei, David Mazires, John C. Mitchell, Alejandro Russo |