default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLDI 2012: Beijing, China
- Jan Vitek, Haibo Lin, Frank Tip:
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012. ACM 2012, ISBN 978-1-4503-1205-9
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 L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer:
Diderot: a parallel DSL for image analysis and visualization. 111-120 - Luke Cartey, Rune B. 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, Jana 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-15 22:14 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
