PLDI 2012: Beijing, China

GPUs and FPGAs

• Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink:
  Compiling a high-level language for GPUs: (via language support for architectures and compilers). 1-12
  
• Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke:
  Adaptive input-aware compilation for graphics engines. 13-22
  
• David F. Bacon, Perry Cheng, Sunil Shukla:
  And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. 23-34
  

Foundations

• Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi:
  The implicit calculus: a new foundation for generic programming. 35-44
  
• Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala:
  Deterministic parallelism via liquid effects. 45-54
  
• Rachid Guerraoui, Viktor Kuncak, Giuliano Losa:
  Speculative linearizability. 55-66
  

Performance analysis

• Dmitrijs Zaparanuks, Matthias Hauswirth:
  Algorithmic profiling. 67-76
  
• Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu:
  Understanding and detecting real-world performance bugs. 77-88
  
• Emilio Coppa, Camil Demetrescu, Irene Finocchi:
  Input-sensitive profiling. 89-98
  

Language-based techniques

• Danfeng Zhang, Aslan Askarov, Andrew C. Myers:
  Language-based control and mitigation of timing channels. 99-110
  
• Charisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer:
  Diderot: a parallel DSL for image analysis and visualization. 111-120
  
• Luke Cartey, Rune Lyngsø, Oege de Moor:
  Synthesising graphics card programs from DSLs. 121-132
  

Parallelism

• Arun Raman, Ayal Zaks, Jae W. Lee, David I. August:
  Parcae: a system for flexible parallel execution. 133-144
  
• Omer Tripp, Roman Manevich, John Field, Mooly Sagiv:
  JANUS: exploiting parallelism via hindsight. 145-156
  
• Aaron Turon:
  Reagents: expressing and composing fine-grained concurrency. 157-168
  

Reasoning, inference, and symbolic execution

• Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard:
  Proving acceptability properties of relaxed nondeterministic approximate programs. 169-180
  
• Isil Dillig, Thomas Dillig, Alex Aiken:
  Automated error diagnosis using abductive inference. 181-192
  
• Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea:
  Efficient state merging in symbolic execution. 193-204
  

Program analysis I

• Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang:
  Sound and precise analysis of parallel programs through schedule specialization. 205-216
  
• Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani:
  Parallelizing top-down interprocedural analyses. 217-228
  
• Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi:
  Design and implementation of sparse global analyses for C-like languages. 229-238
  

Web applications

• Brian Hackett, Shu-yu Guo:
  Fast and precise hybrid type inference for JavaScript. 239-250
  
• Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby:
  Race detection for web applications. 251-262
  
• Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali:
  Engage: a deployment management system. 263-274
  

Type-based techniques

• Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
  Type-directed completion of partial expressions. 275-286
  
• Yong Hun Eom, Brian Demsky:
  Self-stabilizing Java. 287-298
  
• Yan Chen, Joshua Dunfield, Umut A. Acar:
  Type-directed automatic incrementalization. 299-310
  

C and C++

• Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams:
  Synchronising C/C++ and POWER. 311-322
  
• Paul Gazzillo, Robert Grimm:
  SuperC: parsing all of C by taming the preprocessor. 323-334
  
• John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang:
  Test-case reduction for C compiler bugs. 335-346
  

Optimization

• Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir:
  A compiler framework for extracting superword level parallelism. 347-358
  
• Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August:
  Speculative separation for privatization and reductions. 359-370
  
• Justin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Noël Pouchet, Atanas Rountev, P. Sadayappan:
  Dynamic trace-based analysis of vectorization potential of applications. 371-382
  

Verification

• Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner:
  Verifying GPU kernels by test amplification. 383-394
  
• Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan:
  RockSalt: better, faster, stronger SFI for the x86. 395-404
  
• Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko:
  Synthesizing software verifiers from proof rules. 405-416
  

Synthesis

• Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv:
  Concurrent data representation synthesis. 417-428
  
• Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav:
  Dynamic synthesis for relaxed memory models. 429-440
  
• Patrice Godefroid, Ankur Taly:
  Automated synthesis of symbolic instruction encodings from I/O samples. 441-452
  

Program analysis II

• Florian Benz, Andreas Hildebrandt, Sebastian Hack:
  A dynamic program analysis to find floating-point accuracy problems. 453-462
  
• Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy:
  Chimera: hybrid program analysis for determinism. 463-474
  
• Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha:
  Static analysis and compiler design for idempotent processing. 475-486
  

Loop optimization

• Min Feng, Rajiv Gupta, Iulian Neamtiu:
  Effective parallelization of loops in the presence of I/O operations. 487-498
  
• Chun Chen:
  Polyhedra scanning revisited. 499-508
  
• Cosmin E. Oancea, Lawrence Rauchwerger:
  Logical inference techniques for loop parallelization. 509-520
  

Concurrency bugs

• Michael Pradel, Thomas R. Gross:
  Fully automatic and precise detection of thread safety violations. 521-530
  
• Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav:
  Scalable and precise dynamic datarace detection for structured parallelism. 531-542
  
• Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi:
  Multicore acceleration of priority-based schedulers for concurrency bug detection. 543-554
  

Last update Sat May 18 19:35:01 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page