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