Lenore D. Zuck
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
50
Venues
25
Active years
1984–2022
Best venue rank
A*
Where they publish
- BVMCAI8 papers
- A*CAV8 papers
- BCONCUR4 papers
- A*PODC4 papers
- A*LICS3 papers
- BSAS2 papers
- CFORTE2 papers
- ATACAS2 papers
- AUAI1 paper
- A*SIGCOMM1 paper
- NationalICDCIT1 paper
- BSEFM1 paper
- CQRS1 paper
- A*SP1 paper
- A*PLDI1 paper
- BRV1 paper
- AFC1 paper
- NationalICISS1 paper
- CISoLA1 paper
- CMEMOCODE1 paper
- BFMCAD1 paper
- A*ICALP1 paper
- BFOSSACS1 paper
- A*CCS1 paper
- CCoordination1 paper
Papers
50 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | UAI | Dynamic relocation in ridesharing via fixpoint construction. | Ian A. Kash, Zhongkai Wen, Lenore D. Zuck |
| 2019 | SIGCOMM | Formal specification and testing of QUIC. | Kenneth L. McMillan, Lenore D. Zuck |
| 2018 | ICDCIT | Formal Verification of Optimizing Compilers. | Yiji Zhang, Lenore D. Zuck |
| 2018 | VMCAI | P^5 : Planner-less Proofs of Probabilistic Parameterized Protocols. | Lenore D. Zuck, Kenneth L. McMillan, Jordan Torf |
| 2017 | SEFM | From Model Checking to a Temporal Proof for Partial Models. | Anna Bernasconi, Claudio Menghi, Paola Spoletini, Lenore D. Zuck, Carlo Ghezzi |
| 2016 | QRS | Leveraging Static Analysis Tools for Improving Usability of Memory Error Sanitization Compilers. | Rigel Gjomemo, Phu H. Phung, Edmund Ballou, Kedar S. Namjoshi, V. N. Venkatakrishnan, Lenore D. Zuck |
| 2015 | VMCAI | From Verification to Optimizations. | Rigel Gjomemo, Kedar S. Namjoshi, Phu H. Phung, V. N. Venkatakrishnan, Lenore D. Zuck |
| 2014 | SP | Ethics in Data Sharing: Developing a Model for Best Practice. | Sven Dietrich, Jeroen van der Ham, Aiko Pras, Roland van Rijswijk-Deij, Darren Shou, Anna Sperotto, Aimee van Wynsberghe, Lenore D. Zuck |
| 2013 | PLDI | WEBLOG: a declarative language for secure web development. | Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck |
| 2013 | RV | A Witnessing Compiler: A Proof of Concept. | Kedar S. Namjoshi, Giacomo Tagliabue, Lenore D. Zuck |
| 2013 | SAS | Witnessing Program Transformations. | Kedar S. Namjoshi, Lenore D. Zuck |
| 2012 | FC | Ethical and Secure Data Sharing across Borders. | Jos M. Fernandez, Andrew S. Patrick, Lenore D. Zuck |
| 2012 | ICISS | On Policies and Intents. | Matthew L. Bolton, Celeste M. Wallace, Lenore D. Zuck |
| 2012 | ISoLA | Runtime Verification: The Application Perspective. | Ylis Falcone, Lenore D. Zuck |
| 2011 | SAS | Invisible Invariants and Abstract Interpretation. | Kenneth L. McMillan, Lenore D. Zuck |
| 2010 | CAV | Jtlv: A Framework for Developing Verification Algorithms. | Amir Pnueli, Yaniv Sa'ar, Lenore D. Zuck |
| 2008 | CAV | Mechanical Verification of Transactional Memories with Non-transactional Memory Accesses. | Ariel Cohen, Amir Pnueli, Lenore D. Zuck |
| 2008 | MEMOCODE | Specification and Verification of LambdaRAM: A Wide-area Distributed Cache for High Performance Computing. | Venkatram Vishwanath, Lenore D. Zuck, Jason Leigh |
| 2007 | FMCAD | Verifying Correctness of Transactional Memories. | Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
| 2007 | VMCAI | Shape Analysis of Single-Parent Heaps. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2006 | FORTE | Liveness by Invisible Invariants. | Yi Fang, Kenneth L. McMillan, Amir Pnueli, Lenore D. Zuck |
| 2006 | ICALP | Invisible Safety of Distributed Protocols. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2006 | VMCAI | Monitoring Off-the-Shelf Components. | A. Prasad Sistla, Min Zhou, Lenore D. Zuck |
| 2005 | CAV | Formal Verification of Backward Compatibility of Microcode. | Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck |
| 2005 | CAV | IIV: An Invisible Invariant Verifier. | Ittai Balaban, Yi Fang, Amir Pnueli, Lenore D. Zuck |
| 2005 | CAV | TVOC: A Translation Validator for Optimizing Compilers. | Clark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck |
| 2005 | CONCUR | Taming Interface Specifications. | Tiziana Margaria, A. Prasad Sistla, Bernhard Steffen, Lenore D. Zuck |
| 2005 | FORTE | Ranking Abstraction as Companion to Predicate Abstraction. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2005 | VMCAI | Shape Analysis by Predicate Abstraction. | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
| 2004 | TACAS | Liveness with Incomprehensible Ranking. | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
| 2004 | VMCAI | Liveness with Invisible Ranking. | Yi Fang, Nir Piterman, Amir Pnueli, Lenore D. Zuck |
| 2003 | FOSSACS | Parameterized Verification by Probabilistic Abstraction. | Tamarah Arons, Amir Pnueli, Lenore D. Zuck |
| 2003 | VMCAI | Model-Checking and Abstraction to the Aid of Parameterized Systems. | Amir Pnueli, Lenore D. Zuck |
| 2002 | CAV | Liveness with (0, 1, infty)-Counter Abstraction. | Amir Pnueli, Jessie Xu, Lenore D. Zuck |
| 2002 | CONCUR | Network Invariants in Action. | Yonit Kesten, Amir Pnueli, Elad Shahar, Lenore D. Zuck |
| 2002 | VMCAI | Automatic Verification of Probabilistic Free Choice. | Lenore D. Zuck, Amir Pnueli, Yonit Kesten |
| 2001 | CAV | Parameterized Verification with Automatically Computed Inductive Assertions. | Tamarah Arons, Amir Pnueli, Sitvanit Ruah, Jiazhao Xu, Lenore D. Zuck |
| 2001 | CCS | The faithfulness of abstract protocol analysis: message authentication. | Joshua D. Guttman, F. Javier Thayer, Lenore D. Zuck |
| 2001 | TACAS | Automatic Deductive Verification with Invisible Invariants. | Amir Pnueli, Sitvanit Ruah, Lenore D. Zuck |
| 1997 | Coordination | On What Linda Is: Formal Description of Linda as a Reactive System. | David Gelernter, Lenore D. Zuck |
| 1994 | PODC | Adaptive Algorithms for PASO Systems. | Jeffery R. Westbrook, Lenore D. Zuck |
| 1993 | LICS | In and Out of Temporal Logic | Amir Pnueli, Lenore D. Zuck |
| 1992 | CONCUR | Games I/O Automata Play (Extended Abstract). | Nick Reingold, Da-Wei Wang, Lenore D. Zuck |
| 1992 | CONCUR | Timed Ethernet: Real-Time Formal Specification of Ethernet. | Henri B. Weinberg, Lenore D. Zuck |
| 1991 | CAV | Automatic Temporal Verification of Buffer Systems. | A. Prasad Sistla, Lenore D. Zuck |
| 1991 | PODC | Real-Time Sequence Transmission Problem. | Da-Wei Wang, Lenore D. Zuck |
| 1989 | PODC | Tight Bounds for the Sequence Transmission Problem. | Da-Wei Wang, Lenore D. Zuck |
| 1987 | LICS | On the Eventuality Operator in Temporal Logic | A. Prasad Sistla, Lenore D. Zuck |
| 1986 | LICS | Probabilistic Verification by Tableaux | Amir Pnueli, Lenore D. Zuck |
| 1984 | PODC | Verification of Multiprocess Probabilistic Protocols. | Amir Pnueli, Lenore D. Zuck |