News Openings People Research Courses Seminars

Subscribe to the PurPL mailing list for up-to-date announcements on our weekly seminar series.

Upcoming Seminars

Wenxin Deep Learning Model Reengineering: An Exploratory Case Study on Computer Vision Zoom (join)

Past Seminars

Xin and Efe Exploiting Input Sanitization for Regex Denial of Service Zoom
Jiannan Wang EAGLE: Creating Equivalent Graphs to Test Deep Learning Libraries Zoom
Favonia Logarithm and Program Testing Zoom
Yuan Tian Interactive SQL Query Synthesis via Structured Explanations Zoom
Ian Sweet Toward a Probabilistically Oblivious Language for Secure Multiparty Computation Zoom
Akash Lal Learning-based Concurrency Testing Zoom
Qianchuan Scrap your boilerplate definitions in 10 lines of Ltac! Zoom
Nan Jiang CURE: Code-Aware Neural Machine Translation for Automatic Program Repair Zoom
Qianchuan Ye Oblivious Algebraic Data Types Zoom
Chris Wagner Modeling and Verification for (Multi-)Parameterized Systems Zoom
Kirshanthan Sundararajah Skewing Recursion for Fun and Profit Zoom
Kia Rahmani Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring Zoom
Pedro da Costa Abreu Translating GADTs from OCaml to Coq Zoom
Raghav Malik Vectorizing Secure Evaluation of Decision Forests Zoom
Charitha Saumya Gusthinna Waduge Merging Similar Control Flow for SIMT Divergence Reduction in GPGPUs Zoom
Yanjun Wang Reasoning About Recursive Tree Traversals Zoom
Qianchuan Oblivious Algebraic Data Types Zoom
Chris Wagner Bounded Verification of Doubly-Unbounded Parameterized Systems Zoom
Peter Goodman Dr. Lojekyll - The Mr. Hyde of Datalog Engines Zoom
Pedro Abreu A Mixed Embedding of OCaml GADTs in Coq Zoom
Chaitanya Parallel Gibbon: reconciling parallelism and dense data representations Zoom
Zhe Zhou Data-Driven Abductive Inference of Library Specifications Zoom
Kia Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis Zoom
Nouraldin Jaber QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems Zoom
Raghav Malik Vectorized Secure Evaluation of Decision Forests Zoom
Charitha Saumya CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs Zoom
Caleb Helbling Solving the Funarg Problem with Static Types Zoom
Walt Woods (Galois) Understanding de facto formats through grammar inference, and why reinforcement learning might help Zoom
Aviral Goel On the Design, Implementation, and Use of Laziness in R Zoom
Supun Abeysinghe Generative Programming for Constructing Efficient End-to-End Data Science Pipelines Zoom
Elena Glassman Increasing the Power of [Human+Program Synthesis] through Interface Design Zoom
Rob Dickerson Relational Reasoning with Specifications Zoom
Roopsha Samanta MANTIS: Semantics-driven Inductive Program Synthesis Zoom
James Bornholt Program Synthesis in the Small Zoom
Kirshanthan Sundararajah PolyRec: Composable, Sound Transformations of Nested Recursion and Loops Zoom
Ilya Sergey CoSplit: Practical Smart Contract Sharding with Static Program Analysis Zoom
Shaz Qadeer Reifying Concurrent Programs Zoom
Chris Wagner and Nouraldin Jaber Discover[i] Zoom
Anmol Sahoo Replicated Datatypes Zoom
Pedro Abreu Freer Monads LWSN 3102A/B
Qianchuan Ye LWSN 3102A/B
Logan Kulinski LWSN 3102A/B
Eric Bond LWSN 3102A/B
Chris Wagner SQLizer LWSN 3102A/B
Nouralidn Jaber Discover[i] LWSN 3102A/B
Rob Dickerson Automated API Migration LWSN 3102A/B
Fei Wang Learn 2QBF CEGAR Solver Heuristics via Graph Neural Networks LWSN 3102A/B
Yuanjing Shi Building transactional support on top of Apache Cassandra LWSN 3102A/B
Laith Saed Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees LWSN 3102A/B
Dan Zheng Swift for TensorFlow, a first-class language for machine learning LWSN 3102A/B
Youyou Cong Handling Delimited Continuations with Dependent Types LWSN 3102A/B
Rishabh Singh Neural Meta Program Synthesis LWSN 3102A/B
Gowtham Kaki Safe Replication for Bounded Concurrency Verification LWSN 3102A/B
MWPLS Break LWSN 3102A/B
David Perry Semantic Clustering of Programming Assignments via Model Counting and Value Variations LWSN 3102A/B
Kirshanthan Sundararajah Scheduling Transformations and Dependence Tests for Recursive Programs LWSN 3102A/B
POPL Rebuttal Round Table LWSN 3102A/B
Guannan Wei Refunctionalization of Abstract Abstract Machine LWSN 3102A/B
Fei Wang Lantern, a Machine Learning framework built on Delimited Continuations and Staging LWSN 3102A/B
David Perry Semantic Clustering of Programming Assignments via Model Counting and Value Variations LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Open Open TBD
Open Open LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Eric Bond Quantum Programming - Theory and Practice LWSN 3102A/B
Nathan Burow CFIXX: Object Type Integrity WANG 1004
Cancelled Cancelled LWSN 3102A/B
Kenneth Adam Miller Probabilistically Convergent Minimal Superset Disassembly WANG 1004
Fei Wang Learning SAT solver heuristics with Deep Reinforcement Learning in the style of Alpha(Go) Zero LWSN 3102A/B
Kiarash Rahmani Anomalie-guided Incremental Program Repair WANG 1004
Guannan Wei Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce LWSN 3102A/B
Ben Delaware Spring 2018 Kickoff LWSN 3102A/B
Shengwei An Robust Example-based Synthesis WANG 1004
Thomas Wahl Stabilizing Numeric Programs against Platform Uncertainties LWSN 3102A/B
Dan Zheng DLVM: A Compiler Framework for Deep Learning DSLs WANG 1004
Andrew Appel Verifiable C, a logic and tool for deductive verification of the correctness of C programs LWSN 3102A/B
Everybody Ongoing Work Roundtable WANG 1004
James Decker Flare: A Brief Look into Optimizing UDFs in Spark LWSN 3102A/B
Kanjing Huang DRYADSYNTH : A Concolic SyGuS Solver WANG 1004
Laith Sakka Tree Fuser: A Framework for Analyzing and Fusing General Recursive Tree Traversals LWSN 3102A/B
Cyrus Omar Toward Semantic Foundations for Live Programming Environments LWSN 3102A/B
Yanjun Wang A Decidable Logic for Tree Data-Structures with Measurements WANG 1004
Kenneth Adam Miller The Case for Quantum Computing: Basics Techniques and Applications LWSN 3102A/B
Nikhil Hegde SPIRIT: A Framework for Creating Distributed Recursive Tree Applications EE 317
Gowtham Kaki Mergeable Types LWSN 3102A/B
Suyash Optimizing Recursive Task Parallel Programs LWSN 3102A/B
Zach Tatlock Automated Formal Verification for Border Gateway Protocol Configurations LWSN 3102
Fei Dependent Types for Scala LWSN 3102
James and Greg Flare: Optimizing UDFs in Spark LWSN 3102A/B
Krish Locality Transformations for Nested Recursive Iteration Spaces MSEE 239
Leo Osvald Gentrification Gone too Far? Affordable 2nd-Class Values for Fun and (Co-)Effect LWSN 3102A/B
Nathan H Burow Context Flow Integrity LWSN 3102A/B
Kia Rahmani Synthesis of Runtime Systems for Weak Consistency Enforcement LWSN 3102A/B
Scott Carr Optimizations in the Rust Compiler EE 317
Tiark, Ben, Roopsha POPL 2017 LWSN 3102A/B
Ben Spring Semester Kickoff HAAS 111