News Openings People Research Courses Seminars

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

Upcoming Seminars

Past Seminars

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