PLDI '14- Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation

Full Citation in the ACM Digital Library

SESSION: Keynote address

• David Padua

What exactly is inexact computation good for?

• Krishna Palem

SESSION: Parallelism 1

• Lawrence Rauchwerger

Taming the parallel effect zoo: extensible deterministic parallelism with LVish

• Lindsey Kuper
• Aaron Todd
• Sam Tobin-Hochstadt
• Ryan R. Newton

Test-driven repair of data races in structured parallel programs

• Rishi Surendran
• Raghavan Raman
• Swarat Chaudhuri
• John Mellor-Crummey
• Vivek Sarkar

Æminium: a permission based concurrent-by-default programming language approach

• Sven Stork
• Karl Naden
• Joshua Sunshine
• Manual Mohr
• Alcides Fonseca
• Paulo Marques
• Jonathan Aldrich

SESSION: Atomicity and memory models

• Michael Scott

Atomicity refinement for verified compilation

• Suresh Jagannathan
• Vincent Laporte
• Gustavo Petri
• David Pichardie
• Jan Vitek

DoubleChecker: efficient sound and precise atomicity checking

• Swarnendu Biswas
• Jipeng Huang
• Aritra Sengupta
• Michael D. Bond

Herding cats: modelling, simulation, testing, and data-mining for weak memory

• Jade Alglave
• Luc Maranget
• Michael Tautschnig

SESSION: Compiler optimizations

• Olivier Tardieu

Surgical precision JIT compilers

• Tiark Rompf
• Arvind K. Sujeeth
• Kevin J. Brown
• HyoukJoong Lee
• Hassan Chafi
• Kunle Olukotun

Stochastic optimization of floating-point programs with tunable precision

• Eric Schkufza
• Rahul Sharma
• Alex Aiken

A framework for enhancing data reuse via associative reordering

• Kevin Stock
• Martin Kong
• Tobias Grosser
• Louis-Noël Pouchet
• Fabrice Rastello
• J. Ramanujam
• P. Sadayappan

SESSION: Types

• Shriram Krishnamurthi

First-class runtime generation of high-performance types using exotypes

• Zachary DeVito
• Daniel Ritchie
• Matt Fisher
• Alex Aiken
• Pat Hanrahan

Getting F-bounded polymorphism into shape

• Ben Greenman
• Fabian Muehlboeck
• Ross Tate

Optimal inference of fields in row-polymorphic records

• Axel Simon

SESSION: Probabilistic programming

• Ben Zorn

Expressing and verifying probabilistic assertions

• Adrian Sampson
• Pavel Panchekha
• Todd Mytkowicz
• Kathryn S. McKinley
• Dan Grossman
• Luis Ceze

Compositional solution space quantification for probabilistic software analysis

• Mateus Borges
• Antonio Filieri
• Marcelo d'Amorim
• Corina S. Păsăreanu
• Willem Visser

Slicing probabilistic programs

• Chung-Kil Hur
• Aditya V. Nori
• Sriram K. Rajamani
• Selva Samuel

SESSION: Incremental computation and slicing

• Emery Berger

A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation

• Yufei Cai
• Paolo G. Giarrusso
• Tillmann Rendel
• Klaus Ostermann

Adapton: composable, demand-driven incremental computation

• Matthew A. Hammer
• Khoo Yit Phang
• Michael Hicks
• Jeffrey S. Foster

Specialization slicing

• Min Aung
• Susan Horwitz
• Rich Joiner
• Thomas Reps

SESSION: Keynote address

• Keshav Pingali

Laws of concurrent programming

• Tony Hoare

SESSION: Parallelism 2

• Albert Cohen

Adaptive, efficient, parallel execution of parallel programs

• Srinath Sridharan
• Gagan Gupta
• Gurindar S. Sohi

Globally precise-restartable execution of parallel programs

• Gagan Gupta
• Srinath Sridharan
• Gurindar S. Sohi

Accurate application progress analysis for large-scale parallel debugging

• Subrata Mitra
• Ignacio Laguna
• Dong H. Ahn
• Saurabh Bagchi
• Martin Schulz
• Todd Gamblin

SESSION: Bugs

• Eric Bodden

Compiler-assisted detection of transient memory errors

• Sanket Tavarageri
• Sriram Krishnamoorthy
• P. Sadayappan

Compiler validation via equivalence modulo inputs

• Vu Le
• Mehrdad Afshari
• Zhendong Su

Automatic runtime error repair and containment via recovery shepherding

• Fan Long
• Stelios Sidiroglou-Douskos
• Martin Rinard

SESSION: Static analysis 1

• Yannis Smaragdakis

On abstraction refinement for program analyses in Datalog

• Xin Zhang
• Ravi Mangal
• Radu Grigore
• Mayur Naik
• Hongseok Yang

Hybrid top-down and bottom-up interprocedural analysis

• Xin Zhang
• Ravi Mangal
• Mayur Naik
• Hongseok Yang

FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps

• Steven Arzt
• Siegfried Rasthofer
• Christian Fritz
• Eric Bodden
• Alexandre Bartel
• Jacques Klein
• Yves Le Traon
• Damien Octeau
• Patrick McDaniel

SESSION: Verification 1

• David Walker

End-to-end verification of stack-space bounds for C programs

• Quentin Carbonneaux
• Jan Hoffmann
• Tahina Ramananandro
• Zhong Shao

VeriCon: towards verifying controller programs in software-defined networks

• Thomas Ball
• Nikolaj Bjørner
• Aaron Gember
• Shachar Itzhaky
• Aleksandr Karbyshev
• Mooly Sagiv
• Michael Schapira
• Asaf Valadarsky

Verification modulo versions: towards usable verification

• Francesco Logozzo
• Shuvendu K. Lahiri
• Manuel Fähndrich
• Sam Blackshear

SESSION: Races

• Milind Kulkarni

Commutativity race detection

• Dimitar Dimitrov
• Veselin Raychev
• Martin Vechev
• Eric Koskinen

Race detection for Android applications

• Pallavi Maiya
• Aditya Kanade
• Rupak Majumdar

Race detection for event-driven mobile applications

• Chun-Hung Hsiao
• Jie Yu
• Satish Narayanasamy
• Ziyun Kong
• Cristiano L. Pereira
• Gilles A. Pokam
• Peter M. Chen
• Jason Flinn

Maximal sound predictive race detection with control flow abstraction

• Jeff Huang
• Patrick O'Neil Meredith
• Grigore Rosu

SESSION: Olio

• Jeff Foster

Tracelet-based code search in executables

• Yaniv David
• Eran Yahav

Resugaring: lifting evaluation sequences through syntactic sugar

• Justin Pombrio
• Shriram Krishnamurthi

SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts

• Reinhard von Hanxleden
• Björn Duderstadt
• Christian Motika
• Steven Smyth
• Michael Mendler
• Joaquín Aguado
• Stephen Mercer
• Owen O'Brien

Fast: a transducer-based language for tree manipulation

• Loris D'Antoni
• Margus Veanes
• Benjamin Livshits
• David Molnar

SESSION: Keynote address

• Tony Hoare

A personal perspective on concurrency

• Jayadev Misra

SESSION: Synthesis

• Vijay Nagarajan

Chlorophyll: synthesis-aided compiler for low-power spatial architectures

• Phitchaya Mangpo Phothilimthana
• Tikhon Jelvis
• Rohin Shah
• Nishant Totla
• Sarah Chasins
• Rastislav Bodik

Test-driven synthesis

• Daniel Perelman
• Sumit Gulwani
• Dan Grossman
• Peter Provost

Code completion with statistical language models

• Veselin Raychev
• Martin Vechev
• Eran Yahav

SESSION: Verification 2

• Madhusudan Parthasarathy

Don't sweat the small stuff: formal verification of C code without the pain

• David Greenaway
• Japheth Lim
• June Andronick
• Gerwin Klein

Natural proofs for data structure manipulation in C using separation logic

• Edgar Pek
• Xiaokang Qiu
• P. Madhusudan

Automating formal proofs for reactive systems

• Daniel Ricketts
• Valentin Robert
• Dongseok Jang
• Zachary Tatlock
• Sorin Lerner

SESSION: Static analysis 2

• Jade Alglave

Persistent pointer information

• Xiao Xiao
• Qirun Zhang
• Jinguo Zhou
• Charles Zhang

Selective context-sensitivity guided by impact pre-analysis

• Hakjoo Oh
• Wonchan Lee
• Kihong Heo
• Hongseok Yang
• Kwangkeun Yi

Introspective analysis: context-sensitivity, across the board

• Yannis Smaragdakis
• George Kastrinis
• George Balatsouras

SESSION: Scripting languages

• Ras Bodik

Improving JavaScript performance by deconstructing the type system

• Wonsun Ahn
• Jiho Choi
• Thomas Shull
• María J. Garzarán
• Josep Torrellas

Doppio: breaking the browser language barrier

• John Vilk
• Emery D. Berger

Dynamic enforcement of determinism in a parallel scripting language

• Li Lu
• Weixing Ji
• Michael L. Scott

SESSION: Program generation

• Harry Xu

A lightweight symbolic virtual machine for solver-aided host languages

• Emina Torlak
• Rastislav Bodik

FlashExtract: a framework for data extraction by examples

• Vu Le
• Sumit Gulwani

Consolidation of queries with user-defined functions

• Marcelo Sousa
• Isil Dillig
• Dimitrios Vytiniotis
• Thomas Dillig
• Christos Gkantsidis

SESSION: Security-correctness

• Isil Dillig

A model counter for constraints over unbounded strings

• Loi Luu
• Shweta Shinde
• Prateek Saxena
• Brian Demsky

Modular control-flow integrity

• Ben Niu
• Gang Tan

Dynamic space limits for Haskell

• Edward Z. Yang
• David Mazières