Papers and grants
Cypress had a great 2023, with nine papers and two grants (totaling over $1M).
Papers:
-
CCS 2023 “Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications” by Toby Murray, Mukesh Tiwari, Gidon Ernst, David A. Naumann
-
ECOOP 2023 “Toward Tool-Independent Summaries for Symbolic Execution” by Frederico Ramos, Nuno Sabino, Pedro Adão, David A. Naumann, José Fragoso Santos
-
EVCS (Eelco Visser Commemorative Symposium) 2023 “Reasoning About Paths in the Interface Graph” by Michael Greenberg
-
HotOS 2023 “Executing Shell Scripts in the Wrong Order, Correctly” Georgios Liargkovas, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis
-
POPL 2023 “An Algebra of Alignment for Relational Verification” by Timos Antonopoulos, Eric Koskinen, Ton Chanh Le, Ramana Nagasamudram, David A. Naumann, Minh Ngo
-
POPL 2023 “Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification” by Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
-
POPL 2023 “From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems” by Aaron Bembenek, Michael Greenberg, Stephen Chong
-
TACAS 2023 “The WhyRel Prototype for Modular Relational Verification of Pointer Programs” by Ramana Nagasamudram, Anindya Banerjee, David A. Naumann (nominated for an ETAPS award)
-
TSE 2023 “MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation” by Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
Grants:
-
NSF CSR “Scaling Unix/Linux Shell Programs” Michael Greenberg, $556,063
-
NSF SHF “Scenario-based Formal Proofs for Concurrent Software” Eric Koskinen, $593,022