|
Qianchuan
|
Oblivious Algebraic Data Types
|
Zoom
|
|
Chris Wagner
|
Bounded Verification of Doubly-Unbounded Parameterized Systems
|
Zoom
|
|
Peter Goodman
|
Dr. Lojekyll - The Mr. Hyde of Datalog Engines
|
Zoom
|
|
Pedro Abreu
|
A Mixed Embedding of OCaml GADTs in Coq
|
Zoom
|
|
Chaitanya
|
Parallel Gibbon: reconciling parallelism and dense data representations
|
Zoom
|
|
Zhe Zhou
|
Data-Driven Abductive Inference of Library Specifications
|
Zoom
|
|
Kia
|
Multi-modal Program Inference: a Marriage of Pre-trained Language Models and Component-based Synthesis
|
Zoom
|
|
Nouraldin Jaber
|
QuickSilver: Modeling and Parameterized Verification for Distributed Agreement-Based Systems
|
Zoom
|
|
Raghav Malik
|
Vectorized Secure Evaluation of Decision Forests
|
Zoom
|
|
Charitha Saumya
|
CFM: SIMT Thread Divergence Reduction by Melding Similar Control-Flow Regions in GPGPU Programs
|
Zoom
|
|
Caleb Helbling
|
Solving the Funarg Problem with Static Types
|
Zoom
|
|
Walt Woods (Galois)
|
Understanding de facto formats through grammar inference, and why reinforcement learning might help
|
Zoom
|
|
Aviral Goel
|
On the Design, Implementation, and Use of Laziness in R
|
Zoom
|
|
Supun Abeysinghe
|
Generative Programming for Constructing Efficient End-to-End Data Science Pipelines
|
Zoom
|
|
Elena Glassman
|
Increasing the Power of [Human+Program Synthesis] through Interface Design
|
Zoom
|
|
Rob Dickerson
|
Relational Reasoning with Specifications
|
Zoom
|
|
Roopsha Samanta
|
MANTIS: Semantics-driven Inductive Program Synthesis
|
Zoom
|
|
James Bornholt
|
Program Synthesis in the Small
|
Zoom
|
|
Kirshanthan Sundararajah
|
PolyRec: Composable, Sound Transformations of Nested Recursion and Loops
|
Zoom
|
|
Ilya Sergey
|
CoSplit: Practical Smart Contract Sharding with Static Program Analysis
|
Zoom
|
|
Shaz Qadeer
|
Reifying Concurrent Programs
|
Zoom
|
|
Chris Wagner and Nouraldin Jaber
|
Discover[i]
|
Zoom
|
|
Anmol Sahoo
|
Replicated Datatypes
|
Zoom
|
|
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
|
|
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
|
|
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
|
|
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
|