Archives

Here you can find all our previous discussions:

Oxide: The Essence of Rust - November 30, 2020
Temporal Verification of Android Apps - November 16, 2020
Foundations of Race Logic - November 9, 2020
Wire Sorts - November 2, 2020
Hardware Decompilation - October 26, 2020
Automating Problem Creation - October 19, 2020
C and Rust - October 12, 2020
Semantic Code Search via Equational Reasoning - May 21, 2020
Datalog + SMT for Static Analysis - May 14, 2020
Predictable Accelerator Design with Time-Sensitive Affine Types - May 7, 2020
What Can GC Compute Efficiently? A Language for Heap Assertions at GC Time - April 23, 2020
Template-Based Circuit Understanding - April 16, 2020
Incorrectness Logic - April 9, 2020
A Just-in-Time Compiler for Verilog - March 6, 2020
Executable Formal Semantics for the Posix Shell - February 21, 2020
Lawton's Practice Job Talk - February 14, 2020
Build Systems à la Carte - February 7, 2020
Learning Stateful Preconditions Modulo a Test Generator - January 31, 2020
Scaling Model Checking for Test Generation using Dynamic Inference - January 24, 2020
Satisfiability Solvers are Static Analyzers - January 17, 2020
Automating Induction with an SMT Solver - November 14, 2019
Bonsai: Synthesis-based Reasoning for Type Systems - November 7, 2019
Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions - October 31, 2019
Weird machines, exploitability, and provable unexploitability - October 24, 2019
Automatically Finding Patches Using Genetic Programming - October 17, 2019
Feedback-Directed Random Test Generation - October 3, 2019
DDFlow: Visualized Declarative Programming for Heterogeneous IoT Networks - June 6, 2019
Fixpoint Reuse for Incremental JavaScript Analysis - May 30, 2019
Lawton's PhD Proposal - May 16, 2019
Second-order constraints in dynamic invariant inference - April 18, 2019
Incremental Overload Resolution in Object-Oriented Programming Languages - February 28, 2019
Braid is Undecidable - February 21, 2019
The Temporal Logic of Programs - February 14, 2019
A Type Theory for Memory Allocation and Data Layout - February 7, 2019
Call-to-Reference Context Translation via Constraint-Guided CFL-Reachability - January 31, 2019
Differentiable Abstract Interpretation for Provably Robust Neural Networks - January 24, 2019
Root Cause of Blame Contracts for Intersection and Union Types - November 19, 2018
Program Synthesis using Conflict-Driven Learning - November 5, 2018
The Next 700 Programming Languages - October 29, 2018
Fast Static Analysis of C++ Virtual Function Calls - October 22, 2018
Rational Types - October 15, 2018
StreamIt - October 8, 2018
Type and Effect Systems - October 1, 2018
Variance and F-Bounded Polymorphism - September 24, 2018
Computational Lambda Calculus and Monads - September 17, 2018
A SQL DSL in Scala - September 10, 2018
A General Path-Based Representation for Predicting Program Properties - September 3, 2018
Reflections on Trusting Trust - August 27, 2018
New Directions for CS162 - August 20, 2018
Formalizing the Code - August 13, 2018
Chopped Symbolic Execution - July 30, 2018
Monad Transformers and Modular Interpreters - July 23, 2018
Comonads - July 16, 2018
Abstract Semantic Differencing via Speculative Correlation - July 9, 2018
Reactive Systems - July 2, 2018
DySy: Dynamic Symbolic Execution for Invariant Inference - June 25, 2018
Compiler Validation via Equivalence Modulo Inputs - June 18, 2018
Parsing with Derivatives - May 14, 2018
Memory safety without garbage collection for embedded applications - May 7, 2018
Abstract Program Slicing: From Theory towards an Implementation - April 30, 2018
Chain: Tasks and Channels for Reliable Intermittent Programs - April 23, 2018
Enforcing High-Level Protocols in Low-Level Software - April 9, 2018
Compiling to Categories - March 5, 2018
Selective Control-Flow Abstraction via Jumping - February 26, 2018
Dependent Object Types: Towards a foundation for Scala's type system - February 12, 2018
The nesC Language - February 5, 2018
Optimal Dyck Reachability for Data-Dependence and Alias Analysis - January 29, 2018
Lab-Wide Review of POPL - January 22, 2018
Mehmet's Practice MAE - January 18, 2018
On the Language Design of Golang - November 30, 2017
The Zarf ISA Static Semantics - November 16, 2017
It's Only Illegal If You Get Caught: Breaking Invariants and Getting Away with It - November 9, 2017
Securing the SSA Transform - November 2, 2017
Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I - October 26, 2017
Monoids: Theme and Variations - October 19, 2017
Automatic Inference of Necessary Preconditions - September 28, 2017
A Type Theory for Memory Allocation and Data Layout - August 24, 2017
Outline of a Mathematical Theory of Computation - August 10, 2017
Running the Manual: An Approach to High-Assurance Microkernel Development - July 20, 2017
Normalization in the Simply-Typed λ-calculus - July 13, 2017
Compiling without continuations - June 29, 2017
On Universal Construction and (co-)Products - June 22, 2017
Kyle's PhD Defense - June 12, 2017
The operating system: should there be one? - June 2, 2017
Visual Discovery at Pinterest - May 27, 2017
Idris - Systems Programming Meets Full Dependent Types - May 18, 2017
Teaching Programming Languages by Experimental and Adversarial Thinking - May 11, 2017
Program Analysis Using Weighted Pushdown Systems - May 4, 2017
Coeffects: Context-aware programming languages - April 28, 2017
Typed Architectures: Architectural Support for Lightweight Scripting - April 25, 2017
A Typed Interface for Garbage Collection - April 16, 2017