Papers Co-Authored by Microsoft Research

Principles of Programming Languages 2013
January 23–25, 2013 | Rome, Italy

The following papers, which were presented at Principals of Programming Languages 2013 (POPL 2013) and co-located events, were authored or co-authored by members of the Microsoft Research team.

Pre-POPL 2013 Co-Located Events

SVARM (Workshop on Synthesis, Verification and Analysis of Rich Models)
January 20–21, 2013

Invited Talk: Logic as the Lingua Franca of Software Verification
Kenneth L. McMillan
Monday, January 21, 18:00–19:00

VMCAI 2013 (Conference on Verification, Model Checking, and Abstract Interpretation)
January 20–22, 2013

Invited Talk: A Model-Constructing Satisfiability Calculus
Leonardo de Moura
Sunday, January 20, 9:00–10:00
Automatic Inference of Necessary Preconditions
Patrick Cousot, Radhia Cousot, Manuel Fähndrich, and Francesco Logozzo
Sunday, January 20, 16:30-17:00
Static Analysis of String Encoders and Decoders
Loris D'Antoni and Margus Veanes
Monday, January 21, 10:30–11:00
Abstract Read Permissions: Fractional Permissions Without the Fractions
Stefan Heule, Rustan Leino, Peter Müller, and Alexander Summers
Monday, January 21, 17:00-17:30

DDFP 2013 (Data Driven Functional Programming Workshop)
Tuesday, January 22, 2013

Themes in Information-Rich Functional Programming for Internet-Scale Data Sources
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri (Microsoft Research), and Tomas Petricek
Session: 10:30–11:30
Invited Tutorial, Try F#—Type Providers in Your Browser
Christophe Poulain
Session: 14:00–15:00

Main POPL 2013 Conference

Wednesday, January 23, 2013

Invited Talk: Engineering Mathematics: the Odd Order Theorem Proof
Georges Gonthier
Session: 9:00–10:00
Abstraction and Invariance for Algebraically Indexed Types
Robert Atkey, Patricia Johann, and Andrew Kennedy
Session: Types, 15:00–15:30
The Power of Parameterization in Coinductive Proof
Gil Hur, Georg Neis, Derek Dreyer, and Viktor Vafeiadis
Session: Proofs and Verification, 16:30-17:00

Thursday, January 24, 2013

Fault Tolerance via Idempotence
G. Ramalingam and Kapil Vaswani
Session: Concurrency & Design, 11:00–11:30
Views: Compositional Reasoning for Concurrent Programs
Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, and Hongseok Yang
Session: Separation Logic, 11:00–11:30
High-Level Separation Logic for Low-Level Code
Jonas B. Jensen, Nick Benton, and Andrew Kennedy
Session: Separation Logic, 11:30–12:00
Towards Fully Automatic Placement of Security Sanitizers and Declassifiers
Benjamin Livshits and Stephen Chong
Session: Security, 16:00–16:30
Fully Abstract Compilation to JavaScript
Cédric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand (Microsoft Research), Pierre-Yves Strub (Microsoft Research-INRIA), and Benjamin Livshits
Session: Security, 17:00–17:30

Friday, January 25, 2013

A Model-Learner Pattern for Bayesian Reasoning
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstroem, Guillaume Claret (Microsoft Research), Thore Graepel, Aditya Nori, Sriram Rajamani, and Claudio Russo
Session: Models & Semantics, 10:30–11:00
HALO: from Haskell to First-Order Logic through Denotational Semantics
Dimitrios Vytiniotis, Simon Peyton-Jones, Koen Claessen, and Dan Rosén
Session: Models & Semantics, 11:30–12:00
Synthesis of Biological Models from Mutation Experiments
Ali Sinan Köksal, Yewen Pu, Saurabh Srivastava, Rastislav Bodík, Jasmin Fisher, and Nir Piterman
Session: Synthesis & Verification, 11:30–12:00

Post-POPL 2013 Co-Located Event

OBT 2013 (Off the Beaten Track: New Frontiers in Programming Languages)
Saturday, January 26, 2013

Keynote: Probabilistic Programming
Andrew D. Gordon
Session 1: 9:05–10:00
Increasing Human Compiler Interaction
Thomas Ball, Peli de Halleux, Daan Leijen, and Nikhil Swamy
Session 2: 10:30–11:30
Migration to the Cloud Made Safe and Secure
Ken Eguro, Kaushik Rajan, Ravi Ramamurthy, and Ramarathnam Venkatesan
Session 5: 15:20–16:00
Fast Analysis of Biological Models Using Open-World Logic Programming
Benjamin Hall, Ethan Jackson and Jasmin Fisher
Session 6: 16:30–17:10

Top of page

Event Website

Related Microsoft Groups and Labs

Computer Science Connections
Redmond, WA, United States
Research in Software Engineering
Redmond, WA, United States
Programming Principles and Tools
Cambridge, UK
Programming and Tools
Bangalore, India
Software and Tools
Silicon Valley, United States
Advanced Technology Labs Europe
Aachen, Germany