PNW PLSE 2016

Tuesday, March 15, 2016

Gates Commons

Paul G. Allen School of Computer Science & Engineering


In the media

Allen School News

Find us on twitter at #pnwplse16!

Zach Tatlock (center) and Alvin Cheung (right) preparing for a presentation.

Schedule

Session 1: Tools and Synthesis (Chair: Rishabh Singh)

12:00-12:20 | Welcome and Lunch

12:20-12:40 | Calvin Loncaric (UW) on Data Structure Synthesis

12:40-1:00 | Eric Larson (Seattle University) on Generating Evil Test Strings for Regular Expressions

1:00-1:20 | Michael Ernst (UW) on Natural Language Processing Meets Software Testing

1:20-1:40 | Ivan Beschastnikh (UBC) on Investigating Program Behavior with Texada, an LTL Specifications Miner

1:40-2:00 | Ben Livshits (MSR / UW) on Just-In-Time Static Analysis

2:00-2:30 | Break

Session 2: New Languages (chair: Emina Torlak)

2:30-2:50 | Andrew P Black (PSU) on Teaching with Grace in Introductory Programming Classes

2:50-3:10 | Brad Chamberlain (Cray / UW) on Chapel: Productive Parallel Programming from the Pacific Northwest

3:10-3:30 | Vijay Menon (Google Seattle) on Dart: Experiences compiling to JavaScript

3:30-3:50 | Eric Walkingshaw (OSU) on Choice Calculus & Variational Programming

3:50-4:20 | Break

Session 3 Analysis and Formal Methods (chair: Ben Zorn)

4:20-4:40 | Shuvendu Lahiri (MSR) on Differential Program Verification: Leveraging and Extending Program Verification for Reasoning about Program Differences

4:40-5:00 | Francesco Logozzo (Facebook) on Static Analysis for Security at Facebook scale

5:00-5:20 | Kartik Chandra (Henry M. Gunn High School) on Verification of Type Systems via Symbolic Execution

5:20-5:40 | Xi Wang (UW) on Towards a Formally Verified Storage Stack

5:40-6:00 | Reception

Lightning Talks (Chair: Zach Tatlock)

6:00-6:10 | Alvin Cheung (UW) on Semantic Software Adaptation Using Verified Lifting

6:10-6:20 | K. Rustan M. Leino (MSR) on Modeling program semantics in an automated program verifier

6:20-6:30 | Rishabh Singh (MSR) on BlinkFill: Semi-supervised Data Transformation by Examples

6:30-6:40 | Rich LeBlanc (Seattle University) on Using the CycleFree Methodology to construct correct concurrent programs

6:40-6:50 | Rob DeLine (MSR) on Live Programming for Live Data

6:50-7:00 | Ben Zorn (MSR) on Disruptive Technology and the Future of Programming Language Research

7:00 | Adjourn