Infecting Generative AI with Viruses - David A. Noever and Forrest McKee

08/15/25: An LLM Agent for Functional Bug Detection in Network Protocols with Mingwei Zheng

08/01/25: Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification with Kaiyu Yang

07/25/25: RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types with Michael Sammler

06/20/25: TypeScript Types Can Run DOOM with Dimitri Mitropoulos

06/13/25: Gradual Verification with Jenna DiVincenzo

05/07/25: Exploring Zero-Shot Prompting for Generating Data Format Descriptions, Prashant Anantharaman

04/18/25: Descriptive Complexity with Ramit Das

03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker

04/04/25: Constrained Decoding for Code Language Models via Efficient Left and Right Quotienting of Context-Sensitive Grammars with Daniel Melcer

03/08/25: An Introduction to LiquidHaskell with Michael H. Borkowski

01/10/25: Combining Causal Inference and Knowledge Graphs with Brook Santangelo and John Sterrett

01/04/25: Hacking GenAI with LLM Red Teaming and Beyond with Gaspard Baye

11/30/24: LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers with Navid Hashemi

11/17/24: When Static Analysis Meets Large Language Models with Chengpeng Wang

10/05/24: Abuse-Resistant Location Tracking: Balancing Privacy and Safety in the Offline Finding Ecosystem with Harry Eldridge

09/28/24: Hacking an LLM Using the Z3 Theorem Prover with Ian Bicking

09/07/24: Shaken, not Stirred -- Automated Discovery of Subtle Attacks on Protocols using Mix-Nets with Dhekra Mahmoud

08/25/24: An Introduction to Lurk with Matej Panciak

08/17/24: Efficient Synthesis of Symbolic Distributed Protocols by Sketching with Derek Egolf