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

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