News

• Oct 2023 - Formal Abstractions for Packet Scheduling was recognized as a Distinguished Paper at OOPSLA ‘23. Congratulations, Anshuman, Yunhe, Nate, Tobias, and Dexter!
• Aug 2023 - We are devastated by the sudden loss of Priya Srikumar. Griffin, Rachit, and UW PLSE have written touching blog posts in remembrance.
• Jul 2023 - SpecVerilog: Adapting Information Flow Control for Secure Speculation was accepted at CCS '23. Congratulations, Drew Zagieboylo, Charles Sherk, Andrew C. Myers, and G. Edward Suh!
• Jul 2023 - Formal Abstractions for Packet Scheduling was conditionally accepted at OOPSLA '23. Congratulations, Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, and Dexter Kozen!
• Jun 2023 - Nate Foster received the Robin Milner Young Researcher Award. Congratulations!
• Jun 2023 - Modular Hardware Design with Timeline Types appeared at PLDI '23. Congratulations, Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson!
• Jun 2023 - Cutting the Cake: A Language for Fair Division appeared at PLDI '23. Congratulations, Noah Bertram, Alex Levinson, and Justin Hsu!
• Jun 2023 - Nate Foster served as Program Chair of PLDI ‘23. Congratulations, Nate!
• May 2023 - Alexandra Silva received the Cornell Bowers CIS Research Excellence Award. Congratulations!
• Jan 2023 - A Core Calculus for Equational Proofs of Cryptographic Protocols appeared at POPL '23. Congratulations, Joshua Gancher, Kristina Sojakova, Xiong Fan, Elaine Shi, and Greg Morrisett!
• Jan 2023 - Top-Down Synthesis for Library Learning appeared at POPL '23. Congratulations, Matthew Bowers, Theo X. Olausson, Lionel Wong, Gabriel Grand, Joshua B. Tenenbaum, Kevin Ellis, and Armando Solar-Lezama!
• Jan 2023 - P4Cub: A Little Language for Big Routers appeared at CPP '23. Congratulations, Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, and Nate Foster!
• Jan 2023 - ASN1*: Provably Correct, Non-malleable Parsing for ASN.1 DER appeared at CPP '23. Congratulations, Haobin Ni, Antoine Delignat-Lavaud, Cédric Fournet, Tahina Ramananandro, and Nikhil Swamy!
• Jan 2023 - Andrew Myers served as General Chair of POPL ‘23. Congratulations, Andrew!
• Dec 2022 - Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning was conditionally accepted at OOPSLA '23. Congratulations, Noam Zilberstein, Derek Dreyer, and Alexandra Silva!
• Sep 2022 - Symbolic Execution for Randomized Programs was accepted at OOPSLA '22. Congratulations, Zachary Susag, Sumit Lahiri, Justin Hsu, and Subhajit Roy!
• Aug 2022 - Jialu Bao passed her A exam! Congratulations, Jialu!
• July 2022 - Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu, Subhajit Roy received a disinguished paper award for their paper Data-Driven Invariant Learning for Probabilistic Programs at CAV ‘22. Congratulations!
• Feb 2022 - Hardening Attack Surfaces with Formally Proven Binary Format Parsers was conditionally accepted at PLDI '22. Congratulations, Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta!
• Feb 2022 - A Flexible Type System for Fearless Concurrency was conditionally accepted at PLDI '22. Congratulations, Mae Milano, Joshua Turcotti, and Andrew Myers!
• Feb 2022 - P4BID: Information Flow Control in P4 was conditionally accepted at PLDI '22. Congratulations, Karuna Grewal, Loris D'Antoni, and Justin Hsu!
• Feb 2022 - Kleene Algebra Modulo Theories was conditionally accepted at PLDI '22. Congratulations, Michael Greenberg, Ryan Beckett, and Eric Hayden Campbell!
• Feb 2022 - Leapfrog: Certified Equivalence for Protocol Parsers was conditionally accepted at PLDI '22. Congratulations, Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett!
• Feb 2022 - PDL: A High-Level Hardware Description Language for Processor Pipelines was conditionally accepted at PLDI '22. Congratulations, Drew Zagieboylo, Charles Sherk, Ed Suh, and Andrew Myers!
• Dec 2021 - Haobin Ni passed his A exam! Congratulations, Haobin!
• Dec 2021 - Alexa VanHattum passed her A exam! Congratulations, Alexa!
• Nov 2021 - Pedro H. Azevedo de Amorim passed his A exam! Congratulations, Pedro!
• Sept 2021 - A Separation Logic for Negative Dependence was accepted at POPL '22. Congratulations, Jialu Bao, Marco Gaboardi, Justin Hsu, Joseph Tassarotti!
• Aug 2021 - Nate Foster, Alec Story (alumnus), and Dave Walker (PhD alumnus) received the ICFP Most Influential Paper Award. Congratulations!
• Apr 2021 - Rachit Nigam passed his A exam! Congratulations, Rachit!
• Apr 2021 - Dietrich Geisler passed his A exam! Congratulations, Dietrich!
• Apr 2021 - Edwin Peguero passed his A exam! Congratulations, Edwin!
• Apr 2021 - Cosku Acay passed his A exam! Congratulations, Cosku!
• Apr 2021 - Xiang Long defended his thesis! Congratulations, Xiang!
• Apr 2021 - Ryan Doenges passed his A exam! Congratulations, Ryan!
• Apr 2021 - A Bunched Logic for Conditional Independence was accepted at LICS '21. Congratulations, Jialu Bao, Simon Docherty, Justin Hsu and Alexandra Silva!
• Apr 2021 - Universal Semantics for the Stochastic Lambda-Calculus was accepted at LICS '21. Congratulations, Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden and Michael Roberts!
• Apr 2021 - Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness was accepted at ICALP '21. Congratulations, Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva!
• Apr 2021 - Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s Algorithms was accepted at CAV '21. Congratulations, Anshuman Mohan, Leow Wei Xiang, Aquinas Hobor!
• Apr 21 - Rolph Recto passed his A exam! Congratulations, Rolph!
• Dec 2020 - Jonathan DiLorenzo defended his thesis! Congratulations, Jonathan!
• Aug 2020 - Molly Feldman defended her thesis! Congratulations, Molly!
• Jul 2020 - Drew Zagieboylo passed his A exam! Congratulations, Drew!
• Jul 2020 - Matthew Milano defended his thesis! Congratulations, Matthew!
• May 2020 - Composing programs with μP4 was accepted at SIGCOMM '20. Congratulations, Hardik Soni, Myriana Rifai, Ryan Doenges, Praveen Kumar, Nate Foster!
• Apr 2020 - Michael Roberts passed his A exam! Congratulations, Michael!
• Mar 2020 - Rachit Nigam and Alexa VanHattum were selected as finalists for the Qualcomm Fellowship. Congratulations, Rachit and Alexa!
• Mar 2020 - Alexa VanHattum won the NSF GRFP. Congratulations, Alexa!
• Feb 2020 - Predictable Accelerator Design with Time-Sensitive Affine Types was accepted at PLDI '20. Congratulations, Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Ted Bauer, Yuwei Yi, Apurva Koti, Adrian Sampson, Zhiru Zhang!
• Dec 2019 - Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, and Alexandra Silva received a disinguished paper award at POPL. Congratulations!
• Dec 2019 - First-Order Logic for Flow-Limited Authorization was accepted at CSF '20. Congratulations, Andrew Hirsch, Pedro Amorim, Ethan Cecchetti, Ross Tate and Owen Arden!
• Aug 2019 - Nate Foster and Praveen Kumar received the SIGCOMM best student paper award. Congratulations, Nate and Praveen!
• Aug 2019 - Steffen Smolka defended his thesis! Congratulations, Steffen!
• Aug 2019 - Fabian Muehlboeck defended his thesis! Congratulations, Fabian!
• Owolabi Legunsen will be joining the group in Fall 2020!
• Jul 2019 - Yizhou Zhang defended his thesis! Congratulations, Yizhou!
• Jul 2019 - Isaac Sheff defended his thesis! Congratulations, Isaac!
• Jul 2019 - Andrew Hirsch defended his thesis! Congratulations, Andrew!
• May 2019 - Tom Magrino defended his thesis! Congratulations, Tom!
• Apr 2019 - Beyond Labels: Permissiveness for Dynamic Information Flow Enforcement was accepted at CSF '19. Congratulations, Elisavet Kozyri, Fred Schneider, Andrew Bedford, Josée Desharnais, and Nadia Tawbi!
• Apr 2019 - Using Information Flow to Design an ISA That Controls Timing Channels was accepted at CSF '19. Congratulations, Drew Zagieboylo, Ed Suh, and Andrew Myers!
• Apr 2019 - Drew Zagieboylo received the NDSEG Fellowship. Congratulations!
• Apr 2019 - Eric Campbell received the NSF Fellowship. Congratulations!
• Apr 2019 - SafeP4 was accepted at ECOOP '19. Congratulations, Eric Campbell, Nate Foster, and Matthias Eichholz!
• Mar 2019 - Adrian Sampson received the NSF CAREER. Congratulations!
• Feb 2019 - Scalable Verification of Probabilistic Network Programs was accepted at PLDI '19. Congratulations, Steffen Smolka, Praveen Kumar, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva!
• Aug 2018 - Nate Foster received the SIGCOMM Rising Star. Congratulations!