NSF FMitF PI Meeting 2024 - Participants | Computer Science - College of Liberal Arts and Sciences

FMitf 2024 HOME Current PIs Aspiring PIs;ORGANIZATION

Participants

NSF [Inc. lead organizers]
First Name	Last Name	Affiliation
Nina	Amla	National Science Foundation
Anindya	Banerjee*	National Science Foundation
Dilma	Da Silva	NSF and Texas A&M University
Pavithra	Prabhakar*	National Science Foundation

* NSF Leads; see "Organization" for details [inc. meeting co-chairs and local organizers]

Poster and slides information will be added ahead of meeting.

Current PIs *Jump to Aspiring PIs*
First Name	Last Name	Affiliation	NSF Project Award Number(s)	poster Title	Slide
Maneesh	Agrawala	Stanford University	2219865	End-user Programming for CAD Systems via Language Design and Synthesis	Slide
Amal	Ahmed	Northeastern University	2220408	Principles for Modular Probabilistic Programming and Inference	Slide
Chris	Amato	Northeastern University	2319500	Safe Multi-Agent Reinforcement Learning with Shielding	Slide
Andrew	Appel	Princeton University	2219757	Formally Verified Numerical Methods	Slide
Venkat	Arun	University of Texas at Austin	2422130
Taylor	Berg-Kirkpatrick	UC San Diego	2422214	Aligning Code-Generating Models with Formal Specifications	Slide
Gilbert	Bernstein	University of Washington	2319181	Knitting Semantics	Slide
Noah	Bertram	Cornell University	2319186	Formal verification of economic mechanisms	Slide
David	Bindel	Cornell University	2219757	Formally Verified Numerical Methods	Slide
Matthew	Bolton	University of Virginia	2319318	Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models	Slide
Borzoo	Bonakdarpour	Michigan State University	2422013
Anton	Burtsev	University of Utah	2220410	Safe, Efficient Persistent Memory Systems	Slide
Nathaniel	Cady	University at Albany	2409796	Synthesis and Verification of In-Memory Computing Systems	Slide
Phuong	Cao	University of Illinois	2319190	Bringing Verification-Aware Languages and Federated Authentication to Enable Secure Computing for Scientific Communities	Slide
Myra	Cohen	Iowa State University	2422127	JIVe: Just-In-Time Verification for High Performance Compilers	Slide
Marcelo	d'Amorim	Associate Professor	2319472	Cross-Language Support for Runtime Verification	Slide
Loris	D'Antoni	UCSD	2422214	Aligning Code-Generating Models with Formal Specifications	Slide
Brian	Demsky	University of California, Irvine	2220410	Safe, Efficient Persistent Memory Systems	Slide
Yufei	Ding	UCSD	2422169	Synthesizing Verifiable Compiler Toward Fault-Tolerant Quantum Computing	Slide
Karthik	Duraisamy	University of Michigan	2219997	Foundational Approaches for End-to-end Formal Verification of Computational Physics	Slide
Rickard	Ewetz	University of Florida	2319399	Synthesis and Verification of In-Memory Computing Systems	Slide
Robert	Findler	Northwestern	2421308
Luis	Garcia	University of Utah	2220312	A Formal Verification and Implementation Stack for Programmable Logic Controllers	Slide
Felix	Hähnlein	University of Washington	2219864	End-user Programming for CAD Systems via Language Design and Synthesis	Slide
Zohair Raza	Hassan	Rochester Institute of Technology	2421977
Steven	Holtzen	Northeastern University	2220408	Principles for Modular Probabilistic Programming and Inference	Slide
Peng	Huang	University of Michigan	2318937	Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems	Slide
Jean-Baptiste	Jeannin	University of Michigan	2219997; 2422028	Foundational Approaches for End-to-end Formal Verification of Computational Physics	Slide
Gowtham	Kaki	University of Colorado Boulder	2422136
Eunsuk	Kang	Carnegie Mellon University	2319317	Designing Safe and Robust Human-machine Interactions with Fuzzy Mental Models	Slide
Emmanouil	Kapritsos	University of Michigan	2318954	Simplifying End-to-End Verification of High-Performance Distributed Systems	Slide
Zachary	Kincaid	Princeton University	2421981
Owolabi	Legunsen	Cornell University	2319473	Cross-Language Support for Runtime Verification	Slide
Jinyang	Li	New York University	2220407	Automatic Discovery and Verification of Database Query Transformations	Slide
Liyi	Li	Iowa State University	2422127	JIVe: Just-In-Time Verification for High Performance Compilers	Slide
Wyatt	Lloyd	Princeton University	2241719
Meiyi	Ma	Vanderbilt University	2220401	Generative Neural Network Verification in Medical Imaging Analysis	Slide
Ratul	Mahajan	University of Washington	2219863	Specifying and Verifying Network-wide Properties of Dynamic Data Planes	Slide
Konstantinos	Mamouras	Rice University	2319572	A Holistic Approach Towards Online Monitoring of Integrated Circuits and Systems	Slide
Chris	Martens	Northeastern University	2330961	Formal Methods in Software Support for Sound Experimentation	Slide
James	McCann	Carnegie Mellon University	2319182	Knitting Semantics	Slide
Kenneth	McMillan	University of Texas at Austin	2422130
Daniel	Melcer	Northeastern University	2319500	Safe Multi-Agent Reinforcement Learning with Shielding	Slide
Andrew	Miner	Iowa State University	2422175
Stefan	Mitsch	DePaul University	2427581	A Formal Verification and Implementation Stack for Programmable Logic Controllers	Slide
Daniel	Moyer	Vanderbilt University	2220401	Generative Neural Network Verification in Medical Imaging Analysis	Slide
Santosh	Nagarakatte	Rutgers University	2422076	Formally Verified Sandboxing for Packet Processing Programs	Slide
Srinivas	Narayana	Rutgers University	2019302	Formally Verified Sandboxing for Packet Processing Programs	Slide
Peter-Michael	Osera	Grinnell College	2422174
Jens	Palsberg	UCLA	2422170	Synthesizing Verifiable Compiler Toward Fault-Tolerant Quantum Computing	Slide
Bryan	Parno	Carnegie Mellon University	2318953	Simplifying End-to-End Verification of High-Performance Distributed Systems	Slide
Noah	Patton	University of Texas at Austin	2319471	Program Synthesis for Robot Learning from Demonstrations (LfD)	Slide
Ruzica	Piskac	Yale University	2220407/2219995; 2318975	Automatic Discovery and Verification of Database Query Transformations Automating and Synthesizing Parallel Zero-Knowledge Protocols	Slide 1 Slide 2
Xiaokang	Qiu	Purdue University	2319425	Flexible Data Plane Programming	Slide
Sanjay	Rao	Purdue University	2319425	Flexible Data Plane Programming	Slide
Sriram	Sankaranarayanan	University of Colorado Boulder	2422136
Patrick	Schaumont	Worcester Polytechnic Institute	2219810	A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software	Slide
Joseph	Tassarotti	New York University	2319168	The Phlox Framework for Verifying a High-Performance Distributed Database	Slide
Emma	Tosch	Northeastern University	2330961	Formal Methods in Software Support for Sound Experimentation	Slide
David	Walker	Princeton University	2219862	Specifying and Verifying Network-wide Properties of Dynamic Data Planes	Slide
Chao	Wang	University of Southern California	2220345	A Principled Approach to Modeling and Analysis of Hardware Fault Attacks on Embedded Software	Slide
Ren	Wang	Illinois Institute of Technology	2319243	Towards Verified Robustness and Safety in Power System-Informed Neural Networks	Slide
Xiao	Wang	Northwestern University	2318975	Automating and Synthesizing Parallel Zero-Knowledge Protocols	Slide
Xinyu	Wang	University of Michigan	2318937	Synthesizing Semantic Checkers for Runtime Verification of Production Distributed Systems	Slide
Dianxiang	Xu	University of Missouri - Kansas City	2318891	SMT-Based Reachability Analyzer of NGAC Policies	Slide
Kaidi	Xu	Drexel University	2319242	Towards Verified Robustness and Safety in Power System-Informed Neural Networks	Slide
Mengjia	Yan	MIT	2422052
Kaiyuan	Yang	Rice University	2319572	A Holistic Approach Towards Online Monitoring of Integrated Circuits and Systems	Slide
Cunxi	Yu	University of Maryland, College Park	2349461	DeepSmith: Scheduling with Quality Guarantees for Efficient DNN Model Execution	Slide
Zhen	Zhang	Utah State University	2422206
Zhiru	Zhang	Cornell University	2019306	DeepSmith: Scheduling with Quality Guarantees for Efficient DNN Model Execution	Slide

Note: "Slide" w/o url indicates receipt of poster but not slide. Numbers in italics indicate those with awarded in 2024 for which no poster/slide submission was mandated.

Aspiring PIs *Back to Current PIs*
First Name	Last Name	Affiliation	Slide
Tomas	Cerny	University of Arizona	Slide
Amr	Elsayed	University of Arizona	Slide
Lu	Feng	University of Virginia
Milos	Gligoric	The University of Texas at Austin	Slide
Jorge	Gonzalez	Florida Atlantic University	Slide
Ben	Greenman	University of Utah	Slide
Lipsy	Gupta	Kansas State University	Slide
Sankha	Guria	University of Kansas	Slide
Xudong	He	Florida International University	Slide
Andrew	Hirsch	University at Buffalo	Slide
Khaza Anuarul	Hoque	University of Missouri-Columbia	Slide
Konstantinos	Kallas	University of California, Los Angeles	Slide
Sarfraz	Khurshid	University of Texas at Austin	Slide
Martin	Kong	The Ohio State University	Slide
Morteza	Lahijanian	University of Colorado Boulder	Slide
Konstantin	Laufer	Loyola University Chicago	Slide
Eric	Mercer	Brigham Young University	Slide
Ali	Mili	NJIT	Slide
Margaret	Myers	The University of Texas @ Austin	Slide
Vijay	Nagarajan	University of Utah	Slide
Luan	Nguyen	University of Dayton	Slide
Sreepathi	Pai	University of Rochester	Slide
Phu	Phung	University of Dayton	Slide
Swarn	Priya	Virginia Tech	Slide
Rahul	Purandare	University of Nebraska–Lincoln	Slide
Ivan	Ruchkin	University of Florida	Slide
Gokarna	Sharma	Kent State University	Slide
Elena	Sherman	Boise State University	Slide
Gagandeep	Singh	UIUC
Carol	Smidts	The Ohio State University	Slide
Sudarshan	Srinivasan	North Dakota State University
Jianwen	Su	Univ of California, Santa Barbara	Slide
Cheng	Tan	Northeastern University	Slide
Saeid	Tizpaz-Niari	University of Texas at El Paso	Slide
Robert	van de Geijn	The University of Texas @ Austin	Slide
Nikolaos	Vasilakis	Brown University
Anduo	Wang	Temple University	Slide
Wenxi	Wang	The University of Virginia	Slide
Yu	Wang	University of Florida	Slide
Jian	Xiang	UNC Charlotte
Frank (Weifeng)	Xu	University of Baltimore	Slide
Qianchuan	Ye	University at Buffalo, SUNY	Slide
Hao	Zheng	University of South Florida	Slide