The Cypress group at Stevens Institute of Technology studies cybersecurity, programming languages, and systems.
The Cypress seminar meets Thursdays from 1:30m-2:30pm in Gateway North 303.
News
RSS-
Papers and grants
Cypress had a great 2023, with nine papers and two grants (totaling over $1M).
-
Prof. Koskinen Endowed Professorship
An “investiture ceremony was held” for recently endowed professors, including Cypress Prof. Koskinen.
-
Three Cypress papers in POPL 2023!
Three papers from the Cypress group have been accepted to POPL 2023! From SMT to ASP: Solver-Based Approaches to Solving Datalog Synthesis-as-Rule-Selection Problems (Prof. Greenberg, et al.), Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification (Prof. Koskinen et al.), An algebra of alignment for relational verification (PhD student Ramana Nagasamudram, Prof. David Naumann, Prof. Eric Koskinen, and former Stevens researchers Ton-Chanh Le and Minh Ngo)
-
Veracity accepted to OOPSLA 2022
Adam Chen (PhD), Parisa Fathololumi (PhD), Eric Koskinen and Jared Pincus (MS)’s paper “Veracity: Declarative Multicore Programming with Commutativity” was accepted to OOPSLA 2022!
-
RelRL accepted at TOPLAS
Anindya Banerjee, Ramana Nagasamudram, David Naumann and Mohammad Nikouei’s paper “A Relational Program Logic with Data Abstraction and Dynamic Framing” has been accepted at TOPLAS!
-
KMT wins PLDI 2022 Award
Michael Greenberg, Ryan Beckett (Microsoft Research), and Eric Campbell (Cornell)’s paper at PLDI 2022, “Kleene algebra modulo theories: a framework for concrete KATs” was one of six papers that won a distinguished paper award!
-
NJPLS
We held NJPLS, a regional workshop in programming languages and systems, here at Stevens!
-
OSDI 2022
Michael Greenberg will be joining the other PaSh authors at OSDI 2022 to present “Practically Correct, Just-in-Time Shell Script Parallelization”.
-
PLDI 2022
Michael Greenberg will be presenting “Kleene Algebra Modulo Theories: A Framework for Concrete KATs” at PLDI 2022 this year!
-
OOPSLA 2021
Eric Koskinen, Ton Chanh Le, Y. Cyrus Liu and Michael Greenberg will be presenting papers at SPLASH 2021, from OOPSLA 2021, APLAS 2021, and OOPSLA 2020.