PNW PLSE

PNW PLSE 2016

The 2016 edition of PNW PLSE took place on Tuesday, March 15 at the Paul G. Allen Center for Computer Science & Engineering!

Schedule

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

• Data Structure Synthesis (Slides)
  • Calvin Loncaric, University of Washington
• Generating Evil Test Strings for Regular Expressions (Slides)
  • Eric Larson, Seattle University
• Natural Language Processing Meets Software Testing (Slides)
  • Michael D. Ernst, University of Washington
• Investigating Program Behavior with Texada, an LTL Specifications Miner (Slides)
  • Ivan Beschastnikh, University of British Columbia
• Just-In-Time Static Analysis (Slides)
  • Ben Livshits, University of Washington and Microsoft Research

Session 2: New Languages (Chair: Emina Torlak)

• Teaching with Grace in Introductory Programming Courses (Slides)
  • Andrew P. Black, Portland State University
• Chapel: Productive Paralle Programming from the Pacific Northwest (Slides)
  • Brad Chamberlain, University of Washington and Cray
• Dart: Experiences Compiling to JavaScript (Slides)
  • Vijay Menon, Google Seattle
• Choice Calculus & Variational Programming (Slides)
  • Eric Walkingshaw, Oregon State University

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

• Differential Program Verification: Leveraging and Extending Program Verification for Reasoning about Program Differences (Slides)
  • Shuvendu Lahiri, University of Washington
• Static Analysis for Security at Facebook scale (Slides)
  • Francesco Logozzo, Facebook
• Verification of Type Systems via Symbolic Execution (Slides)
  • Kartik Chandra, Henry M. Gunn High School
• Towards a Formally Verified Storage Stack (Slides)
  • Xi Wang, University of Washington

Lightning Talks (Chair: Zach Tatlock)

• Semantic Software Adaptation Using Verified Lifting (Slides)
  • Alvin Cheung, University of Washington
• Modelling program semantics in an automated program verifier (Slides)
  • K. Rustan M. Leino, Microsoft Research
• BlinkFill: Semi-supervised Data Transformation by Examples (Slides)
  • Rishabh Singh, Microsoft Research
• Using the CycleFree Methodology to construct correct concurrent programs (Slides)
  • Rich LeBlanc, Seattle University
• Live Programming for Live Data
  • Rob DeLine, Microsoft Research
• Disruptive Technology and the Future of Programming Language Research
  • Ben Zorn, Microsoft Research