All PLSE Meetings

Aggregated PLSE schedule.

Date	Who	What
Sun, Mar 8 2:30pm-3:30pm	- Room: CSE 203	Programming with Constraints Reading Group No meeting (Visit days)
Tue, Jun 23 11:30am-12:30pm	James W Room: CSE 203	Underground Reading Group 100 Impossibility Proofs for Distributed Computing
Wed, Jun 24 11:00am-12:00pm	James W Room: CSE 203	Underground Reading Group Separation Logic: A Logic for Shared Mutable Data Structures Installing VST. Coq 8.4pl4. CompCert 2.4. VST 1.5. VST manual
Thu, Jun 25 11:00am-12:00pm	James W Room: CSE 203	Underground Reading Group Elimination with a motive
Tue, Jun 30 11:30am-12:30pm	Naveen Room: CSE 203	Underground Reading Group Viewstamped Replication Revisted
Wed, Jul 1 11:00am-12:00pm	Doug Room: CSE 203	Underground Reading Group Program Logics for Certified Compilers, Part 1
Tue, Jul 7 11:30am-12:30pm	Doug Room: CSE 203	Underground Reading Group Knowledge and common knowledge in a distributed environment
Tue, Jul 14 11:30am-12:30pm	Pavel Room: CSE 203	Underground Reading Group Unreliable failure detectors for reliable distributed systems
Wed, Jul 15 11:00am-12:00pm	— Room: CSE 203	Underground Reading Group Program Logics for Certified Compilers, Part 2
Thu, Jul 16 11:00am-12:00pm	— Room: CSE 203	Underground Reading Group Eliminating Dependent Pattern Matching
Tue, Jul 21 11:30am-12:30pm	Anna Room: CSE 203	Underground Reading Group Implementing remote procedure calls
Wed, Jul 22 11:00am-12:00pm	— Room: CSE 203	Underground Reading Group (no meeting due to James being in the zone)
Thu, Jul 23 11:00am-12:00pm	— Room: CSE 203	Underground Reading Group Observational equality, now!
Tue, Jul 28 11:30am-12:30pm	Ellis Room: CSE 203	Underground Reading Group Zab High-performance broadcast for primary-backup systems
Wed, Jul 29 11:00am-12:00pm	— Room: CSE 303	Underground Reading Group Program Logics for Certified Compilers, Part 3
Thu, Jul 30 2:30pm-3:30pm	— Room: CSE 203	Underground Reading Group Innovations in computational type theory using Nuprl
Tue, Aug 4 11:30am-12:30pm	Tom! Room: CSE 203	Underground Reading Group A Logic of Authentication
Wed, Aug 5 11:00am-12:00pm	— Room: CSE 203	Underground Reading Group Install VST
Thu, Aug 6 2:30pm-3:30pm	— Room: CSE 203	Underground Reading Group Intuitionistic Type Theory
Tue, Aug 11 11:30am-12:30pm	Brandon Room: CSE 203	Underground Reading Group Managing Update Conflicts in Bayou, a weakly connected replicated storage system
Thu, Aug 13 2:30pm-3:30pm	— Room: CSE 203	Underground Reading Group A Simplification of Girard’s Paradox
Tue, Aug 18 11:30am-12:30pm	— Room: CSE 203	Underground Reading Group no meeting this week
Thu, Aug 20 2:30pm-3:30pm	— Room: CSE 203	Underground Reading Group Chapter 1 of Advanced Topics in Types and Programming Languages by Pierce
Tue, Aug 25 11:30am-12:30pm	Katelin Room: CSE 203	Underground Reading Group End-to-end arguments in system design
Thu, Aug 27 2:30pm-3:30pm	— Room: CSE 203	Underground Reading Group A Polymorphic Modal Type System for Lisp-Like Multi-Staged Languages
Tue, Sep 1 11:30am-12:30pm	James W Room: CSE 203	Underground Reading Group Self-stabilizing systems in spite of distributed control
Wed, Sep 30 3:30pm-4:30pm	Everyone Room: CSE 203	590P: PL Reading Group Paper Selection
Thu, Oct 1 2:30pm-3:30pm	James W Room: CSE 203	Underground Reading Group In Search of Types (optional) Organizational meeting
Fri, Oct 2 3:30pm-4:30pm	Everyone Room: CSE 203	PLSE Group Meeting 2-minute madness
Mon, Oct 5 3:30pm-4:30pm	Everyone Room: CSE 203	590N: SE Reading Group Select papers
Tue, Oct 6 2:30pm-3:30pm	Everyone Room: CSE 203	Programming with Constraints Reading Group Select papers
Wed, Oct 7 3:30pm-4:30pm	Bill, Sam, Calvin Room: CSE 203	590P: PL Reading Group The Next 700 Programming Languages
Thu, Oct 8 2:30pm-3:30pm	James W Room: CSE 674	Underground Reading Group Skim introduction; Read Chapter 1, Sections 1 through 7 For background on the simply typed lambda calculus, see Chapter 9 of Pierce’s Types and Programming Languages (there is a copy in the lab and several of us have copies).
Fri, Oct 9 2:30pm-3:20pm	Daniel von Dincklage (Google) Room: EEB 037	PLSE Group Meeting Yedalog
Mon, Oct 12 3:30pm-4:30pm	Daryl Zuniga Room: CSE 203	590N: SE Reading Group The Emperor’s Old Clothes (C.A.R. Hoare Turing Award Speech)
Tue, Oct 13 2:30pm-3:30pm	Alex S and Calvin Room: CSE 203	Programming with Constraints Reading Group Nondeterministic Algorithms
Wed, Oct 14 3:30pm-4:30pm	Nate, Talia, James Room: CSE 203	590P: PL Reading Group Abstracting Abstract Machines Matt Might has good blog posts on CEK machines and CESK machines
Thu, Oct 15 2:30pm-3:30pm	Konne Room: CSE 203	Underground Reading Group Finish Chapter 1
Fri, Oct 16 3:30pm-4:30pm	Konstantin, Maaz Room: CSE 203	PLSE Group Meeting Affiliates Practice Talks
Mon, Oct 19 3:30pm-4:30pm	Nate Yazdani Room: CSE 203	590N: SE Reading Group MultiSE: Multi-Path Symbolic Execution using Value Summaries (FSE ‘15) Enhancing Symbolic Execution with Veritesting
Tue, Oct 20 2:30pm-3:30pm	- Room: CSE 203	Programming with Constraints Reading Group No meeting (Affiliates)
Wed, Oct 21 3:30pm-4:30pm	Brandon H., John Room: CSE 203	590P: PL Reading Group Incremental Computation with Names
Thu, Oct 22 2:30pm-3:30pm	Pavel Room: CSE 203	Underground Reading Group Re-read 1.12 on equality Take a look at the first part of Pavel’s blog post on equality.
Fri, Oct 23 3:30pm-4:30pm	Brian Burg Room: CSE 203	PLSE Group Meeting Explaining Visual Changes in User Interfaces (UIST’15 Practice Talk, 1/2 slot available)
Mon, Oct 26 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	590N: SE Reading Group Automated Structure Generation: Refuting Common Wisdom (ICSE ‘15)
Tue, Oct 27 2:30pm-3:30pm	Talia and Julie Room: CSE 203	Programming with Constraints Reading Group Modular Synthesis of Sketches Using Models
Wed, Oct 28 3:30pm-4:30pm	Martin Monperrus Room: CSE 203	590P: PL Reading Group Latest Results on Automatic Software Repair Automatic software repair is the process of fixing software bugs automatically. This is a recent and active research area in the software engineering community. Before having a large impact on practice, research tries to understand the fundamental strengths and weaknesses of current repair algorithms. This talk presents the results of a recent experiment on repairing 224 real Java bugs from open source projects.
Thu, Oct 29 2:30pm-3:30pm	Doug Woooooos Room: CSE 203	Underground Reading Group Chapter 2 through and including 2.3
Fri, Oct 30 3:30pm-4:30pm	- Room: CSE 203	PLSE Group Meeting No meeting
Mon, Nov 2 3:30pm-4:30pm	Michael Ernst + Zach Tatlock Room: CSE 203	590N: SE Reading Group An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems
Tue, Nov 3 2:30pm-3:30pm	Dominik and Doug Room: CSE 203	Programming with Constraints Reading Group Functional Reactive Animation
Wed, Nov 4 3:30pm-4:30pm	Alex S., Doug, Spencer, Daryl Room: CSE 203	590P: PL Reading Group Partial Evaluation of Computation Process: An Approach to a Compiler-Compiler
Thu, Nov 5 2:30pm-3:30pm	John Toman Room: CSE 203	Underground Reading Group Re-read 2.2 and 2.3
Fri, Nov 6 3:30pm-4:30pm	James Wilcox / Stuart Pernsteiner Room: CSE 203	PLSE Group Meeting Array Shadow State Compression for Precise Dynamic Race Detection Crust: A Bounded Verifier for Rust
Mon, Nov 9 3:30pm-4:30pm	James Wilcox Room: CSE 203	590N: SE Reading Group Empirical study towards a leading indicator for cost of formal software verification
Tue, Nov 10 2:30pm-3:30pm	Jared, Eric, Chandrakana Room: CSE 203	Programming with Constraints Reading Group Programming with Enumerable Sets of Structures
Wed, Nov 11 3:30pm-4:30pm	– Room: CSE 203	590P: PL Reading Group No meeting (Veterans Day)
Thu, Nov 12 2:30pm-3:30pm	Pavel Panchekha Room: CSE 203	Underground Reading Group 2.4–2.5
Fri, Nov 13 3:30pm-4:30pm	Brandon Myers Room: CSE 203	PLSE Group Meeting Bringing Query Processing into High Performance Languages
Mon, Nov 16 3:30pm-4:30pm	Amanda Swearngin + Doug Woos Room: CSE 203	590N: SE Reading Group Why Good Developers Write Bad Code Cowboys, Ankle Sprains, and Keepers of Quality
Tue, Nov 17 2:30pm-3:30pm	James W and John Room: CSE 203	Programming with Constraints Reading Group Predicting Learnt Clauses Quality in Modern SAT Solvers
Wed, Nov 18 3:30pm-4:30pm	Chandra, Stuart, Konne Room: CSE 203	590P: PL Reading Group Verified Correctness and Security of OpenSSL HMAC see also the SHA256 paper
Thu, Nov 19 2:30pm-3:30pm	– Room: CSE 203	Underground Reading Group No meeting (PLDI deadline)
Fri, Nov 20 3:30pm-4:30pm	Alan Borning Room: CSE 203	PLSE Group Meeting Constraints for Interactive Systems: from ThingLab to Wallingford
Mon, Nov 23 3:30pm-4:30pm	Julie Newcomb Room: CSE 203	590N: SE Reading Group Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (ICSE ‘15)
Tue, Nov 24 2:30pm-3:30pm	Chenglong Room: CSE 203	Programming with Constraints Reading Group Flapjax: A Programming Language for Ajax Applications
Wed, Nov 25 3:30pm-4:30pm	– Room: CSE 203	590P: PL Reading Group No meeting (Thanksgiving)
Thu, Nov 26 2:30pm-3:30pm	– Room: CSE 203	Underground Reading Group No meeting (Thanksgiving)
Fri, Nov 27 3:30pm-4:30pm	– Room: CSE 203	PLSE Group Meeting No meeting (Thanksgiving)
Mon, Nov 30 3:30pm-4:30pm	Colin Scott Room: CSE 203	590N: SE Reading Group Dynamic Generation of Likely Invariants for Multithreaded Programs (ICSE ‘15)
Tue, Dec 1 2:30pm-3:30pm	Stuart and Nate Room: CSE 203	Programming with Constraints Reading Group Curry, a functional logic programming language
Wed, Dec 2 3:30pm-4:30pm	Jared, Eric M. Room: CSE 203	590P: PL Reading Group Pilsner: A Compositionally Verified Compiler for a Higher-Order Imperative Language
Thu, Dec 3 2:30pm-3:30pm	James W Room: CSE 203	Underground Reading Group 2.6–2.9
Fri, Dec 4 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	PLSE Group Meeting Data Structure Synthesis (quals talk)
Mon, Dec 7 3:30pm-4:30pm	Spencer Pearson Room: CSE 203	590N: SE Reading Group Fuzzing with Code Fragments
Tue, Dec 8 2:30pm-3:30pm	Alex P and James B Room: CSE 203	Programming with Constraints Reading Group On Counterexample Guided Quantifier Instantiation for Synthesis in CVC4
Wed, Dec 9 3:30pm-4:30pm	Chenglong, Alex P., Pavel Room: CSE 203	590P: PL Reading Group Efficient Synthesis of Probabilistic Programs
Thu, Dec 10 2:30pm-3:30pm	James W Room: CSE 203	Underground Reading Group finish chapter 2
Fri, Dec 11 3:30pm-4:30pm	Incarnate Team Room: CSE 203	PLSE Group Meeting Closing the 3D Printing Error Loop
Mon, Jan 4 3:30pm-4:30pm	Everyone Room: CSE 203	590N: SE Reading Group Paper Selection
Tue, Jan 5 2:30pm-3:30pm	Everyone Room: CSE 203	Programming with Constraints Reading Group Select papers and schedule tool sessions
Wed, Jan 6 3:30pm-4:30pm	Everyone Room: CSE 203	590P: PL Reading Group Paper Selection
Thu, Jan 7 2:30pm-3:30pm	James W Room: CSE 624	Underground Reading Group Organizational meeting
Fri, Jan 8 3:30pm-4:30pm	Nadia Polikarpova (MIT) Room: CSE 203	PLSE Group Meeting Program Synthesis from Refinement Types
Mon, Jan 11 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	590N: SE Reading Group Hey, You Have Given Me Too Many Knobs!
Tue, Jan 12 2:30pm-3:30pm	Calvin and Talia Room: CSE 203	Programming with Constraints Reading Group Integrating constraint satisfaction techniques with complex object structures
Wed, Jan 13 3:30pm-4:30pm	Bartosz and Marisa Room: CSE 203	590P: PL Reading Group Comprehending Monads
Thu, Jan 14 2:30pm-3:30pm	Doug Room: CSE 203	Underground Reading Group Observational Equality Now
Fri, Jan 15 3:30pm-4:30pm	James W. Room: CSE 203	PLSE Group Meeting Planning for Change in a Formal Verification of the Raft Consensus protocol (CPP practice talk)
Mon, Jan 18 3:30pm-4:30pm	No meeting Room: CSE 203	590N: SE Reading Group MLK Day
Tue, Jan 19 2:30pm-3:30pm	Sam and Alex Room: CSE 203	Programming with Constraints Reading Group Constraints as Control
Wed, Jan 20 3:30pm-4:30pm	Ben and John Room: CSE 203	590P: PL Reading Group Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis With Unbounded Access Paths
Thu, Jan 21 2:30pm-3:30pm	— Room: CSE 624	Underground Reading Group TBD
Fri, Jan 22 3:30pm-4:30pm	- Room: CSE 203	PLSE Group Meeting No meeting (POPL)
Mon, Jan 25 3:30pm-4:30pm	Julie Newcomb Room: CSE 203	590N: SE Reading Group FlexJava
Tue, Jan 26 2:30pm-3:30pm	Alan Room: CSE 203	Programming with Constraints Reading Group Wallingford: Toward a Constraint Reactive Programming Language For background see Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages
Wed, Jan 27 3:30pm-4:30pm	Doug and Pavel Room: CSE 203	590P: PL Reading Group Dependent Types and Multi-Monadic Effects in F*
Thu, Jan 28 2:30pm-3:30pm	Alex Room: CSE 624	Underground Reading Group A Formulae-as-Types Notion of Control
Fri, Jan 29 3:30pm-4:30pm	Grigory Fedyukovich Room: CSE 203	PLSE Group Meeting Automated Incremental Software Verification
Mon, Feb 1 3:30pm-4:30pm	Spencer Pearson Room: CSE 203	590N: SE Reading Group How Developers Search for Code: A Case Study
Tue, Feb 2 2:30pm-3:30pm	Pavel Room: CSE 203	Programming with Constraints Reading Group Cassius
Wed, Feb 3 3:30pm-4:30pm	Talia and Alex S. Room: CSE 203	590P: PL Reading Group A Unification Algorithm for COQ Featuring Universe Polymorphism and Overloading
Thu, Feb 4 2:30pm-3:30pm	Sam Room: CSE 203	Underground Reading Group Turing-Completeness Totally Free
Fri, Feb 5 3:30pm-4:30pm	PLSE Room: CSE 203	PLSE Group Meeting Please help set up for the PLSE-hosted TGIF!
Mon, Feb 8 3:30pm-4:30pm	James Wilcox Room: CSE 203	590N: SE Reading Group Staged Program Repair with Condition Synthesis
Tue, Feb 9 2:30pm-3:30pm	Eric Butler Room: CSE 203	Programming with Constraints Reading Group Algebra Synthesis
Wed, Feb 10 3:30pm-4:30pm	Eric and Stuart Room: CSE 203	590P: PL Reading Group Sound Type-Dependent Syntactic Language Extension
Thu, Feb 11 2:30pm-3:30pm	Bartosz Room: CSE 203	Underground Reading Group Category Theory intro - Part 1 of Bartosz’s blog
Fri, Feb 12 3:30pm-4:30pm	Ryan Beckett (Princeton) Room: CSE 203	PLSE Group Meeting Don’t Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations
Mon, Feb 15 3:30pm-4:30pm	No meeting Room: CSE 203	590N: SE Reading Group Presidents’ Day
Tue, Feb 16 2:30pm-3:30pm	Julian Room: CSE 203	Programming with Constraints Reading Group Answer Set Programming
Wed, Feb 17 3:30pm-4:30pm	Alex P. and Calvin Room: CSE 203	590P: PL Reading Group In Search of Types
Thu, Feb 18 2:30pm-3:30pm	Konstantin Room: CSE 303	Underground Reading Group From Sets to Types to Categories to Sets
Fri, Feb 19 3:30pm-4:30pm	Sam Elliott Room: CSE 203	PLSE Group Meeting A short exploration of PLT Redex and Linear Types
Mon, Feb 22 3:30pm-4:30pm	Zach Tatlock Room: CSE 203	590N: SE Reading Group Guided Differential Testing of Certificate Validation in SSL/TLS Implementations
Tue, Feb 23 2:30pm-3:30pm	Arvind Room: CSE 203	Programming with Constraints Reading Group Vega
Wed, Feb 24 3:30pm-4:30pm	Chenglong and Konstantin Room: CSE 203	590P: PL Reading Group Practical Principled FRP
Thu, Feb 25 2:30pm-3:30pm	– Room: CSE 203	Underground Reading Group No meeting
Fri, Feb 26 3:30pm-4:30pm	Keith Butler Room: CSE 203	PLSE Group Meeting Model Checking User Interfaces
Mon, Feb 29 3:30pm-4:30pm	Michael Ernst Room: CSE 203	590N: SE Reading Group GRT: Program-Analysis-Guided Random Testing
Tue, Mar 1 2:30pm-3:30pm	Julie Room: CSE 203	Programming with Constraints Reading Group Hints DSL
Wed, Mar 2 3:30pm-4:30pm	James B. and Bill Room: CSE 203	590P: PL Reading Group The Silently Shifting Semicolon
Thu, Mar 3 2:30pm-3:30pm	Nate and ?? Room: CSE 203	Underground Reading Group Type Theory in Type Theory using Quotient Inductive Types
Fri, Mar 4 3:30pm-4:30pm	Everyone Room: CSE 203	PLSE Group Meeting Visit days prep?
Mon, Mar 7 3:30pm-4:30pm	Doug Woos Room: CSE 203	590N: SE Reading Group Copy and Paste Redeemed
Wed, Mar 9 3:30pm-4:30pm	- Room: CSE 203	590P: PL Reading Group No meeting (visit days)
Fri, Mar 11 3:30pm-4:30pm	Archaeopteryx Room: CSE 203	PLSE Group Meeting Introduction to Equality in Dependent Type Theory
Mon, Mar 28 3:30pm-4:30pm	Michael Ernst Room: CSE 203	590N: SE Reading Group From Word Embeddings To Document Similarities for Improved Information Retrieval in Software Engineering
Tue, Mar 29 2:30pm-3:30pm	Everyone Room: CSE 203	Underground Constraints Reading Group Paper Selection
Wed, Mar 30 3:30pm-4:30pm	James B Room: CSE 203	590P: PLSE Seminar ‘Specifying and Checking File System Crash-Consistency Models’ ASPLOS practice talk
Thu, Mar 31 2:30pm-3:30pm	everyone Room: CSE 674	Underground Reading Group Organizational meeting
Fri, Apr 1 3:30pm-4:30pm	Mangpo Room: CSE 203	PLSE Group Meeting ‘Scaling Up Superoptimization’ ASPLOS practice talk
Mon, Apr 4 3:30pm-4:30pm	James W Room: CSE 203	590N: SE Reading Group Guiding Dynamic Symbolic Execution Toward Unverified Program Executions
Tue, Apr 5 2:30pm-3:30pm	Alex Room: CSE 674 (Irish)	Underground Constraints Reading Group Synthesizing Transformations on Hierarchically Structured Data
Wed, Apr 6 3:30pm-4:30pm	Leonardo de Moura (MSR) Room: CSE 203	590P: PLSE Seminar The Lean Theorem Prover
Thu, Apr 7 2:30pm-3:30pm	James W Room: CSE 674	Underground Reading Group Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
Fri, Apr 8 3:30pm-4:30pm	– Room: CSE 203	PLSE Group Meeting –
Mon, Apr 11 3:30pm-4:30pm	Doug Room: CSE 203	590N: SE Reading Group Crowdie: Feedback-Directed Instrumentation for Deployed JavaScript Applications
Tue, Apr 12 2:30pm-3:30pm	Nate Room: CSE 674 (Irish)	Underground Constraints Reading Group An Overview of the Leon Verification System Including a Demo
Wed, Apr 13 3:30pm-4:30pm	Canceled Room: CSE 203	590P: PLSE Seminar Canceled
Fri, Apr 15 2:30pm-3:30pm	Doug Woos Room: CSE 674	Underground Reading Group Learning Invariants using Decision Trees and Implication Counterexamples and please skim Decidability of Inferring Inductive Invariants
Fri, Apr 15 3:30pm-4:30pm	Mooly Sagiv (outside speaker, University of Tel Aviv) Room: CSE 203	PLSE Group Meeting Verifying Safety of Distributed Systems
Mon, Apr 18 3:30pm-4:30pm	Talia Room: CSE 203	590N: SE Reading Group Tricorder: Building a Program Analysis Ecosystem
Tue, Apr 19 2:30pm-3:30pm	Alan Room: CSE 674 (Irish)	Underground Constraints Reading Group Survey of Reactive Programming
Wed, Apr 20 3:30pm-4:30pm	Nate Yazdani and Ras Bodik Room: CSE 203	590P: PLSE Seminar Parallelizing Browser Layout
Fri, Apr 22 2:30pm-3:30pm	Doug and James Room: CSE 674	Underground Reading Group Ivy: Safety Verification by Interactive Generalization
Fri, Apr 22 3:30pm-4:30pm	Cristina Nita-Rotaru (outside speaker, Northeastern University) Room: CSE 203	PLSE Group Meeting Adversarial Testing and Compliance Checking of Protocol Implementations
Mon, Apr 25 3:30pm-4:30pm	Chenglong Room: CSE 203	590N: SE Reading Group An Analysis of the Search Spaces for Generate and Validate Patch Generation Systems
Tue, Apr 26 2:30pm-3:30pm	Chenglong Room: CSE 674 (Irish)	Underground Constraints Reading Group Conditionally Correct Superoptimization
Wed, Apr 27 3:30pm-4:30pm	External visitor prep Room: CSE 203	590P: PLSE Seminar TBD
Fri, Apr 29 2:30pm-3:30pm	Talia Room: CSE 674	Underground Reading Group F-ing Modules
Fri, Apr 29 3:30pm-4:30pm	– Room: CSE 203	PLSE Group Meeting TBD
Mon, May 2 3:30pm-4:30pm	Julie Newcomb Room: CSE 203	590N: SE Reading Group Work Practices and Challenges in Pull-Based Development: The Contributor’s Perspective
Tue, May 3 2:30pm-3:30pm	Julie Room: CSE 674 (Irish)	Underground Constraints Reading Group Hints DSL Demo + Experiment
Wed, May 4 3:30pm-4:30pm	– Room: CSE 203	590P: PLSE Seminar (DARPA Sandcat visit)
Fri, May 6 2:30pm-3:30pm	Nate Room: CSE 674	Underground Reading Group Cubical Type Theory
Fri, May 6 3:30pm-4:30pm	John Room: CSE 203	PLSE Group Meeting (Quals Talk) Staccato: A Bug-Finder for Dynamic Configuration Updates
Mon, May 9 3:30pm-4:30pm	John Room: CSE 203	590N: SE Reading Group Efficient Large-scale Trace Checking Using MapReduce
Tue, May 10 2:30pm-3:30pm	Sam Room: CSE 674 (Irish)	Underground Constraints Reading Group Program Synthesis From Polymorphic Refinement Types
Wed, May 11 3:30pm-4:30pm	Shaz Qadeer, Microsoft Room: CSE 203	590P: PLSE Seminar Programming Devices and Services with P
Fri, May 13 2:30pm-3:30pm	Konstantin Weitz Room: CSE 674	Underground Reading Group The Denotational Semantics of Programming Languages
Fri, May 13 3:30pm-4:30pm	Maria Gorinova (outside speaker, University of Cambridge) Room: CSE 203	PLSE Group Meeting A Live, Multiple-Representation Probabilistic Programming Environment for Novices
Mon, May 16 3:30pm-4:30pm	Spencer, Amanda Room: CSE 203	590N: SE Reading Group On the Techniques We Create, the Tools We Build, and Their Misalignments: A Study of KLEE
Tue, May 17 2:30pm-3:30pm	Calvin Room: CSE 674 (Irish)	Underground Constraints Reading Group Synthesis Modulo Recursive Functions This follows from An Overview of the Leon Verification System above
Wed, May 18 3:30pm-4:30pm	Craig Chambers, Google Room: CSE 691 (Gates Commons)	590P: PLSE Seminar Flume/Dataflow: Easy, Efficient Parallel Data Processing
Fri, May 20 2:30pm-3:30pm	Thomas Lou Room: CSE 674	Underground Reading Group Morphoid Type Theory (Sections 1 and 2 only)
Fri, May 20 3:30pm-4:30pm	Ben Hindman (outside speaker, group alum, 2016 Diamond Award Winner) Room: CSE 203	PLSE Group Meeting co-founder Mesosphere, title TBD, Gates Commons, CSE 691
Mon, May 23 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	590N: SE Reading Group Energy Profiles of Java Collections Classes
Tue, May 24 2:30pm-3:30pm	James Room: CSE 674 (Irish)	Underground Constraints Reading Group Reactive Programming with Reactive Variables
Wed, May 25 3:30pm-4:30pm	No Meeting Room: CSE 203	590P: PLSE Seminar TBD
Fri, May 27 2:30pm-3:30pm	Alex Sanchez-Stern Room: CSE 674	Underground Reading Group Symbolic Abstract Data Type Inference
Fri, May 27 3:30pm-4:30pm	Eric Mullen Room: CSE 203	PLSE Group Meeting PLDI Practice Talk (Peek)
Mon, May 30 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group Memorial Day
Tue, May 31 2:30pm-3:30pm	Julie Room: CSE 674 (Irish)	Underground Constraints Reading Group Program Extrapolation with Jennisys
Wed, Jun 1 3:30pm-4:30pm	BRASS/SandCat Internal Meeting Room: CSE 203	590P: PLSE Seminar TBD
Fri, Jun 3 2:30pm-3:30pm	Everyone Room: CSE 674	Underground Reading Group Cubical Type Theory
Fri, Jun 3 3:30pm-4:30pm	Stuart Pernsteiner Room: CSE 203	PLSE Group Meeting Investigating safety of a radiotherapy machine using system models with pluggable checkers (CAV practice talk)
Wed, Jun 8 3:30pm-4:30pm	Milind Kulkarni, Purdue Room: CSE 305	590P: PLSE Seminar Regularizing the irregular: analyses and transformations for recursive, irregular applications
Wed, Aug 3 3:30pm-4:30pm	Christoph Csallner, UTA Room: CSE 305	590P: PLSE Seminar Reverse Engineering Mobile Application User Interfaces With REMAUI
Mon, Aug 8 3:30pm-4:30pm	Maria Christakis, Microsoft RiSE Room: CSE 305	590P: PLSE Seminar Building Program Analyzers for Developers
Fri, Aug 26 3:30pm-4:30pm	Zhilei Xu, MIT Room: CSE 403	590P: PLSE Seminar MSL: A Deterministic Model for Bulk-Synchronous SPMD Programming
Thu, Sep 1 3:30pm-4:30pm	Shachar Itzhaky, MIT Room: CSE 403	590P: PLSE Seminar Refinement Reloaded, or- Deriving Divide-and-Conquer Dynamic Programming Algorithms by Transformation
Wed, Sep 28 2:30pm-3:30pm	everyone Room: CSE 303	Underground Reading Group Organizational meeting
Fri, Sep 30 3:30pm-4:30pm	PLSE Room: CSE 203	590P: PL Reading Group Paper Selection
Mon, Oct 3 3:30pm-4:30pm	Julie Newcomb Room: CSE 203	590N: SE Reading Group Can Testedness be Effectively Measured? (FSE 16)
Wed, Oct 5 2:30pm-3:30pm	James W Room: CSE 303	Underground Reading Group Innovations in Computational Type Theory using Nuprl Introduction to NuPRL
Fri, Oct 7 3:30pm-4:30pm	Pavel and Stuart Room: CSE 203	590P: PL Reading Group Read papers by Eva Darulova Certifying Solutions for Numerical Constraints and Sound Compilation of Reals
Mon, Oct 10 3:30pm-4:30pm	Talia Ringer Room: CSE 203	590N: SE Reading Group Crash Consistency Validation Made Easy (FSE 16)
Wed, Oct 12 2:30pm-3:30pm	Max Room: CSE 303	Underground Reading Group Dag-calculus: a calculus for parallel computation
Wed, Oct 12 3:30pm-4:30pm	Eva Darulova Room: CSE 305	PLSE Colloquium Series Programming with Numerical Uncertainties
Fri, Oct 14 3:30pm-4:30pm	Calvin and Ryan Room: CSE 203	590P: PL Reading Group On the Complexity and Performance of Parsing with Derivatives background reading: Parsing with Derivatives, a functional pearl
Mon, Oct 17 3:30pm-4:30pm	Steven Lyubomirsky Room: CSE 203	590N: SE Reading Group Extracting Instruction Semantics via Symbolic Execution of Code Generators (FSE 16)
Wed, Oct 19 2:30pm-3:30pm	– Room: CSE 303	Underground Reading Group No meeting (Affiliates)
Fri, Oct 21 3:30pm-4:30pm	Talia and Doug Room: CSE 203	590P: PL Reading Group Read papers by David Tarditi Checked-C spec (Section 1, Section 11, skim rest); TIL: A Type-Directed Optimizing Compiler for ML and a restrospective
Mon, Oct 24 3:30pm-4:30pm	James Wilcox Room: CSE 203	590N: SE Reading Group Purposes, Concepts, Misfits, and a Redesign of Git (OOPSLA ‘16) Background reading on Jackson’s theory of concepts: Towards a Theory of Conceptual Design for Software
Wed, Oct 26 2:30pm-3:30pm	James W Room: CSE 303	Underground Reading Group Play around with JonPRL
Wed, Oct 26 3:30pm-4:30pm	David Tarditi Room: CSE 305	PLSE Colloquium Series An Overview of the Checked C Project
Fri, Oct 28 3:30pm-4:30pm	John and Chenglong Room: CSE 203	590P: PL Reading Group Phosphor and Electric Test One Phosphor paper and one not-taint-tracking one
Mon, Oct 31 3:30pm-4:30pm	Martin Kellogg Room: CSE 203	590N: SE Reading Group Anti-patterns in Search-Based Program Repair (FSE 16)
Wed, Nov 2 2:30pm-3:30pm	Ryan Room: CSE 303	Underground Reading Group Dependent Intersection: A New Way of Defining Records in Type Theory
Fri, Nov 4 3:30pm-4:30pm	Spencer and Steven Room: CSE 203	590P: PL Reading Group Model Checking Programs and Software Engineering and Automated Deduction One Java PathFinder paper and one not-that
Mon, Nov 7 3:30pm-4:30pm	Spencer Pearson Room: CSE 203	590N: SE Reading Group A Large-Scale Empirical Comparison of Static and Dynamic Test Case Prioritization Techniques (FSE 16)
Wed, Nov 9 2:30pm-3:30pm	Doug Room: CSE 303	Underground Reading Group Do Be Do Be Do
Wed, Nov 9 3:30pm-4:30pm	Chris, Spencer, Martin, Calvin Room: CSE 305	PLSE Colloquium Series FSE Student Research Competition practice talks
Fri, Nov 11 3:30pm-4:30pm	Veteran’s Day Holiday Room: CSE 203	590P: PL Reading Group None
Mon, Nov 14 3:30pm-4:30pm	Jon Bell Room: CSE 305	PLSE Colloquium Series Making Software More Reliable by Uncovering Hidden Dependencies
Mon, Nov 14 3:30pm-4:30pm	Jonathan Bell Room: CSE 203	590N: SE Reading Group Making Software More Reliable by Uncovering Hidden Dependencies Read either the Phosphor paper or the Pebbles paper
Wed, Nov 16 2:30pm-3:30pm	Thomas Room: CSE 303	Underground Reading Group Hazelnut: A Bidirectionally Typed Structure Editor Calculus
Wed, Nov 16 3:30pm-4:30pm	Arie Gurfinkel Room: CSE 305	PLSE Colloquium Series Algorithmic Logic-Based Verification with SeaHorn
Fri, Nov 18 3:30pm-4:30pm	Alessandra Gorla Room: CSE 203	590P: PL Reading Group Mining Android Apps for Anomalous Behavior
Fri, Nov 18 3:30pm-4:30pm	Alessandra Gorla Room: CSE 305	PLSE Colloquium Series Mining Android Apps for Anomalous Behavior
Mon, Nov 21 3:30pm-4:30pm	Willem Visser Room: CSE 305	PLSE Colloquium Series An Analytical Perspective on Mutations and Coverage
Mon, Nov 21 3:30pm-4:30pm	Willem Visser Room: CSE 305	590N: SE Reading Group An Analytical Perspective on Mutations and Coverage
Wed, Nov 23 2:30pm-3:30pm	– Room: CSE 303	Underground Reading Group No meeting (Thanksgiving)
Wed, Nov 23 3:30pm-4:30pm	Thanksgiving Holiday Room: CSE 305	PLSE Colloquium Series None
Fri, Nov 25 3:30pm-4:30pm	Thanksgiving Holiday Room: CSE 203	590P: PL Reading Group None
Mon, Nov 28 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	590N: SE Reading Group Python Probabilistic Type Inference with Natural Language Support (FSE 16)
Wed, Nov 30 2:30pm-3:30pm	John Toman Room: CSE 303	Underground Reading Group Accelerating Program Analyses by Cross-Program Training
Wed, Nov 30 3:30pm-4:30pm	Nate Foster Room: CSE 305	PLSE Colloquium Series Cantor Meets Scott: Semantic Foundations for Probabilistic Networks
Fri, Dec 2 3:30pm-4:30pm	Martin and Max and Bill Room: CSE 203	590P: PL Reading Group Feature-interaction detection based on feature-based specifications and Understanding Understanding Source Code with Functional Magnetic Resonance Imagining Read papers by Sven Apel
Mon, Dec 5 3:30pm-4:30pm	Pavel Panchekha Room: CSE 203	590N: SE Reading Group Detecting and Fixing Precision-Specific Operations for Measuring Floating-Point Errors (FSE 16)
Wed, Dec 7 2:30pm-3:30pm	Nate Yazdani Room: CSE 303	Underground Reading Group Computational Higher-Dimensional Type Theory
Fri, Dec 9 3:30pm-4:30pm	Sam and Eric M. and Nate Room: CSE 203	590P: PL Reading Group Elaborator Reflection: Extending Idris in Idris
Wed, Dec 14 2:30pm-3:30pm	everyone Room: CSE 303	Underground Reading Group Catch up Chapter 2 of Homotopy Type Theory Book
Fri, Jan 6 3:30pm-4:30pm	PLSE Room: CSE 203	590P: PL Reading Group Organize!
Mon, Jan 9 3:30pm-4:30pm	Martin Kellogg Room: CSE 203	590N: SE Reading Group Programmatic and Direct Manipulation, Together at Last
Wed, Jan 11 3:30pm-4:30pm	Ravi Chugh Room: CSE 305	PLSE Colloquium Series Direct Manipulation Programming Systems
Wed, Jan 11 3:30pm-4:30pm	Ravi Chugh Room: CSE 305	PLSE Colloquium Series Direct Manipulation Programming Systems
Thu, Jan 12 3:30pm-4:30pm	Matthew Flatt Room: CSE 305	PLSE Colloquium Series Let’s Build a Hygienic Macro Expander!
Thu, Jan 12 3:30pm-4:30pm	Matthew Flatt Room: CSE 305	PLSE Colloquium Series Let’s Build a Hygienic Macro Expander!
Fri, Jan 13 3:30pm-4:30pm	Doug Woos and Ryan Doenges Room: CSE 203	590P: PL Reading Group Refinement Reflection
Mon, Jan 16 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting – MLK day
Fri, Jan 20 3:30pm-4:30pm	Nate and Calvin Room: CSE 203	590P: PL Reading Group Component-Based Synthesis for Complex APIs
Mon, Jan 23 3:30pm-4:30pm	collaborative effort Room: CSE 203	590N: SE Reading Group Enhancing Automated Program Repair with Deductive Verification
Wed, Jan 25 3:30pm-4:30pm	Claire Le Goues Room: CSE 305	PLSE Colloquium Series Scalable Semantic Code Search for High-Quality Program Repair
Wed, Jan 25 3:30pm-4:30pm	Claire Le Goues Room: CSE 305	PLSE Colloquium Series Scalable Semantic Code Search for High-Quality Program Repair
Fri, Jan 27 3:30pm-4:30pm	Talia and Stuart Room: CSE 203	590P: PL Reading Group Beginner’s Luck: A Language for Property-Based Generators
Mon, Jan 30 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting
Fri, Feb 3 3:30pm-4:30pm	John Room: CSE 203	590P: PL Reading Group Call Graphs for Languages with Parametric Polymorphism
Mon, Feb 6 3:30pm-4:30pm	Steven Lyubomirsky Room: CSE 203	590N: SE Reading Group Correctness Witnesses: Exchanging Verification Results between Verifiers
Wed, Feb 8 3:30pm-4:30pm	Ranjit Jhala Room: CSE 305	PLSE Colloquium Series TBD
Wed, Feb 8 3:30pm-4:30pm	Ranjit Jhala Room: CSE 305	PLSE Colloquium Series Refinement Types for Dynamic Languages
Fri, Feb 10 3:30pm-4:30pm	Chenglong Room: CSE 203	590P: PL Reading Group Polymorphism, Subtyping, and Type Inference in MLsub
Mon, Feb 13 3:30pm-4:30pm	Doug Woos Room: CSE 203	590N: SE Reading Group A Cross-Tool Communication Study on Program Analysis Tool Notifications
Fri, Feb 17 3:30pm-4:30pm	Martin and Eric Room: CSE 203	590P: PL Reading Group Into the depths of C: elaborating the de facto standards
Mon, Feb 20 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting – Presidents’ Day
Fri, Feb 24 3:30pm-4:30pm	Steven and Max Room: CSE 203	590P: PL Reading Group Verified Compilation of CakeML to Multiple Machine-Code Targets
Mon, Feb 27 3:30pm-4:30pm	Calvin Loncaric Room: CSE 203	590N: SE Reading Group SMT-Based Verification of Parameterized Systems
Fri, Mar 3 3:30pm-4:30pm	Pavel and Mangpo Room: CSE 203	590P: PL Reading Group Automatic Parallelization of Pure Method Calls via Conditional Future Synthesis
Mon, Mar 6 3:30pm-4:30pm	TBD Room: CSE 203	590N: SE Reading Group TBD
Mon, Mar 20 3:30pm-4:30pm	Stephen Chang Room: CSE 305	PLSE Colloquium Series Type Systems as Macros
Mon, Mar 27 3:30pm-4:30pm	TBD Room: CSE 203	590N: SE Reading Group Organization
Fri, Mar 31 3:30pm-4:30pm	Max Room: CSE 203	590P: PL Reading Group Context-free Session Types
Mon, Apr 3 3:30pm-4:30pm	Spencer Room: CSE 203	590N: SE Reading Group An Unsupervised Approach for Discovering Relevant Tutorial Fragments for APIs (ICSE 2017)
Fri, Apr 7 3:30pm-4:30pm	Stuart Room: CSE 203	590P: PL Reading Group Dijkstra Monads for Free
Mon, Apr 10 3:30pm-4:30pm	Rajiv Room: CSE 203	590N: SE Reading Group Search-driven String Constraint Solving for Vulnerability Detection (ICSE 2017)
Fri, Apr 14 3:30pm-4:30pm	Chenglong and Martin Room: CSE 203	590P: PL Reading Group Synthesizing Program Input Grammars
Mon, Apr 17 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting (OOPSLA deadline)
Fri, Apr 21 3:30pm-4:30pm	James W Room: CSE 203	590P: PL Reading Group Compiling without continuations
Mon, Apr 24 3:30pm-4:30pm	Calvin Room: CSE 203	590N: SE Reading Group IncA: a DSL for the definition of incremental program analyses (ASE 16)
Wed, Apr 26 3:30pm-4:30pm	Adam Chlipala Room: CSE 305	PLSE Colloquium Series A Case for Integrating Proof Assistants into Daily Programming
Fri, Apr 28 3:30pm-4:30pm	Pavel and Shumo Room: CSE 203	590P: PL Reading Group Farms, pipes, streams and reforestation
Mon, May 1 3:30pm-4:30pm	Zach Room: CSE 203	590N: SE Reading Group Learning to Prioritize Test Programs for Compiler Testing (ICSE 2017)
Fri, May 5 3:30pm-4:30pm	Calvin and Bill Room: CSE 203	590P: PL Reading Group Relational Cost Analysis
Mon, May 8 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting (SNAPL)
Fri, May 12 3:30pm-4:30pm	Nate and Julie Room: CSE 203	590P: PL Reading Group Typed self-evaluation via intensional type functions
Mon, May 15 3:30pm-4:30pm	Martin Room: CSE 203	590N: SE Reading Group An Empirical Study on Mutation, Statement and Branch Coverage Fault Revelation that Avoids the Unreliable Clean Program Assumption (ICSE 2017)
Wed, May 17 3:30pm-4:30pm	Eric and Doug Room: CSE 203	590P: PL Reading Group Verified Low-Level Programming Embedded in F* (no need to read the appendices!) [NOTE: WED!]
Fri, May 19 3:30pm-4:30pm	Navid Yaghmazadeh Room: CSE 305	PLSE Colloquium Series Automated Synthesis of Data Extraction and Transformation Programs
Mon, May 22 3:30pm-4:30pm	James W Room: CSE 203	590N: SE Reading Group An empirical evaluation of two user interfaces of an interactive program verifier (ASE 16)
Fri, May 26 3:30pm-4:30pm	Steven and Spencer Room: CSE 203	590P: PL Reading Group Type Inference for Static Compilation of JavaScript
Mon, May 29 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting (Memorial Day)
Mon, May 29 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night Hackers
Wed, May 31 3:30pm-4:30pm	Talia Room: CSE 203	590P: PL Reading Group Type Soundness Proofs with Definitional Interpreters
Mon, Jun 5 3:30pm-4:30pm	Mike Room: CSE 203	590N: SE Reading Group To Type or Not to Type: Quantifying Preventable Bugs in JavaScript (ICSE 2017)
Tue, Jun 6 12:00pm-1:30pm	Ave lunch Room: the Ave	PLSE Lunch Lunch on the Ave
Tue, Jun 13 12:00pm-1:30pm	Amanda Swearngin Room: CSE 403	PLSE Lunch Lunch and talks: Genie: Input Retargeting on the Web through Command Reverse Engineering Food: Specialty's Sandwiches
Thu, Jun 15 3:30pm-4:30pm	Vijay Ganesh Room: CSE 305	PLSE Colloquium Series On The Unreasonable Effectiveness of Boolean SAT Solvers
Tue, Jun 20 12:00pm-1:30pm	Max Room: CSE 403	PLSE Lunch Lunch and talks: Fluidics and/or domain-specific accelerators Food: Mediterranean
Tue, Jun 27 12:00pm-1:30pm	Vincent Liew Room: CSE 403	PLSE Lunch Verifying non-linear arithmetics Food: Mexican
Tue, Jul 4 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Wed, Jul 5 3:30pm-4:30pm	Rene Just Room: CSE 305	PLSE Colloquium Series Learning from Program Context to Predict Effective Program Transformations
Mon, Jul 10 2:00pm-3:00pm	Robert O’Callahan Room: CSE 305	PLSE Colloquium Series Real-World Record And Replay
Tue, Jul 11 12:00pm-1:30pm	Lunch Downtown trip Room: Train Trip	PLSE Lunch Take train downtown
Tue, Jul 18 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Jul 25 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Aug 1 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Aug 8 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Aug 15 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Aug 22 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Aug 29 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Sep 5 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Sep 12 12:00pm-1:00pm	Andreas Zeller Room: CSE 305	PLSE Colloquium Series Mining Input Grammars for Security Testing
Tue, Sep 12 12:00pm-1:30pm	Andreas Zeller Room: CSE 305	PLSE Lunch Mining Input Grammars for Security Testing
Tue, Sep 19 12:00pm-1:30pm	Ballard Homestead Room: CSE 305	PLSE Lunch PLSE Orientation
Tue, Sep 19 12:00pm-1:30pm	Lunch on the Ave Room: The Ave	PLSE Lunch Lunch on the Ave
Tue, Sep 26 12:00pm-1:30pm	Rashmi Mudduluru Room: CSE 403	PLSE Lunch Lasso Detection using Partial State Caching. Lunch Czar: Sam Elliot, Zach Tatlock
Tue, Sep 26 12:00pm-1:30pm	Start of Quarter Lunch Room: CSE 403	PLSE Lunch Welcome back lunc Food: Thai
Fri, Sep 29 3:30pm-4:30pm	Martin, Pavel Room: CSE 203	PLSE Reading Group Fairness Testing: Testing Software for Discrimination
Tue, Oct 3 12:00pm-1:30pm	Mangpo Phothilimthana Room: CSE 305	PLSE Lunch High-Coverage Hint Generation for Racket Programming Assignments Lunch Czar: Sam Elliot, James Bornholt
Fri, Oct 6 3:30pm-4:30pm	John, James W Room: CSE 203	PLSE Reading Group Context Transformations for Pointer Analysis
Tue, Oct 10 12:00pm-1:30pm	Santosh Nagarakatte Room: CSE 305	PLSE Lunch PLSE Seminar Series Speaker Lunch Czar: Sam Elliot, Martin Kellogg
Fri, Oct 13 3:30pm-4:30pm	Zach, Stuart, Bill Room: CSE 203	PLSE Reading Group Achieving High Coverage for Floating-Point Code via Unconstrained Programming
Tue, Oct 17 12:00pm-1:30pm	Sarah Chasins Room: CSE 305	PLSE Lunch PLSE Lunch OOPSLA Practice Lunch Czar: Sam Elliot, Martin Kellogg, Chandrakana Nandi
Fri, Oct 20 3:30pm-4:30pm	Sarah, Chandra Room: CSE 203	PLSE Reading Group Learning Syntactic Program Transformations from Examples
Tue, Oct 24 12:00pm-1:30pm	John T Room: CSE 305	PLSE Lunch Concerto: Towards Combined Concrete and Abstract Interpretation Lunch Czar: Chandrakana Nandi
Fri, Oct 27 3:30pm-4:30pm	Jared, Max Room: CSE 203	PLSE Reading Group Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Mon, Oct 30 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night 3 Idiots
Tue, Oct 31 12:00pm-1:30pm	James W Room: CSE 305	PLSE Lunch Iron Armada and Civilized Dafny: Verified Multithreaded Systems (work-in-progress talk) Lunch Czar: Doug Woos
Fri, Nov 3 3:30pm-4:30pm	Benjamin Ylvisaker Room: CSE 203	PLSE Reading Group Visitor Talk: JavaScript vs Atomicity and a New Tweak on Cooperative Threads
Tue, Nov 7 12:00pm-1:30pm	Ave Lunch Room: the Ave	PLSE Lunch Lunch on the Ave
Tue, Nov 14 12:00pm-1:30pm	Chandrakana Nandi Room: CSE 305	PLSE Lunch Research day practice talk Lunch Czar: Rashmi Mudduluru
Fri, Nov 17 3:30pm-4:30pm	Remy, Chenglong Room: CSE 203	PLSE Reading Group Verifying Equivalence of Spark Programs
Tue, Nov 21 12:00pm-1:30pm	Ave Lunch Room: the Ave	PLSE Lunch Lunch on the Ave
Tue, Nov 28 12:00pm-1:30pm	Doug Room: CSE 305	PLSE Lunch Visualizing Distributed Systems (work-in-progress talk) Lunch Czar: Max Willsey
Fri, Dec 1 3:30pm-4:30pm	Doug, Nate Room: CSE 203	PLSE Reading Group Verifying a high-performance crash-safe file system using a tree specification
Tue, Dec 5 12:00pm-1:30pm	Stephanie Weirich Room: CSE 305	PLSE Lunch PLSE Seminar Series Speaker Lunch Czar: Talia Ringer
Fri, Dec 8 3:30pm-4:30pm	Calvin, Talia Room: CSE 203	PLSE Reading Group Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
Tue, Dec 12 12:00pm-1:30pm	Cindy Rubio Gonzalez Room: CSE 305	PLSE Lunch PLSE Seminar Series Speaker Lunch Czar: Pavel Panchekha
Tue, Dec 19 12:00pm-1:30pm	Ave lunch Room: the Ave	PLSE Lunch Lunch on the Ave
Tue, Jan 2 12:00pm-1:30pm	Several PLSE people Room: CSE 403	PLSE Lunch POPL practice talks Thai food
Mon, Jan 8 3:30pm-4:30pm	Everyone Room: CSE 203	590N: SE Reading Group Introductions and set schedule
Tue, Jan 9 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch
Mon, Jan 15 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting – MLK day
Tue, Jan 16 12:00pm-1:30pm	Ronald Garcia Room: CSE 305	PLSE Lunch PLSE Seminar Series Speaker God-Emperor of Lunch: Doug
Fri, Jan 19 3:30pm-4:30pm	Sarah Chasins Room: CSE 203	PLSE Reading Group WebRelate: Integrating Web Data with Spreadsheets using Examples
Mon, Jan 22 3:30pm-4:30pm	Amanda Room: CSE 203	590N: SE Reading Group Understanding Misunderstandings in Source Code
Mon, Jan 22 5pm-6pm	John Leo Room: CSE 407	Proof Assistant User Group Programming in Cubical Type Theory One week late due to MLK day.
Tue, Jan 23 12:00pm-1:30pm	Everyone! Room: CSE 305	PLSE Lunch PLSE Town Hall Lunch Terminator: Jared
Fri, Jan 26 3:30pm-4:30pm	Chandrakana Nandi and James Rasmussen Wilcox Room: CSE 203	PLSE Reading Group The Linearity Monad
Mon, Jan 29 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting
Mon, Jan 29 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night Wordplay
Tue, Jan 30 12:00pm-1:30pm	Pavel Panchekha Room: CSE 305	PLSE Lunch HerbStar Chairman and General Secretary of Lunch: Shumo
Thu, Feb 1 5pm-6pm	– Room: CSE 407	Proof Assistant User Group (No meeting this month)
Fri, Feb 2 3:30pm-4:30pm	Doug “Distributed Systems” Woos and Martin “Testing” Kellogg Room: CSE 203	PLSE Reading Group Why Is Random Testing Effective for Partition Tolerance Bugs?
Mon, Feb 5 3:30pm-4:30pm	Martin and Calvin Room: CSE 203	590N: SE Reading Group Just-in-Time Static Analysis
Tue, Feb 6 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch Waiter: Remy
Fri, Feb 9 3:30pm-4:30pm	Talia Ringer and Remy Wang Room: CSE 203	PLSE Reading Group A Principled approach to Ornamentation in ML
Mon, Feb 12 3:30pm-4:30pm	Huayi, Tianchi Room: CSE 203	590N: SE Reading Group Cooperative Kernels: GPU Multitasking for Blocking Algorithms
Tue, Feb 13 12:00pm-1:30pm	Mangpo Room: CSE 305	PLSE Lunch Floem: A Programming System for NIC-Accelerated Network Applications Lunch Agent 007: Chenglong
Fri, Feb 16 3:30pm-4:30pm	Zach Tatlock and Bill Zorn Room: CSE 203	PLSE Reading Group A Comprehensive Study of Real-World Numerical Bug Characteristics
Mon, Feb 19 3:30pm-4:30pm	– Room: CSE 203	590N: SE Reading Group No meeting – Presidents’ Day
Tue, Feb 20 12:00pm-1:30pm	Amanda Swearngin Room: CSE 305	PLSE Lunch Using constraints and synthesis to guide interactive user interface layout design Czar: Sarah
Fri, Feb 23 3:30pm-4:30pm	John Toman and Calvin Loncaric Room: CSE 203	PLSE Reading Group DéjàVu: a map of code duplicates on GitHub
Mon, Feb 26 3:30pm-4:30pm	Alon, Rashmi Room: CSE 203	590N: SE Reading Group Discovering Relational Specifications
Tue, Feb 27 12:00pm-1:30pm	Martin Kellogg Room: CSE 305	PLSE Lunch Lightweight Verification of Array Indexing Czar: Rashmi
Fri, Mar 2 3:30pm-4:30pm	Max Room: CSE 203	PLSE Reading Group Experimental Biological Protocols with Formal Semantics
Mon, Mar 5 3:30pm-4:30pm	Michael Room: CSE 203	590N: SE Reading Group Automatically Diagnosing and Repairing Error Handling Bugs in C
Tue, Mar 6 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch Salazar
Fri, Mar 9 3:30pm-4:30pm	Nate and Stuart Room: CSE 203	PLSE Reading Group Lem: Reusable Engineering of Real-world Semantics
Tue, Mar 13 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Visit Days Ave Lunch Salazar
Tue, Mar 13 12:00pm-1:30pm	PLSE + Prospectives! Room: The Ave	PLSE Lunch Ave Lunch (VISIT DAYS!)
Mon, Mar 19 5pm-6pm	– Room: CSE 407	Proof Assistant User Group (No meeting this month) (This is during Spring break.)
Tue, Mar 20 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch (SPRING BREAK!)
Mon, Mar 26 12:00pm-1:30pm	Everyone Room: CSE 128	Program Synthesis Group Choose Papers
Mon, Mar 26 3:30pm-4:30pm	Everyone Room: CSE 203	590N: SE Reading Group Introductions and set schedule
Tue, Mar 27 12:00pm-1:30pm	Chandrakana Nandi Room: CSE 305	PLSE Lunch Quals talk Czar of the Czars: James W.
Fri, Mar 30 3:30pm-4:30pm	Martin and Rashmi Room: CSE 203	PLSE Reading Group Inferring Mutant Utility from Program Context
Mon, Apr 2 12:00pm-1:30pm	Sam K Room: CSE 128	Program Synthesis Group The Three Pillars of Machine-Based Programming
Mon, Apr 2 3:30pm-4:30pm	Martin Room: CSE 203	590N: SE Reading Group Do Automated Program Repair Techniques Repair Hard and Important Bugs? (Journal-first paper. The formatting makes it look long, but it’s only about 1.5x longer than the conference papers we usually read, and you can skim the huge related work section.)
Tue, Apr 3 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch
Fri, Apr 6 3:30pm-4:30pm	Steve and Jared Room: CSE 203	PLSE Reading Group Tensor Comprehensions: Framework-Agnostic High-Performance Machine Learning Abstractions
Mon, Apr 9 12:00pm-1:30pm	Maaz Room: CSE 128	Program Synthesis Group Program Synthesis using Conflict-Driven Learning Early Version Linked, Looking for later version
Mon, Apr 9 3:30pm-4:30pm	Calvin Room: CSE 203	590N: SE Reading Group Automated Localization for Unreproducible Builds
Tue, Apr 10 12:00pm-1:30pm	Calvin Loncaric Room: CSE 305	PLSE Lunch Incrementalization with Data Structures Czar: Chandra
Fri, Apr 13 3:30pm-4:30pm	Doug by himself :( Room: CSE 203	PLSE Reading Group Inferring and Asserting Distributed System Invariants
Mon, Apr 16 12:00pm-1:30pm	Chenglong Room: CSE 128	Program Synthesis Group Comparison: Learned Index Structures vs Classical Learned Index Structures vs Classical Structures
Mon, Apr 16 3:30pm-4:30pm	Mike Room: CSE 203	590N: SE Reading Group Is ‘Better Data’ Better Than ‘Better Data Miners’?
Mon, Apr 16 5pm-6pm	Talia Room: CSE 407	Proof Assistant User Group Spellcraft 101: Demystifying Supertactics
Tue, Apr 17 12:00pm-1:30pm	Rashmi Room: CSE 305	PLSE Lunch Nondeterminism detection and verification CAESAR PRANDII: Martin
Fri, Apr 20 3:30pm-4:30pm	Nate and Chenglong Room: CSE 203	PLSE Reading Group Program Synthesis using Abstraction Refinement
Mon, Apr 23 12:00pm-1:30pm	Julie Room: CSE 128	Program Synthesis Group User Studies of Principled Model Finder Output
Mon, Apr 23 3:30pm-4:30pm	Steven Lyubomirsky Room: CSE 203	590N: SE Reading Group Sentiment Analysis for Software Engineering: How Far Can We Go?
Tue, Apr 24 12:00pm-1:30pm	David Van Horn Room: CSE 305	PLSE Lunch Symbolic Execution for Higher-Order Program Verification Czar: Pavel
Fri, Apr 27 3:30pm-4:30pm	Remy Room: CSE 203	PLSE Reading Group Precise Interprocedural Dataflow Analysis via Graph Reachability (classic) (POPL version)
Mon, Apr 30 12:00pm-1:30pm	Sam E Room: CSE 128	Program Synthesis Group SAT-based compilation to a non-von Neumann processor
Mon, Apr 30 3:30pm-4:30pm	Miryung Kim Room: CSE 203	590N: SE Reading Group Interactive and Automated Debugging for Big Data Analytics
Tue, May 1 12:00pm-1:30pm	Daniel Shapero Room: CSE 305	PLSE Lunch UFL: a domain-specific language for differential equations that will someday take my job. Czar: Chandra
Fri, May 4 3:30pm-4:30pm	Sam and Bill Room: CSE 203	PLSE Reading Group Deepcoder: Learning To Write Programs
Mon, May 7 12:00pm-1:30pm	Ras Room: CSE 128	Program Synthesis Group Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces
Mon, May 7 3:30pm-4:30pm	Mike Room: CSE 203	590N: SE Reading Group A Static Verification Framework for Message Passing in Go using Behavioural Types
Tue, May 8 12:00pm-1:30pm	Remy Room: CSE 305	PLSE Lunch Sloth: Lazy Concrete Pattern Matching on Trees Terminator: Chenglong
Fri, May 11 3:30pm-4:30pm	Steve Room: CSE 203	PLSE Reading Group Efficient Sampling of SAT Solutions for Testing
Mon, May 14 12:00pm-1:30pm	– Room: CSE 128	Program Synthesis Group No meeting – PNW PLSE workshop at Microsoft
Mon, May 14 3:30pm-4:30pm	N/A Room: CSE 203	590N: SE Reading Group No meeting – PNW PLSE workshop at Microsoft
Tue, May 15 12:00pm-1:30pm	Stuart Room: CSE 305	PLSE Lunch Rapid Semantics (Defense) Czar: Remy
Fri, May 18 3:30pm-4:30pm	Chandra Room: CSE 203	PLSE Reading Group Synthesis with Abstract Examples
Mon, May 21 12:00pm-1:30pm	Sam K Room: CSE 128	Program Synthesis Group Hackathon!: Reinforcement learning experiments on super-optimization Optional reading: Human-level control through deep reinforcement learning
Mon, May 21 3:30pm-4:30pm	Rashmi Room: CSE 203	590N: SE Reading Group CodeCarbonCopy
Mon, May 21 5pm-6pm	Calvin Room: CSE 407	Proof Assistant User Group Cozy details
Tue, May 22 12:00pm-1:30pm	Adam Geller Room: CSE 305	PLSE Lunch Automatically minimizing webpages to expedite debugging Czar: Chandra
Fri, May 25 3:30pm-4:30pm	Talia Room: CSE 203	PLSE Reading Group When Good Components Go Bad
Mon, May 28 12:00pm-1:30pm	– Room: CSE 128	Program Synthesis Group No meeting – Memorial Day
Mon, May 28 3:30pm-4:30pm	N/A Room: CSE 203	590N: SE Reading Group No meeting – Memorial Day
Tue, May 29 12:00pm-1:30pm	Chenglong/Dominik Room: CSE 305	PLSE Lunch Visualization Meets Constraint Programming Czar: Doug
Fri, Jun 1 3:30pm-4:30pm	Pavel Room: CSE 203	PLSE Reading Group The Road to Live Programming: Insights From the Practice
Mon, Jun 4 12:00pm-1:30pm	Fredrik Kjolstad (MIT) Room: CSE 128	Program Synthesis Group The Sparse Tensor Algebra Compiler
Tue, Jun 5 12:00pm-1:30pm	Everyone! Room: The Ave	PLSE Lunch Ave Lunch
Mon, Jun 11 12:00pm-1:30pm	Ruzica Piskac (Yale) Room: CSE 403	Program Synthesis Group TBD
Tue, Jun 12 12:00pm-1:30pm	Pavel Room: CSE 305	PLSE Lunch PLDI Practice Talk Czar: Chandra
Mon, Jun 18 12:00pm-1:30pm	PLSE! Room: The Ave	PLSE Lunch Summer Ave lunch June 18 - September 25, 2018
Mon, Jun 18 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Mon, Jul 16 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Mon, Jul 30 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night Jodorowsky’s Dune
Mon, Aug 20 5pm-6pm	Pavel Room: CSE 407	Proof Assistant User Group Cassius details and interacting with Z3
Mon, Sep 17 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Wed, Sep 19 2pm-3pm	John Gustafson Room: CSE 305 AT 2pm!!	PLSE Lunch Next Generation Arithmetic for HPC and AI: An Update
Fri, Sep 28 3:30pm-4:30pm	Everyone! Room: CSE 203	PLSE Reading Group Specifying 590P and Synthesizing the Schedule
Mon, Oct 1 12:00pm-1:30pm	Everyone Room: CSE 128	Program Synthesis Group Choose Papers
Mon, Oct 1 3:30pm-4:30pm	Everyone Room: CSE 203	590N: SE Reading Group Organization
Tue, Oct 2 12:00pm-1:30pm	PLSE Room: The Ave	PLSE Lunch Ave Lunch
Fri, Oct 5 3:30pm-4:30pm	Max Willsey, Chandrakana Nandi, Remy Wang Room: CSE 203	PLSE Reading Group Liquid Types Read the abstract and intro (and maybe overview) of the original paper. Do a little bit (suggestion: first 3 sections) of the Liquid Haskell tutorial. For the curious, other liquid types papers can be found here.
Mon, Oct 8 12:00pm-1:30pm	Julie Room: CSE 128	Program Synthesis Group Relational Program Synthesis
Mon, Oct 8 3:30pm-4:30pm	Doug Room: CSE 203	590N: SE Reading Group How Many of All Bugs Do We Find? A Study of Static Bug Detectors (ASE 2018) by Andrew Habib, Michael Pradel
Tue, Oct 9 12:00pm-1:30pm	PLSE Seminar: Derek Dreyer Room: CSE 305	PLSE Lunch RustBelt: Logical Foundations for the Future of Safe Systems Programming Czar: Chandra
Fri, Oct 12 3:30pm-4:30pm	Doug Woos, Sorawee Porncharoenwase Room: CSE 203	PLSE Reading Group Who Tests the Testers Read this blog post about the paper
Mon, Oct 15 12:00pm-1:30pm	Sam K Room: CSE 128	Program Synthesis Group DeepBugs: A Learning Approach to Name-based Bug Detection
Mon, Oct 15 3:30pm-4:30pm	Rashmi Room: CSE 203	590N: SE Reading Group Compiler Fuzzing through Deep Learning (ISSTA 2018) by Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather
Mon, Oct 15 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Tue, Oct 16 12:00pm-1:30pm	Remy Wang Room: CSE 305	PLSE Lunch WIP: Regularizing Horn Clauses via Strategy Synthesis for Ehrenfeucht–Fraïssé Games Czar: Steven
Fri, Oct 19 3:30pm-4:30pm	Talia Ringer, Jacob Van Geffen Room: CSE 203	PLSE Reading Group BP: Formal Proofs, the Fine Print and Side Effects
Mon, Oct 22 12:00pm-1:30pm	Maaz Room: CSE 128	Program Synthesis Group Generating non-equivalent programs
Mon, Oct 22 3:30pm-4:30pm	Taylor Room: CSE 203	590N: SE Reading Group PerfFuzz: Automatically Generating Pathological Inputs by Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
Mon, Oct 22 4:30pm-5:30pm	Max Room: CSE 407	PUTTY: PLSE Underground Tech Talks, Yeah! Fluidics + Chemicals = ??
Tue, Oct 23 12:00pm-1:30pm	Jared and Steven Room: CSE 305	PLSE Lunch WIP talk: Relay IR Czar: Doug
Fri, Oct 26 3:30pm-4:30pm	Nate Yazdani Room: CSE 203	PLSE Reading Group Verifying concurrent software using movers in CSPEC
Mon, Oct 29 12:00pm-1:30pm	Krzysztof Room: CSE 128	Program Synthesis Group BLeak: Automatically Debugging Memory Leaks in Web Applications
Mon, Oct 29 3:30pm-4:30pm	Sam Room: CSE 203	590N: SE Reading Group An empirical investigation into learning bug-fixing patches in the wild via neural machine translation (ASE 2018) by Michele Tufano, Cody Watson, Gabriele Bavota, Massimiliano Di Penta, Martin White, Denys Poshyvanyk
Tue, Oct 30 12:00pm-1:30pm	PLSE Seminar: Amal Ahmed Room: CSE 305	PLSE Lunch Compositional Compiler Verification for a Multi-Language World Czar: Remy
Fri, Nov 2 3:30pm-4:30pm	Gus, Steven Room: CSE 203	PLSE Reading Group Build systems a la carte
Mon, Nov 5 12:00pm-1:30pm	Ras Room: CSE 128	Program Synthesis Group Spatial: A Language and Compiler for Application Accelerators
Mon, Nov 5 3:30pm-4:30pm	Zhen Room: CSE 203	590N: SE Reading Group Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces (FSE 2018) by Jordan Henkel, Shuvendu Lahiri, Ben Liblit, Thomas Reps
Tue, Nov 6 12:00pm-1:30pm	Shumo Chu Room: CSE 305	PLSE Lunch A Meta-Theory for SQL Czar: Chandra
Fri, Nov 9 3:30pm-4:30pm	James Wilcox Room: CSE 203	PLSE Reading Group The Left Hand of Equals (ONWARD 2016)
Mon, Nov 12 12:00pm-1:30pm	– Room: CSE 128	Program Synthesis Group Veterans Day - No meeting
Tue, Nov 13 12:00pm-1:30pm	James W Room: CSE 305	PLSE Lunch Work-in-progress talk: Inferring Inductive Invariants Czar: Rashmi
Fri, Nov 16 3:30pm-4:30pm	No one Room: CSE 203	PLSE Reading Group PLDI: No Meeting
Mon, Nov 19 12:00pm-1:30pm	Sam E Room: CSE 128	Program Synthesis Group Syntax-Guided Synthesis of Datalog Programs
Mon, Nov 19 3:30pm-4:30pm	James Room: CSE 203	590N: SE Reading Group Evaluating Fuzz Testing
Mon, Nov 19 4:30pm-5:30pm	Pavel Room: CSE 407	PUTTY: PLSE Underground Tech Talks, Yeah! E-Graphs
Mon, Nov 19 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Tue, Nov 20 12:00pm-1:30pm	PLSE Room: CSE 305	PLSE Lunch Thanksgiving Week Ave Lunch
Fri, Nov 23 3:30pm-4:30pm	No Meeting Room: CSE 203	PLSE Reading Group Thanksgiving Holiday
Mon, Nov 26 12:00pm-1:30pm	Yu Room: CSE 128	Program Synthesis Group Control Plane Compression
Mon, Nov 26 3:30pm-4:30pm	Rene and Mike Room: CSE 203	590N: SE Reading Group Evaluating Test-Suite Reduction in Real-World Software Evolution (ISSTA 2018) by August Shi, Alex Gyori, Muhammad Suleman Mahmood, Peiyuan Zhao, Darko Marinov
Mon, Nov 26 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night Jodorowsky’s Dune
Tue, Nov 27 12:00pm-1:30pm	PLSE Seminar: Roopsha Samanta Room: CSE 305	PLSE Lunch TBD Czar: Chandra
Fri, Nov 30 3:30pm-4:30pm	Jared Roesch, Marisa Kirasame Room: CSE 203	PLSE Reading Group Programming with a Differentiable Forth Interpreter
Mon, Dec 3 12:00pm-1:30pm	James Room: CSE 128	Program Synthesis Group Learning to solve SMT formulas
Mon, Dec 3 3:30pm-4:30pm	Yufeng Room: CSE 203	590N: SE Reading Group Deep Learning Type Inference (FSE 2018) by Vincent J. Hellendoorn, Christian Bird, Earl T. Barr, Miltiadis Allamanis
Tue, Dec 4 12:00pm-1:30pm	Ryan Newton Room: CSE 305	PLSE Lunch Towards Software Containers with Guaranteed Reproducibility Czar: Steven
Fri, Dec 7 3:30pm-4:30pm	No Meeting Room: CSE 203	PLSE Reading Group CSE Holiday Party
Mon, Dec 10 12:00pm-1:30pm	Sarah Room: CSE 128	Program Synthesis Group Bidirectional Evaluation with Direct Manipulation
Mon, Dec 10 3:30pm-4:30pm	TBD Room: CSE 203	590N: SE Reading Group Discussion
Tue, Dec 11 12:00pm-1:30pm	PLSE Room: The Ave	PLSE Lunch Finals Week Ave Lunch
Mon, Dec 17 4:30pm-5:30pm	Holiday break Room: CSE 407	PUTTY: PLSE Underground Tech Talks, Yeah! No PUTTY
Mon, Dec 17 5pm-6pm	– Room: CSE 407	Proof Assistant User Group –
Mon, Jan 7 3:30pm-4:30pm	Mike, Rene Room: CSE 203	590N: SE Reading Group Introduction
Tue, Jan 8 12:00pm-1:30pm	John Room: CSE 305	PLSE Lunch POPL19 Practice Talk Who’s feeding you very hungry caterpillars: Remy
Fri, Jan 11 3:30pm-4:30pm	Everyone! Room: CSE 203	PLSE Reading Group Specifying 590P and Synthesizing the Schedule
Mon, Jan 14 12:00pm-1:30pm	Everyone Room: CSE 128	Program Synthesis Group Chat about plans
Mon, Jan 14 3:30pm-4:30pm	Martin Kellogg Room: CSE 203	590N: SE Reading Group Efficient static checking of library updates (FSE 2018) by Darius Foo, Hendy Chua, Jason Yeo, Ming Yi Ang, and Asankhaya Sharma
Tue, Jan 15 12:00pm-1:30pm	PLSE Group Room: CSE 403	PLSE Lunch PL Lab packing party Lunch Czar: Doug
Fri, Jan 18 3:30pm-4:30pm	Pavel and Zhen Room: CSE 303	PLSE Reading Group Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report) ICFP 2019 talk.
Mon, Jan 21 12:00pm-1:30pm	No one Room: CSE 128	Program Synthesis Group No meeting – MLK Day
Mon, Jan 21 3:30pm-4:30pm	No one Room: CSE 203	590N: SE Reading Group No meeting – MLK Day
Tue, Jan 22 12:00pm-1:30pm	TBD Room: CSE 305	PLSE Lunch TBD Lunch czar: Chandra
Fri, Jan 25 3:30pm-4:30pm	Marisa and Jared Room: CSE 403	PLSE Reading Group Destination-Passing Style for Efficient Memory Management FHPC 2017 talk.
Mon, Jan 28 12:00pm-1:30pm	Zhao Song Room: CSE 128	Program Synthesis Group Adversarial Deep Learning
Mon, Jan 28 3:30pm-4:30pm	Yim Register and Zhen Zhang Room: CSE 203	590N: SE Reading Group Darwinian Data Structure Selection (FSE 2018) by Michail Basios, Lingbo Li, Fan Wu, Leslie Kanthan, Earl Barr
Tue, Jan 29 12:00pm-1:30pm	Sarah Chasins Room: CSE 305	PLSE Lunch Web Automation for Everyone Lunch Czar: Krzysztof
Fri, Feb 1 3:30pm-4:30pm	Chandra, Gus, Krzysztof Room: CSE 403	PLSE Reading Group Denali: a goal-directed superoptimizer Tech report.
Mon, Feb 4 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Feb 4 3:30pm-4:30pm	No one Room: CSE 203	590N: SE Reading Group Snow day
Tue, Feb 5 12:00pm-1:30pm	Ave Room: University Way	PLSE Lunch Lunch Snow day
Fri, Feb 8 3:30pm-4:30pm	Snow Day Room: CSE 403	PLSE Reading Group No meeting TBD.
Mon, Feb 11 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Feb 11 3:30pm-4:30pm	Doug Woos Room: CSE 203	590N: SE Reading Group Snow day
Tue, Feb 12 12:00pm-1:30pm	Zhen Zhang Room: CSE 305	PLSE Lunch Semantic Gauge for Android Malwares (CANCELLED, Snow day) Lunch Czar: Martin
Fri, Feb 15 3:30pm-4:30pm	Remy and Marisa Room: CSE 403	PLSE Reading Group Prototyping a Functional Language using Higher-Order Logic Programming: A Functional Pearl on Learning the Ways of Lambda-Prolog/Makam If you know prolog well, you can follow the authors’ suggestion and skim the highlighted code chunks. Otherwise, try to read sections 1-7 & 11. Section 11 has a nice summary of their contribution. If you have never encountered logic programming, Atonis has a simple tutorial. There’s also a talk, but I didn’t find it to be too helpful.
Mon, Feb 18 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Feb 18 3:30pm-4:30pm	No one Room: CSE 203	590N: SE Reading Group No meeting – Presidents’ Day
Tue, Feb 19 12:00pm-1:30pm	Martin Room: CSE 305	PLSE Lunch Compliance and Verification Lunch: Chenglong (gluten free)
Fri, Feb 22 3:30pm-4:30pm	Nate, Logan, and Jack Room: CSE 403	PLSE Reading Group Structuring the Synthesis of Heap-Manipulating Programs Online demo
Mon, Feb 25 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Feb 25 3:30pm-4:30pm	Yufeng Room: CSE 203	590N: SE Reading Group Testing Probabilistic Programming Systems (FSE 2018) by Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
Tue, Feb 26 12:00pm-1:30pm	Krzysztof Room: CSE 305	PLSE Lunch Synthesizing data movement in GPU kernels using abstract dynamic programming Lunch czar: Talia
Fri, Mar 1 3:30pm-4:30pm	Talia and Chenglong Room: CSE 403	PLSE Reading Group code2vec: Learning Distributed Representations of Code Online demo Soure code, data, and trained models Another super similar paper by the same group of people
Mon, Mar 4 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Mar 4 3:30pm-4:30pm	Remy Room: CSE 203	590N: SE Reading Group Aroma: Code Recommendation via Structural Code Search (arxiv 2018) by Sifei Luan, Di Yang, Koushik Sen, Satish Chandra
Tue, Mar 5 12:00pm-1:30pm	Ave Room: University Way	PLSE Lunch Lunch Lunch czar: Vladimir Putin
Fri, Mar 8 3:30pm-4:30pm	Doug, Josh, and Miya Room: CSE 403	PLSE Reading Group Live Functional Programming with Typed Holes Read sections 1 and 2 Play with the online demo If you feel like it, watch Cyrus’s Strange Loop talk or his POPL talk
Mon, Mar 11 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Mar 11 3:30pm-4:30pm	Rashmi Room: CSE 203	590N: SE Reading Group Randomized Testing of Distributed Systems with Probabilistic Guarantees (OOPSLA 2018) by Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher
Tue, Mar 12 12:00pm-1:30pm	Everyone Room: CSE 305	PLSE Lunch Visit Days Lunch czar: TBD
Fri, Mar 15 3:30pm-4:30pm	TBD Room: CSE 403	PLSE Reading Group TBD TBD.
Mon, Mar 18 12:00pm-1:30pm	TBD Room: CSE 128	Program Synthesis Group TBD
Mon, Mar 18 3:30pm-4:30pm	Sam Kaufman Room: CSE 203	590N: SE Reading Group A practical guide for using statistical tests to assess randomized algorithms in software engineering (ICSE 2011) by Andrea Arcuri, Lionel Briand; and skim Statistical Errors in Software Engineering Experiments: A Preliminary Literature Review (ICSE 2018) by Rolando Reyes, Oscar Dieste, Efrain Fonseca, Natalia Juristo
Mon, Apr 1 3:30pm-4:30pm	Mike, Rene Room: CSE 203	590N: SE Reading Group Introduction
Tue, Apr 2 12:00pm-1:30pm	Emery Berger Room: CSE 305	PLSE Lunch Saving the World from Spreadsheets Lunch Czar: Doug
Fri, Apr 5 2:30pm-4:00pm	Chenglong Room: CSE2 245	Program Synthesis Group Visualization by Example
Fri, Apr 5 3:30pm-4:30pm	OOPSLA deadline Room: CSE 203	PLSE Reading Group No meeting, OOPSLA deadline
Mon, Apr 8 3:30pm-4:30pm	Sam K. Room: CSE 203	590N: SE Reading Group Chaff from the Wheat: Characterizing and Determining Valid Bug Reports
Tue, Apr 9 12:00pm-1:30pm	Zhen Room: CSE 305	PLSE Lunch Semantic Gauge for Android Malware Lunch Czar: Martin
Fri, Apr 12 2:30pm-4:00pm	Krzysztof Room: CSE2 245	Program Synthesis Group TBD
Fri, Apr 12 3:30pm-4:30pm	Everyone! Room: CSE 203	PLSE Reading Group Specifying 590P and Synthesizing the Schedule TBD.
Mon, Apr 15 3:30pm-4:30pm	Rashmi Room: CSE 203	590N: SE Reading Group Static Automated Program Repair for Heap Properties (ICSE 2018)
Tue, Apr 16 12:00pm-1:30pm	TBD Room: TBD	PLSE Lunch TBD Lunch czar: Doug
Fri, Apr 19 2:30pm-4:00pm	Yu Feng Room: CSE2 245	Program Synthesis Group Smart contracts
Fri, Apr 19 3:30pm-4:30pm	Doug Room: Gates 287	PLSE Reading Group Julia: dynamism and performance reconciled by design TBD.
Mon, Apr 22 3:30pm-4:30pm	Martin Room: CSE 203	590N: SE Reading Group Detecting Incorrect Build Rules (contact Martin K (kelloggm at cs dot washington dot edu) for a preprint)
Mon, Apr 22 4:30pm-5:30pm	Martin Room: CSE 407	PUTTY: PLSE Underground Tech Talks, Yeah! building a typechecker is easy and I prove it to you by doing it
Tue, Apr 23 12:00pm-1:30pm	Yu Room: CSE 305	PLSE Lunch Precise Attack Synthesis for Smart Contracts Lunch Czar: Jacob
Fri, Apr 26 2:30pm-4:00pm	Jasper Room: CSE2 245	Program Synthesis Group TBD
Fri, Apr 26 3:30pm-4:30pm	Marisa Room: Gates 287	PLSE Reading Group Capturing the future by replaying the past TBD.
Mon, Apr 29 3:30pm-4:30pm	Zhen Room: CSE 203	590N: SE Reading Group Automatically Generating Precise Oracles from Structured Natural Language Specifications (ICSE 19)
Mon, Apr 29 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night TBD
Tue, Apr 30 12:00pm-1:30pm	Lunch on the Ave Room: Lunch on the Ave	PLSE Lunch Lunch on the Ave TBD
Fri, May 3 2:30pm-4:00pm	Jacob Room: CSE2 245	Program Synthesis Group JITSynth
Fri, May 3 3:30pm-4:30pm	Talia Room: Gates 287	PLSE Reading Group Identifying refactoring opportunities for replacing type code with subclass and state TBD.
Mon, May 6 3:30pm-4:30pm	Mike Room: CSE 203	590N: SE Reading Group VFix: Value-Flow-Guided Precise Program Repair for Null Pointer Dereferences (ICSE 19)
Tue, May 7 12:00pm-1:30pm	Oak Room: CSE 305	PLSE Lunch Symbolic Optimization Coaching Lunch czar: Chandra
Fri, May 10 2:30pm-4:00pm	Sam Room: CSE2 245	Program Synthesis Group Name-value embeddings
Fri, May 10 3:30pm-4:30pm	Oak Room: Gates 287	PLSE Reading Group Root cause of blame TBD.
Mon, May 13 3:30pm-4:30pm	Rene Room: CSE 203	590N: SE Reading Group Test selection pair: Predictive Test Selection (draft; should get camera-ready); Assessing Transition-based Test Selection Algorithms at Google
Tue, May 14 12:00pm-1:30pm	Josh Room: CSE 305	PLSE Lunch Theia: The Next 700 Program Execution Visualizations Lunch czar: Zhen
Fri, May 17 2:30pm-4:00pm	Julie Room: CSE2 245	Program Synthesis Group TBD
Fri, May 17 3:30pm-4:30pm	Bill Room: Gates 287	PLSE Reading Group Compiler fuzzing through deep learning TBD.
Mon, May 20 3:30pm-4:30pm	Jose Room: CSE 203	590N: SE Reading Group BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes (ICSE 19) (optional: BugsJS: A Benchmark of JavaScript Bugs (ICST 19) and Bugs.jar: A Large-scale, Diverse Dataset of Real-world Java Bugs (MSR 18)
Tue, May 21 12:00pm-1:30pm	Remy Room: CSE 305	PLSE Lunch Wormhole Optimization and Gradient Induction Maaz
Fri, May 24 2:30pm-4:00pm	Gabriel Room: CSE2 245	Program Synthesis Group TBD
Fri, May 24 3:30pm-4:30pm	Cancelled Room: -	PLSE Reading Group Cancelled TBD.
Mon, May 27 3:30pm-4:30pm	Room: CSE 203	590N: SE Reading Group Memorial Day
Tue, May 28 12:00pm-1:30pm	Daniel Rosenwasser Room: CSE 305	PLSE Lunch TypeScript Rashmi
Wed, May 29 4:30pm-5:30pm	Pavel Room: CSE 407	PUTTY: PLSE Underground Tech Talks, Yeah! Statistics
Fri, May 31 2:30pm-4:00pm	TBD Room: CSE2 245	Program Synthesis Group TBD
Fri, May 31 3:30pm-4:30pm	Zach, Chandra, Martin Room: Gates 287	PLSE Reading Group Continuous formal verification of Amazon s2n TBD.
Mon, Jun 3 3:30pm-4:30pm	Mike Room: CSE 203	590N: SE Reading Group SMOKE: Scalable Path-Sensitive Memory Leak Detection for Millions of Lines of Code
Tue, Jun 4 12:00pm-1:30pm	Jacob Room: CSE 305	PLSE Lunch JITSynth Lunch is not Chandra, it is Chenglong
Fri, Jun 7 2:30pm-4:00pm	TBD Room: CSE2 245	Program Synthesis Group TBD
Fri, Jun 7 3:30pm-4:30pm	Steven Room: Gates 287	PLSE Reading Group Evolving a language in and for the real world: C++ 1991-2006 TBD.
Mon, Jul 29 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night TBD
Fri, Sep 27 3:30pm-4:30pm	PLSE Room: Gates 287	PL Reading Group Planning
Mon, Sep 30 3:30pm-4:30pm	Mike Room: CSE 303	590N: SE Reading Group Do Developers Discover New Tools On The Toilet?, by Emerson Murphy-Hill, Edward Smith, Caitlin Sadowski, Ciera Jaspan, Colin Winter, Matthew Jorde, Andrea Knight, Andrew Trenk, Steve Gross (ICSE 2019)
Mon, Sep 30 5:00pm-7:30pm	PLSE Room: CSE 407	Lab Movie Night TBD
Tue, Oct 1 12:00pm-1:30pm	Everyone Room: Gates 253	PLSE Lunch PLSE Town Hall Czar: Chandra
Fri, Oct 4 3:30pm-4:30pm	Max Room: Gates 287	PL Reading Group A Taste of Rewrite Systems Term Rewriting & E-Graphs 1 - Czar: Max
Mon, Oct 7 3:30pm-4:30pm	Martin Room: CSE 303	590N: SE Reading Group Distilling Neural Representations of Data Structure Manipulation using fMRI and fNIRS, by Yu Huang, Xinyu Liu, Ryan Krueger, Tyler Santander, Xiaosu Hu, Kevin Leach, and Westley Weimer (ICSE 2019)
Tue, Oct 8 12:00pm-1:30pm	Room: Gates 253	PLSE Lunch TBD Czar: Krzysztof Drewniak
Fri, Oct 11 3:30pm-4:30pm	Josh Room: Gates 287	PL Reading Group Graph Transformation for Specification and Programming Term Rewriting & E-Graphs 2 - Czar: Max Reading: Intro, Conclusion, Section 2 (esp. 2.2 and 2.4), Section 3.1, optionally the rest of 3 and 4.
Mon, Oct 14 3:30pm-4:30pm	Ben Room: CSE 303	590N: SE Reading Group Resource-aware Program Analysis via Online Abstraction Coarsening, by Kihong Heo, Hakjoo Oh, and Hongseok Yang (ICSE 2019)
Tue, Oct 15 12:00pm-1:30pm	Josh Room: Gates 253	PLSE Lunch Theia: Automatically Generating Correct Program State Visualizations Czar: Talia
Fri, Oct 18 3:30pm-4:30pm	Chandra Room: Gates 287	PL Reading Group Simplify: A Theorem Prover for Program Checking Term Rewriting & E-Graphs 3 - Czar: Max Intro, Section 4.2 “The E-Graph Module” (p. 22 in PDF), and Section 7 “The E-Graph in detail” (p. 56)
Mon, Oct 21 3:30pm-4:30pm	Rashmi Room: CSE 303	590N: SE Reading Group PIVOT: Learning API-Device Correlations to Facilitate Android Compatibility Issue Detection, by Lili Wei, Yepang Liu, and Shing-Chi Cheung (ICSE 2019)
Tue, Oct 22 12:00pm-1:30pm	Talia Room: Gates 253	PLSE Lunch Proof Engineering Tools for a New Era Czar: Oak
Fri, Oct 25 3:30pm-4:30pm	Chandra Room: Gates 287	PL Reading Group Equality Saturation: a New Approach to Optimization Term Rewriting & E-Graphs 4 - Czar: Max Reading: at least Sections 1 and 2.
Mon, Oct 28 3:30pm-4:30pm	Alexey Room: CSE 303	590N: SE Reading Group Redundant Loads: A Software Inefficiency Indicator, by Pengfei SuCollege, Shasha Wen, Hailong Yang, Milind Chabbi, and Xu Liu (ICSE 2019)
Tue, Oct 29 12:00pm-1:30pm	PLSE Room: Ave	PLSE Lunch Ave lunch
Fri, Nov 1 3:30pm-4:30pm	Remy Room: Gates 287	PL Reading Group Answer Set Programming at a Glance Vladimir Lifschitz. What Is Answer Set Programming? Vladimir Lifschitz. ASP book
Mon, Nov 4 3:30pm-4:30pm	Alex Room: CSE 303	590N: SE Reading Group Going Farther Together: The Impact of Social Capital on Sustained Participation in Open Source, by Huilian Sophie Qiu, Alexander Nolte, Anita Brown, Alexander Serebrenik, and Bogdan Vasilescu (ICSE 2019)
Tue, Nov 5 12:00pm-1:30pm	Taylor Room: Gates 253	PLSE Lunch Replicated Datatypes Czar: Zhen
Fri, Nov 8 3:30pm-4:30pm	Ben Room: Gates 287	PL Reading Group Applications of ASP
Mon, Nov 11 3:30pm-4:30pm	No one Room: CSE 303	590N: SE Reading Group Veteran’s Day holiday
Tue, Nov 12 12:00pm-1:30pm	Ben Room: Gates 253	PLSE Lunch TBD Czar: Chandra
Fri, Nov 15 3:30pm-4:30pm	Ben Room: Gates 287	PL Reading Group ASP, the Frame Problem and Plan Generation We’ll continue on with the frame problem from last week’s paper (the second half of the KR portion). Following this we will look into Lifschitz’ paper on ASP and Plan Generation.
Mon, Nov 18 3:30pm-4:30pm	Sahil Room: CSE 303	590N: SE Reading Group Scalable Approaches for Test Suite Reduction, by Emilio Cruciani, Breno Miranda, Roberto Verdecchia, and Antonia Bertolino (ICSE 2019)
Tue, Nov 19 12:00pm-1:30pm	Chenglong Room: Gates 371	PLSE Lunch Automating Data Visualization for the Masses The talk will be from 11:00am to 12:30pm at Gates 371, then we’ll have lunch in the lab Gates 253. Czar: Jacob
Fri, Nov 22 3:30pm-4:30pm	PLDI Deadline Room: Gates 287	PL Reading Group No meeting
Mon, Nov 25 3:30pm-4:30pm	Sam Room: CSE 303	590N: SE Reading Group The Seven Sins: Security Smells in Infrastructure as Code Scripts, by Akond Rahman, Chris Parnin, and Laurie Williams (ICSE 2019)
Tue, Nov 26 12:00pm-1:30pm	Martin Room: Gates 253	PLSE Lunch Verifying Object Construction Czar: Rashmi
Fri, Nov 29 3:30pm-4:30pm	Thanksgiving Room: Gates 287	PL Reading Group No meeting
Mon, Dec 2 3:30pm-4:30pm	Zhen Room: CSE 303	590N: SE Reading Group Towards Automating Precision Studies of Clone Detectors, by Vaibhav Saini, Farima Farmahini, Yadong Lu, Di Yang, Pedro Martins, Hitesh Sajnani, Pierre Baldi, and Crista Lopes (ICSE 2019)
Tue, Dec 3 12:00pm-1:30pm	Ori Lahav Room: Gates 253	PLSE Lunch Verification under causally consistent shared memory Czar: Ben
Fri, Dec 6 3:30pm-4:30pm	Nick Walker Room: Gates 287	PL Reading Group ASP application: Open-World Reasoning for Service Robots Useful tutorial for the paper: https://nickwalker.us/projects/planning-for-user-commands
Mon, Dec 9 3:30pm-4:30pm	Mike Room: CSE 303	590N: SE Reading Group iSENSE: Completion-Aware Crowdtesting Management, by Junjie Wang, Ye Yang, Rahul Krishna, Tim Menzies, and Qing Wang (ICSE 2019)
Tue, Dec 10 12:00pm-1:30pm	Everyone Room: Gates 253	PLSE Lunch Ave lunch
Mon, Jan 6 3:30pm-4:30pm	Rene Room: Gates 345	590N: SE Reading Group Introduction
Tue, Jan 7 12:00pm-1:30pm	Everyone Room: Gates 253	PLSE Lunch Welcome back Lunch czar: Krzysztof
Fri, Jan 10 3:30pm-4:30pm	Marisa Room: Gates 287	PL Reading Group Continuations: The Essence of Compiling with Continuation czar: Marisa
Fri, Jan 10 3:30pm-4:30pm	Marisa Room: Gates 287	PL Reading Group Continuations 1: The Essence of Compiling with Continuation czar: Marisa
Mon, Jan 13 3:30pm-4:30pm	Martin Room: Gates 345	590N: SE Reading Group Nullaway: practical type-based Null safety for Java
Tue, Jan 14 12:00pm-1:30pm	POPL Speakers Room: Gates 253	PLSE Lunch POPL Practice Talks Lunch Czar: Ben
Fri, Jan 17 3:30pm-4:30pm	Room: Gates 287	PL Reading Group Continuations 2: czar: Marisa
Mon, Jan 20 3:30pm-4:30pm	No meeting – holiday Room: Gates 345	590N: SE Reading Group
Tue, Jan 21 12:00pm-1:30pm	Max Room: Gates 253	PLSE Lunch Egg Lunch Czar: Chandra
Fri, Jan 24 3:30pm-4:30pm	Ben, Chandra Room: Gates 287	PL Reading Group Defunctionalization at work czar: Marisa
Mon, Jan 27 3:30pm-4:30pm	Sam K. Room: Gates 345	590N: SE Reading Group Notation as a tool of thought
Tue, Jan 28 12:00pm-1:30pm	Everyone! Room: Ave	PLSE Lunch Ave lunch
Fri, Jan 31 3:30pm-4:30pm	Oak Room: Gates 287	PL Reading Group Multi-stage Programming 1: czar: Oak
Mon, Feb 3 3:30pm-4:30pm	Anant Room: Gates 345	590N: SE Reading Group Probabilistic Programming
Tue, Feb 4 12:00pm-1:30pm	Jacob Room: Gates 253	PLSE Lunch Quantum and PL Lunch Czar: Talia
Fri, Feb 7 3:30pm-4:30pm	Room: Gates 287	PL Reading Group Multi-stage Programming 2: czar: Oak
Mon, Feb 10 3:30pm-4:30pm	Josh Room: Gates 345	590N: SE Reading Group Binary reduction of dependency graphs
Tue, Feb 11 12:00pm-1:30pm	Josh Room: Gates 253	PLSE Lunch Project Sidewinder: Transforming Program State Visualizations Lunch czar: Gus
Fri, Feb 14 3:30pm-4:30pm	Room: Gates 287	PL Reading Group Multi-stage Programming 3: czar: Oak
Mon, Feb 17 3:30pm-4:30pm	No meeting – holiday Room: Gates 345	590N: SE Reading Group
Tue, Feb 18 12:00pm-1:30pm	Zhen Room: Gates 253	PLSE Lunch Liquid: a high-level semantic pattern-matching DSL for program binaries Lunch czar: Chandra
Fri, Feb 21 3:30pm-4:30pm	Room: Gates 287	PL Reading Group Multi-stage Programming 4: czar: Oak
Mon, Feb 24 3:30pm-4:30pm	Rashmi Room: Gates 345	590N: SE Reading Group Detection and Repair of Architectural Inconsistencies in Java
Tue, Feb 25 12:00pm-1:30pm	Everyone! Room: Ave	PLSE Lunch Ave lunch
Fri, Feb 28 3:30pm-4:30pm	Jacob Room: Gates 287	PL Reading Group OS Verification: czar: Jacob
Mon, Mar 2 3:30pm-4:30pm	Ben Room: Gates 345	590N: SE Reading Group Semantic Fuzzing with Zest
Tue, Mar 3 12:00pm-1:30pm	Chandra Room: Gates 253	PLSE Lunch Szalinski: High Level Structure Synthesis for CAD Lunch czar: Remy
Fri, Mar 6 3:30pm-4:30pm	Room: Gates 287	PL Reading Group OS Verification: czar: Jacob
Mon, Mar 9 3:30pm-4:30pm	Zhen Room: Gates 345	590N: SE Reading Group BDA: Practical Dependence Analysis for Binary Executables by Unbiased Whole-Program Path Sampling and Per-Path Abstract Interpretation
Tue, Mar 10 12:00pm-1:30pm	Cancelled due to COVID-19 Room: No lunch	PLSE Lunch Cancelled due to COVID-19
Fri, Mar 13 3:30pm-4:30pm	Room: Gates 287	PL Reading Group OS Verification: czar: Jacob
Mon, Mar 30 3:30pm-4:30pm	TODO Room: Zoom	590N: SE Reading Group TODO
Tue, Mar 31 12:00pm-1:30pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Welcome back
Mon, Apr 6 3:30pm-4:30pm	Josh Pollock Room: Zoom	590N: SE Reading Group Incorrectness Logic
Tue, Apr 7 12:00pm-1:30pm	Oak Room: Zoom	PLSE (Virtual) Lunch Error tracer for symbolic evaluation
Mon, Apr 13 3:30pm-4:30pm	Ben Room: Zoom	590N: SE Reading Group Typestate-Guided Fuzzer for Discovering Use-after-Free Vulnerabilities
Tue, Apr 14 12:00pm-1:30pm	TBD Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Apr 20 3:30pm-4:30pm	Sahil Verma Room: Zoom	590N: SE Reading Group Structure-Invariant Testing for Machine Translation
Tue, Apr 21 12:00pm-1:30pm	TBD Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Apr 27 3:30pm-4:30pm	Kevin Ellis (MIT) Room: Zoom	590N: SE Reading Group Meeting replaced by faculty candidate talk
Tue, Apr 28 12:00pm-1:30pm	Luis Vega Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, May 4 3:30pm-4:30pm	Eunice Room: Zoom	590N: SE Reading Group When Not to Comment
Tue, May 5 12:00pm-1:30pm	Gus Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, May 11 3:30pm-4:30pm	Sam K. Room: Zoom	590N: SE Reading Group Training Binary Classifiers as Data Structure Invariants
Tue, May 12 12:00pm-1:30pm	Martin Room: Zoom	PLSE (Virtual) Lunch Big Experiments with Little Checkers
Mon, May 18 3:30pm-4:30pm	Rashmi Room: Zoom	590N: SE Reading Group Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Tue, May 19 12:00pm-1:30pm	Chandra Room: Zoom	PLSE (Virtual) Lunch Early draft of PLDI talk on Szalinski
Mon, May 25 3:30pm-4:30pm	No meeting – Memorial Day Room: Zoom	590N: SE Reading Group
Tue, May 26 12:00pm-1:30pm	Josh M. Pollock Room: Zoom	PLSE (Virtual) Lunch Sidewinder: Senior Thesis Presentation
Mon, Jun 1 3:30pm-4:30pm	Zhen Zhang Room: Zoom	590N: SE Reading Group Extracting Taint Specifications for JavaScript Libraries
Tue, Jun 2 12:00pm-1:30pm	TBD Room: TBD	PLSE (Virtual) Lunch TBD
Mon, Jun 8 3:30pm-4:30pm	Martin Room: Zoom	590N: SE Reading Group Tailoring Programs for Static Analysis via Program Transformation
Tue, Jun 9 12:00pm-1:30pm	Taylor Room: Zoom	PLSE (Virtual) Lunch Verifying Strong Eventual Consistency in δ-CRDTs
Mon, Oct 5 3:30pm-4:30pm	Rene Room: Zoom	590N: SE Reading Group Introduction
Tue, Oct 6 12:00pm-1:30pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Lightning Talks
Mon, Oct 12 3:30pm-4:30pm	No meeting Room: Zoom	590N: SE Reading Group
Tue, Oct 13 12:00pm-1:30pm	Talia Ringer Room: Zoom	PLSE (Virtual) Lunch Proof Repair Across Type Equivalences
Mon, Oct 19 3:30pm-4:30pm	Thomas and Zhen Room: Zoom	590N: SE Reading Group Software Documentation: The Practitioners’ Perspective
Tue, Oct 20 12:00pm-1:30pm	Maaz Ahmad Room: Zoom	PLSE (Virtual) Lunch Semantic Code Transformations by Verified Lifting
Mon, Oct 26 3:30pm-4:30pm	Nico Room: Zoom	590N: SE Reading Group Here We Go Again: Why Is It Difficult for Developers to Learn Another Programming Language?
Tue, Oct 27 12:00pm-1:30pm	TBD Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Nov 2 3:30pm-4:30pm	Wilson and Sam Room: Zoom	590N: SE Reading Group An Empirical Study on Program Failures of Deep Learning Jobs
Tue, Nov 3 12:00pm-1:30pm	Oak Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Nov 9 3:30pm-4:30pm	Arthur and Katharine Room: Zoom	590N: SE Reading Group The Secret Life of Bugs: Going Past the Errors and Omissions in Software Repositories
Tue, Nov 10 12:00pm-1:30pm	Stephanie Balzer, CMU Room: Zoom	PLSE (Virtual) Lunch Manifest Deadlock-Freedom for Shared Session Types
Mon, Nov 16 3:30pm-4:30pm	Lior and Nick Room: Zoom	590N: SE Reading Group Version Control Systems: An Information Foraging Perspective
Tue, Nov 17 12:00pm-1:30pm	Jacob Room: Zoom	PLSE (Virtual) Lunch Synthesizing Crash Consistency Code
Mon, Nov 23 3:30pm-4:30pm	Audrey & Ben Room: Zoom	590N: SE Reading Group Flexeme: Untangling Commits Using Lexical Flows
Tue, Nov 24 12:00pm-1:30pm	Aviral Goel Room: Zoom	PLSE (Virtual) Lunch On the Design, Implementation, and Use of Laziness in R
Mon, Nov 30 3:30pm-4:30pm	Eunice & Rashmi Room: Zoom	590N: SE Reading Group Abstracting failure-inducing inputs
Tue, Dec 1 12:00pm-1:30pm	Chandra Room: Zoom	PLSE (Virtual) Lunch Ruler: Rewrite Rule Inference Using Equality Saturation
Mon, Dec 7 3:30pm-4:30pm	Syed Room: Zoom	590N: SE Reading Group A Study on the Lifecycle of Flaky Tests
Tue, Dec 8 12:00pm-1:30pm	Chenglong Room: Zoom	PLSE (Virtual) Lunch Falx: Synthesis Powered Data Visualization
Mon, Dec 14 3:30pm-4:30pm	Martin and Michael F. Room: Zoom	590N: SE Reading Group Revealing Injection Vulnerabilities by Leveraging Existing Tests
Tue, Jan 5 12:00pm-1:00pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Planning
Mon, Jan 11 3:30pm-4:30pm	Rene Room: Zoom	590N: SE Reading Group Introduction
Tue, Jan 12 12:00pm-1:00pm	TBD Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Jan 18 3:30pm-4:30pm	No meeting – holiday Room: Zoom	590N: SE Reading Group
Tue, Jan 19 12:00pm-1:00pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Research Potpourri
Mon, Jan 25 3:30pm-4:30pm	Rashmi Room: Zoom	590N: SE Reading Group Build Scripts with Perfect Dependencies
Tue, Jan 26 12:00pm-1:00pm	Julie Room: Zoom	PLSE (Virtual) Lunch Formal methods and program synthesis for authoring and maintaining term rewriting systems
Mon, Feb 1 3:30pm-4:30pm	Katharine and Zhen Room: Zoom	590N: SE Reading Group Please Turn Your Cameras On: Remote Onboarding of Software Developers during a Pandemic
Tue, Feb 2 12:00pm-1:00pm	Thomas Room: Zoom	PLSE (Virtual) Lunch Can Refactorings Indicate Design Tradeoffs?
Mon, Feb 8 3:30pm-4:30pm	Audrey and Ben Room: Zoom	590N: SE Reading Group Boosting Fuzzer Efficiency: An Information-Theoretic Perspective
Tue, Feb 9 12:00pm-1:00pm	Martin Room: Zoom	PLSE (Virtual) Lunch Using types to verify that resources are closed
Mon, Feb 15 3:30pm-4:30pm	No meeting – holiday Room: Zoom	590N: SE Reading Group
Tue, Feb 16 12:00pm-1:00pm	Steven Room: Zoom	PLSE (Virtual) Lunch Dynamic Tensor Rematerialization
Mon, Feb 22 3:30pm-4:30pm	James Room: Zoom	590N: SE Reading Group When APIs are Intentionally Bypassed: An Exploratory Study of API Workarounds
Tue, Feb 23 12:00pm-1:00pm	Rashmi Room: Zoom	PLSE (Virtual) Lunch Verifying Iteration Correctness
Mon, Mar 1 3:30pm-4:30pm	Nico Room: Zoom	590N: SE Reading Group No Strings Attached: An Empirical Study of String-related Software Bugs
Tue, Mar 2 12:00pm-1:00pm	Bill Zorn Room: Zoom	PLSE (Virtual) Lunch Rounding correctly, or correctly rounding?: the future of sinking-point
Mon, Mar 8 3:30pm-4:30pm	Martin Room: Zoom	590N: SE Reading Group Community Expectations for Research Artifacts and Evaluation Processes
Tue, Mar 9 12:00pm-1:00pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Visit Day Prep
Mon, Mar 15 3:30pm-4:30pm	Thomas Room: Zoom	590N: SE Reading Group Assessing Practitioner Beliefs about Software Defect Prediction
Mon, Mar 29 3:30pm-4:30pm	Rene Room: Zoom	590N: SE Reading Group Introduction
Tue, Mar 30 12:00pm-1:00pm	Everyone Room: Zoom	PLSE (Virtual) Lunch Planning
Mon, Apr 5 3:30pm-4:30pm	Martin Room: Zoom	590N: SE Reading Group Automatically Eliminating Speculative Leaks from Cryptographic Code with Blade
Tue, Apr 6 12:00pm-1:00pm	TBD Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Apr 12 3:30pm-4:30pm	Ben Room: Zoom	590N: SE Reading Group TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-repair
Tue, Apr 13 12:00pm-1:00pm	Ryan Doenges Room: Zoom	PLSE (Virtual) Lunch Petr4: Formal Foundations for P4 Data Planes
Mon, Apr 19 3:30pm-4:30pm	Audrey Room: Zoom	590N: SE Reading Group A Tale from the Trenches: Cognitive Biases and Software Development
Tue, Apr 20 12:00pm-1:00pm	Jacob Room: Zoom	PLSE (Virtual) Lunch TBD
Mon, Apr 26 3:30pm-4:30pm	Thomas Room: Zoom	590N: SE Reading Group How (Not) to Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, and Bugs
Tue, Apr 27 12:00pm-1:00pm	Steven Room: Zoom	PLSE (Virtual) Lunch 3LA
Mon, May 3 3:30pm-4:30pm	James Room: Zoom	590N: SE Reading Group Aspect Oriented Programming
Tue, May 4 12:00pm-1:00pm	Rashmi Room: Zoom	PLSE (Virtual) Lunch Verifying Determinism in Sequential Programs - ICSE practice talk
Mon, May 10 3:30pm-4:30pm	Blarry + Nico Room: Zoom	590N: SE Reading Group Exempla gratis (E.G.): code examples for free
Tue, May 11 12:00pm-1:00pm	Gus Room: Zoom	PLSE (Virtual) Lunch Glenside
Mon, May 17 3:30pm-4:30pm	Jerome + Rock Room: Zoom	590N: SE Reading Group White-box Fairness Testing through Adversarial Sampling
Tue, May 18 12:00pm-1:00pm	Loris D’Antoni Room: Zoom	PLSE (Virtual) Lunch Programmable Program Synthesis
Mon, May 24 3:30pm-4:30pm	No meeting - holiday (Victoria Day, CAN) Room: Zoom	590N: SE Reading Group
Tue, May 25 12:00pm-1:00pm	TBD Room: Zoom	PLSE (Virtual) Lunch Likely canceled in deference to Grad Lunch With the Director
Mon, May 31 3:30pm-4:30pm	Arthur Room: Zoom	590N: SE Reading Group How Do Software Developers Use GitHub Actions to Automate Their Workflows?
Tue, Jun 1 12:00pm-1:00pm	Yihong Zhang Room: Zoom	PLSE (Virtual) Lunch Relational E-graphs
Mon, Jun 7 3:30pm-4:30pm	Rashmi Room: Zoom	590N: SE Reading Group JShrink: In-Depth Investigation into Debloating Modern Java Applications
Fri, Oct 1 1:00pm-2:00pm	Rachit Nigam, PhD Student, Cornell University Room: Gates 231	PLSE Talks Compiler Infrastructure for Accelerator Generators
Mon, Oct 4 3:30pm-4:30pm	Rene & Mike Room: Zoom	590N: SE Reading Group Introduction
Fri, Oct 8 1:00pm-2:00pm	Jacques Klein Room: Gates 231	PLSE Talks A Journey Through Android App Analysis: Solutions and Open Challenges
Mon, Oct 11 3:30pm-4:30pm	Ben (Indigenous People’s Day, Canadian Thanksgiving) Room: Zoom	590N: SE Reading Group Input Algebras
Fri, Oct 15 1:00pm-2:00pm	Luis Vega Room: https://washington.zoom.us/my/vegaluisjose	PLSE Talks Luis’s General Exam (at 11:30am)
Mon, Oct 18 3:30pm-4:30pm	Bowen Room: Zoom	590N: SE Reading Group MicroHECL: High-Efficient Root Cause Localization in Large-Scale Microservice Systems
Fri, Oct 22 1:00pm-2:00pm	Room: Gates 231	PLSE Talks OOPSLA week
Mon, Oct 25 3:30pm-4:30pm	Thomas Room: Zoom	590N: SE Reading Group Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems
Fri, Oct 29 1:00pm-2:00pm	Oak Room: Gates 231	PLSE Talks An Expressive, Optimal, and Somewhat Efficient Pretty Printer
Mon, Nov 1 3:30pm-4:30pm	Ardi Madadi Room: Zoom	590N: SE Reading Group What It Would Take to Use Mutation Testing in Industry—A Study at Facebook
Thu, Nov 4 12:00pm-1:00pm	Mangpo Phothilimthana Room: https://washington.zoom.us/j/94654922114	PLSE Talks Autotuning Production Machine Learning Compilers
Fri, Nov 5 1:00pm-2:00pm	Daniel Shapero Room: Gates 231	PLSE Talks Geometry, topology, and homology, oh my! (Mesh transformations via SMT)
Mon, Nov 8 3:30pm-4:30pm	Ryan Featherman Room: Zoom	590N: SE Reading Group Estimating Residual Risk in Greybox Fuzzing
Fri, Nov 12 1:00pm-2:00pm	Jacob Van Geffen Room: Gates 231	PLSE Talks TBD
Mon, Nov 15 3:30pm-4:30pm	Hannah + Terrell Room: Zoom	590N: SE Reading Group How Do Programmers Use Unsafe Rust?
Fri, Nov 19 1:00pm-2:00pm	Room: Gates 253	PLSE Talks PLDI deadline
Mon, Nov 22 3:30pm-4:30pm	James + Arthur Room: Zoom	590N: SE Reading Group Towards Activity-Aware Tool Support for Change Tasks
Fri, Nov 26 1:00pm-2:00pm	Thanksgiving Holiday Room: Gates 253	PLSE Talks
Mon, Nov 29 3:30pm-4:30pm	Nico Room: Zoom	590N: SE Reading Group Relating Reading, Visualization, and Coding for New Programmers: A Neuroimaging Study
Fri, Dec 3 1:00pm-2:00pm	Remy Wang Room: Gates 231	PLSE Talks What is the Logic of Databases?
Mon, Dec 6 3:30pm-4:30pm	Martin Room: Zoom	590N: SE Reading Group JavaDL: Automatically Incrementalizing Java Bug Pattern Detection
Fri, Dec 10 1:00pm-2:00pm	Room: Gates 231	PLSE Talks
Mon, Dec 13 3:30pm-4:30pm	Bernease & Rene Room: Zoom	590N: SE Reading Group Fairness through awareness
Fri, Jan 7 1:00pm-2:00pm	Steven Lyubomirsky Room: Gates 253	PLSE Talks Practice job talk
Mon, Jan 10 3:30pm-4:30pm	Mike and Rene Room: Zoom/CSE2 345	590N: SE Reading Group CiFi: Versatile Analysis of Class and Field Immutability
Fri, Jan 14 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Jan 17 3:30pm-4:30pm	No meeting – holiday Room: Zoom/CSE2 345	590N: SE Reading Group
Fri, Jan 21 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Jan 24 3:30pm-4:30pm	Bowen Room: Zoom/CSE2 345	590N: SE Reading Group HALO: Hierarchy-aware Fault Localization for Cloud Systems
Fri, Jan 28 1:00pm-2:00pm	Steven Lyubomirsky Room: Gates 253	PLSE Talks Practice job talk (another one)
Mon, Jan 31 3:30pm-4:30pm	Thomas Room: Zoom/CSE2 345	590N: SE Reading Group The Mind Is a Powerful Place: How Showing Code Comprehensibility Metrics Influences Code Understanding
Fri, Feb 4 1:00pm-2:00pm	Martin Room: Gates 253	PLSE Talks Practice job talk
Mon, Feb 7 3:30pm-4:30pm	Michael Room: Zoom/CSE2 345	590N: SE Reading Group ‘Do this! Do that!, And nothing will happen’ Do specifications lead to securely stored passwords?
Fri, Feb 11 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Feb 14 3:30pm-4:30pm	James Room: Zoom/CSE2 345	590N: SE Reading Group Hard-to-answer questions about code
Fri, Feb 18 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Feb 21 3:30pm-4:30pm	No meeting – holiday Room: Zoom/CSE2 345	590N: SE Reading Group
Fri, Feb 25 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Feb 28 3:30pm-4:30pm	Nico Room: Zoom/CSE2 345	590N: SE Reading Group Hashing It Out: A Survey of Programmers’ Cannabis Usage, Perception, and Motivation
Fri, Mar 4 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Mar 7 3:30pm-4:30pm	Ben Room: Zoom/CSE2 345	590N: SE Reading Group Growing A Test Corpus with Bonsai Fuzzing
Fri, Mar 11 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Mar 14 3:30pm-4:30pm	Chase Room: Zoom/CSE2 345	590N: SE Reading Group ‘How Was Your Weekend?’ Software Development Teams Working From Home During COVID-19
Fri, Mar 18 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Mar 28 3:30pm-4:30pm	René Room: Zoom + CSE2 245	590N: SE Reading Group Introduction, logistics, and paper selection
Fri, Apr 1 1:00pm-2:00pm	Everyone! Room: Boat?	PLSE Talks Visit Days!
Mon, Apr 4 3:30pm-4:30pm	Ardi Madadi Room: Zoom + CSE2 245	590N: SE Reading Group Semantic Bug Seeding: A Learning-Based Approach for Creating Realistic Bugs
Fri, Apr 8 1:00pm-2:00pm	Josh Pollock Room: Gates 253	PLSE Talks Towards a Design-Space Evaluation of Domain-Specific Languages
Mon, Apr 11 3:30pm-4:30pm	Hannah Potter Room: Zoom + CSE2 245	590N: SE Reading Group How statically-typed functional programmers write code
Fri, Apr 15 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, Apr 18 3:30pm-4:30pm	Nico Ritschel Room: Zoom + CSE2 245	590N: SE Reading Group An Empirical Study of Release Note Production and Usage in Practice
Fri, Apr 22 1:00pm-2:00pm	Eric Mullen Room: Gates 253	PLSE Talks EARTH DAY: Energy-aware Scheduling – Rescheduled to May 20
Mon, Apr 25 3:30pm-4:30pm	Thomas Schweizer Room: Zoom + CSE2 245	590N: SE Reading Group FIRA: Fine-Grained Graph-Based Code Change Representation for Automated Commit Message Generation
Fri, Apr 29 1:00pm-2:00pm	TBD Room: Gates 253	PLSE Talks TBD
Mon, May 2 3:30pm-4:30pm	Michael Flanders Room: Zoom + CSE2 245	590N: SE Reading Group Less is More: Supporting Developers in Vulnerability Detection during Code Review
Fri, May 6 1:00pm-2:00pm	Gus Smith Room: Gates 371 (NOT the PLSE lab!)	PLSE Talks Gus Smith’s General Exam
Mon, May 9 3:30pm-4:30pm	Marie Salomon Room: Zoom + CSE2 245	590N: SE Reading Group Are automated debugging techniques actually helping programmers?
Fri, May 13 1:00pm-2:00pm	Yihong Zhang Room: Gates 253 (The presenter will be remote)	PLSE Talks Chasing an Egg
Mon, May 16 3:30pm-4:30pm	James Yoo Room: Zoom + CSE2 245	590N: SE Reading Group Hiring is Broken: What Do Developers Say About Technical Interviews?
Fri, May 20 1:00pm-2:00pm	Eric Mullen Room: Gates 253	PLSE Talks EARTH DAY: Energy-aware Scheduling – Rescheduled to May 20
Mon, May 23 3:30pm-4:30pm	Ben Kushigian Room: Zoom + CSE2 245	590N: SE Reading Group Refty: Refinement Types for Valid Deep Learning Models
Fri, May 27 1:00pm-2:00pm	Lancelot Wathieu Room: Gates 253	PLSE Talks Fridge Compiler
Mon, May 30 3:30pm-4:30pm	No meeting – holiday Room: Zoom + CSE2 245	590N: SE Reading Group
Fri, Jun 3 1:00pm-2:00pm	Marisa Kirisame Room: Gates 371	PLSE Talks Optimal Heap Limits for Reducing Browser Memory Use Note room: Not the PLSE lab!
Mon, Jun 6 3:30pm-4:30pm	Martin Kellogg Room: Zoom + CSE2 245	590N: SE Reading Group Diversity-Driven Automated Formal Verification
Mon, Sep 29 3:30pm-4:30pm	Everyone Room: CSE2 287	590N: SE Reading Group Computer Programming as an Art
Mon, Oct 6 3:30pm-4:30pm	Mike Room: CSE2 287	590N: SE Reading Group SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
Mon, Oct 13 3:30pm-4:30pm	Yuki Room: CSE2 287	590N: SE Reading Group ROCODE: Integrating Backtracking Mechanism and Program Analysis in Large Language Models for Code Generation
Mon, Oct 20 3:30pm-4:30pm	James Room: CSE2 287	590N: SE Reading Group Neurosymbolic Modular Refinement Type Inference
Mon, Oct 27 3:30pm-4:30pm	Hannah Room: CSE2 287	590N: SE Reading Group Natural Language Outlines for Code: Literate Programming in the LLM Era
Mon, Nov 3 3:30pm-4:30pm	Tijana Room: CSE2 287	590N: SE Reading Group SpecRover: Code Intent Extraction via LLMs
Mon, Nov 10 3:30pm-4:30pm	Nicholas Room: CSE2 287	590N: SE Reading Group Prompt-to-SQL Injections in LLM-Integrated Web Applications: Risks and Defenses
Mon, Nov 17 3:30pm-4:30pm	Edward Room: CSE2 287	590N: SE Reading Group Explaining Explanations: An Empirical Study of Explanations in Code Reviews
Mon, Nov 24 3:30pm-4:30pm	Andrew Room: CSE2 287	590N: SE Reading Group Demystifying LLM-Based Software Engineering Agents
Mon, Dec 1 3:30pm-4:30pm	Christina Room: CSE2 287	590N: SE Reading Group Planning a Large Language Model for Static Detection of Runtime Errors in Code Snippets

Subscribe to aggregated calendar: iCal or Google Calendar