Collaborative Research: CS2: On-Demand Semantic Analysis via Program Synthesis
CS2 — Correctness for Scientific Computing Systems (joint NSF/DOE) · PI Ben Greenman; Co-PIs John Regehr, Varun Shankar
CS2 — Correctness for Scientific Computing Systems (joint NSF/DOE) · PI Ben Greenman; Co-PIs John Regehr, Varun Shankar
DMS / CISE — Computational & Data-Enabled Science (CDS&E) · PI Varun Shankar; Co-PI Akil Narayan
CISE/CCF — Software & Hardware Foundations (SHF: Medium) · PI Ganesh Gopalakrishnan; Co-PIs Mary Hall, Varun Shankar
Laboratory Research Initiation Request (LRIR)
Air Force Research Laboratory (subcontracts via UES and ARCTOS)
Laboratory Directed Research & Development (LDRD)
Current PhD students: Ramansh Sharma, Matthew Lowery, Branden Frieden, Alberto Cattaneo, Andrey Pluzhnik.
Graduated mentees: Dr. Madison Cooley, Milena Belianovich, Dr. Andrew Jones, Dr. Andrew Kassen, Dr. Hallie Elich, Dr. Vidhi Zala, Sage Shaw, Daniel Malmuth, M.S. Srivatsa, Harshitha Parnandi, Roman Amici, Zixuan Zhao, Hannah Bruns.