PNW PLSE 2016
Tuesday, March 15, 2016
Gates Commons
Paul G. Allen School of Computer Science & Engineering
In the media
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