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

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)

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

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

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

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

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

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

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

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

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

Subscribe to aggregated calendar: iCal or Google Calendar