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 ToolIndependent 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 PrimalDual Fixpoint Logic Solving for Temporal Verification” by Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen

POPL 2023 “From SMT to ASP: SolverBased Approaches to Solving Datalog SynthesisasRuleSelection 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 “MultiPLE: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation” by Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna PhippsCostin, Donald Pinckney, MingHo 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 “Scenariobased Formal Proofs for Concurrent Software” Eric Koskinen, $593,022