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