Presentations and Events

Programming Language Design & Implementation 2013
June 16–22, 2013 | Seattle, WA, United States

This page highlights talks, tutorials, and co-located events in which members of the Microsoft Research team will participate.

Main PLDI Event

Keynote Address

  • Look Up: Your Future is in the Cloud
    Jim Larus, Microsoft Research
    Monday June 17, 9:00–10:00 A.M.

See complete conference program

Papers Co-Authored by Microsoft Research

The following papers, which will be presented at PLDI2013, were authored or co-authored by members of the Microsoft Research team.

Monday, June 17

Tuesday, June 18

  • Almost-Correct Specifications: A Modular Semantic Framework for Assigning Confidence to Warnings
    Sam Blackshear, Shuvendu Lahiri
    Track: Verification 1; 1:30–2:45 P.M.
  • Reasoning about Nondeterminism in Programs
    Byron Cook, Eric Koskinen
    Track: Verification 1; 1:30–2:45 P.M.
  • Concurrent Libraries with Foresight
    Guy Golan Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav
    Track: Concurrency1; 1:30–2:45 P.M.
  • Using Managed Runtime Systems to Tolerate Holes in Wearable Memories
    Tiejun Gao, Karin Strauss, Kathryn McKinley, Steve Blackburn, James Larus, Doug Burger
    Track: Memory Management; 3:10–4:00 P.M.

Wednesday, June 19

  • P: Safe Asynchronous Event-Driven Programming
    Ankush Desai, Vivek Gupta (Microsoft), Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Damien Zufferey
    Track: Language Design; 10:30–11:45 A.M.
  • Verifying Higher-order Programs with the Dijkstra Monad
    Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits
    Track: Monads and FRP; 1:30–2:45 P.M.
  • Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths
    Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani
    Track: Alias Analysis; 1:30–2:45 P.M.

See all accepted papers

Microsoft Research Tutorials

Sunday, June 16

See all tutorials

Co-Located Events

Wednesday, June 19

TAPAS 2013 (The Fourth Workshop on Tools for Automatic Program Analysis)

Thursday, June 20

PLAS 2013 (ACM SIGPLAN Eighth Workshop on Programming Languages and Analysis for Security)

ISMM 2013 (ACM SIGPLAN International Symposium on Memory Management)

  • Keynote: Safety-First Approach to Memory Consistency Models
    Madan Musuvathi, Microsoft Research

PASTE 2013 (11th ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering)

Thursday through Saturday, June 20–22

SAS 2013 (20th Static Analysis Symposium)

Friday, June 21

PLOOC 2013 (1st Workshop on Programming Languages Technology
for Massive Open Online Courses)