Home

Welcome to the UCSB PL Lab Reading Group

We meet each week to discuss papers, projects, or interesting topics in programming languages. Here are our most recent discussions:

Posts

• 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

…or you can find more in the archives.