News Openings People Research Courses Seminars

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

Upcoming Seminars

Pedro da Costa Abreu Translating GADTs from OCaml to Coq Zoom (join)

Past Seminars

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
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
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