Venues / PLDI /

PLDI 2014

59 papers

A framework for enhancing data reuse via associative reordering · Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam + 1 more
A lightweight symbolic virtual machine for solver-aided host languages · Emina Torlak, Rastislav Bodík
A model counter for constraints over unbounded strings · Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky
A personal perspective on concurrency · Jayadev Misra
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation · Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann
Accurate application progress analysis for large-scale parallel debugging · Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz, Todd Gamblin
Adaptive, efficient, parallel execution of parallel programs · Srinath Sridharan, Gagan Gupta, Gurindar S. Sohi
Adapton: composable, demand-driven incremental computation · Matthew A. Hammer, Yit Phang Khoo, Michael Hicks, Jeffrey S. Foster
Atomicity refinement for verified compilation · Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte
Automatic runtime error repair and containment via recovery shepherding · Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard
Automating formal proofs for reactive systems · Daniel Ricketts, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner
Chlorophyll: synthesis-aided compiler for low-power spatial architectures · Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík
Code completion with statistical language models · Veselin Raychev, Martin T. Vechev, Eran Yahav
Commutativity race detection · Dimitar Dimitrov, Veselin Raychev, Martin T. Vechev, Eric Koskinen
Compiler validation via equivalence modulo inputs · Vu Le, Mehrdad Afshari, Zhendong Su
Compiler-assisted detection of transient memory errors · Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan
Compositional solution space quantification for probabilistic software analysis · Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
Consolidation of queries with user-defined functions · Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis
Don't sweat the small stuff: formal verification of C code without the pain · David Greenaway, Japheth Lim, June Andronick, Gerwin Klein
Doppio: breaking the browser language barrier · John Vilk, Emery D. Berger
DoubleChecker: efficient sound and precise atomicity checking · Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond
Dynamic enforcement of determinism in a parallel scripting language · Li Lu, Weixing Ji, Michael L. Scott
Dynamic space limits for Haskell · Edward Z. Yang, David Mazières
End-to-end verification of stack-space bounds for C programs · Quentin Carbonneaux, Jan Hoffmann, Tahina Ramananandro, Zhong Shao
Expressing and verifying probabilistic assertions · Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze
Fast: a transducer-based language for tree manipulation · Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar
First-class runtime generation of high-performance types using exotypes · Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan
FlashExtract: a framework for data extraction by examples · Vu Le, Sumit Gulwani
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 + 3 more
Getting F-bounded polymorphism into shape · Ben Greenman, Fabian Muehlboeck, Ross Tate
Globally precise-restartable execution of parallel programs · Gagan Gupta, Srinath Sridharan, Gurindar S. Sohi
Herding cats: modelling, simulation, testing, and data-mining for weak memory · Jade Alglave, Luc Maranget, Michael Tautschnig
Hybrid top-down and bottom-up interprocedural analysis · Xin Zhang, Ravi Mangal, Mayur Naik, Hongseok Yang
Improving JavaScript performance by deconstructing the type system · Wonsun Ahn, Jiho Choi, Thomas Shull, María Jesús Garzarán, Josep Torrellas
Introspective analysis: context-sensitivity, across the board · Yannis Smaragdakis, George Kastrinis, George Balatsouras
Laws of concurrent programming · Tony Hoare
Maximal sound predictive race detection with control flow abstraction · Jeff Huang, Patrick O'Neil Meredith, Grigore Rosu
Modular control-flow integrity · Ben Niu, Gang Tan
Natural proofs for data structure manipulation in C using separation logic · Edgar Pek, Xiaokang Qiu, P. Madhusudan
On abstraction refinement for program analyses in Datalog · Xin Zhang, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang
Optimal inference of fields in row-polymorphic records · Axel Simon
Persistent pointer information · Xiao Xiao, Qirun Zhang, Jinguo Zhou, Charles Zhang
Race detection for Android applications · Pallavi Maiya, Aditya Kanade, Rupak Majumdar
Race detection for event-driven mobile applications · Chun-Hung Hsiao, Cristiano Pereira, Jie Yu, Gilles Pokam, Satish Narayanasamy, Peter M. Chen + 2 more
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 + 2 more
Selective context-sensitivity guided by impact pre-analysis · Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi
Slicing probabilistic programs · Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel
Specialization slicing · Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps
Stochastic optimization of floating-point programs with tunable precision · Eric Schkufza, Rahul Sharma, Alex Aiken
Surgical precision JIT compilers · Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun
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 M. Mellor-Crummey, Vivek Sarkar
Test-driven synthesis · Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost
Tracelet-based code search in executables · Yaniv David, Eran Yahav
VeriCon: towards verifying controller programs in software-defined networks · Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv + 2 more
Verification modulo versions: towards usable verification · Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear
What exactly is inexact computation good for? · Krishna V. Palem
Æminium: a permission based concurrent-by-default programming language approach · Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques + 1 more