Francesco Zappa Nardelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
22
Venues
14
Active years
2001–2022
Best venue rank
A*
Where they publish
Papers
22 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CPP | Applying formal verification to microkernel IPC at meta. | Quentin Carbonneaux, Noam Zilberstein, Christoph Klee, Peter W. O'Hearn, Francesco Zappa Nardelli |
| 2019 | ECOOP | Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples (Pearl). | Benjamin Chung, Francesco Zappa Nardelli, Jan Vitek |
| 2018 | ECOOP | KafKa: Gradual Typing for Objects. | Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek |
| 2017 | CC | Partially redundant fence elimination for x86, ARM, and power processors. | Robin Morisset, Francesco Zappa Nardelli |
| 2015 | ECOOP | Concrete Types for TypeScript. | Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
| 2015 | POPL | Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it. | Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty, Robin Morisset, Francesco Zappa Nardelli |
| 2013 | OOPSLA | Flexible access control for javascript. | Gregor Richards, Christian Hammer, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
| 2013 | PLDI | Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. | Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli |
| 2013 | PPoPP | Correct and efficient work-stealing for weak memory models. | Nhat Minh L, Antoniu Pop, Albert Cohen, Francesco Zappa Nardelli |
| 2011 | ITP | Lem: A Lightweight Tool for Heavyweight Semantics. | Scott Owens, Peter Bhm, Francesco Zappa Nardelli, Peter Sewell |
| 2011 | POPL | Relaxed-memory concurrency and verified compilation. | Jaroslav Sevck, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
| 2011 | SAS | Verifying Fence Elimination Optimisations. | Viktor Vafeiadis, Francesco Zappa Nardelli |
| 2010 | POPL | Integrating typed and untyped code in a scripting language. | Tobias Wrigstad, Francesco Zappa Nardelli, Sylvain Lebresne, Johan stlund, Jan Vitek |
| 2009 | ESORICS | Reliable Evidence: Auditability by Typing. | Nataliya Guts, Cdric Fournet, Francesco Zappa Nardelli |
| 2009 | POPL | The semantics of power and ARM multiprocessor machine code. | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
| 2009 | POPL | The semantics of x86-CC multiprocessor machine code. | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
| 2008 | ESOP | A Formal Implementation of Value Commitment. | Cdric Fournet, Nataliya Guts, Francesco Zappa Nardelli |
| 2008 | ESOP | Oracle Semantics for Concurrent Separation Logic. | Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli |
| 2007 | ICFP | Ott: effective tool support for the working semanticist. | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2005 | ICFP | Acute: high-level programming language design for distributed computation. | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
| 2003 | ICALP | Bisimulation Proof Methods for Mobile Ambients. | Massimo Merro, Francesco Zappa Nardelli |
| 2001 | CONCUR | Typing Mobility in the Seal Calculus. | Giuseppe Castagna, Giorgio Ghelli, Francesco Zappa Nardelli |