News People Research Courses Seminars

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

Upcoming Seminars

Guannan Wei Precise Reasoning with Structured Heaps and Collective Operations à la Map/Reduce LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Open Open LWSN 3102A/B
Open Open WANG 1004
Open Open LWSN 3102A/B
Open Open TBD
Open Open LWSN 3102A/B
Open Open WANG 1004

Past Seminars

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