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