Abstract is missing.
- Compiling a high-level language for GPUs: (via language support for architectures and compilers)Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink. 1-12 [doi]
- Adaptive input-aware compilation for graphics enginesMehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke. 13-22 [doi]
- And then there were none: a stall-free real-time garbage collector for reconfigurable hardwareDavid F. Bacon, Perry Cheng, Sunil Shukla. 23-34 [doi]
- The implicit calculus: a new foundation for generic programmingBruno C. D. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi. 35-44 [doi]
- Deterministic parallelism via liquid effectsMing Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala. 45-54 [doi]
- Speculative linearizabilityRachid Guerraoui, Viktor Kuncak, Giuliano Losa. 55-66 [doi]
- Algorithmic profilingDmitrijs Zaparanuks, Matthias Hauswirth. 67-76 [doi]
- Understanding and detecting real-world performance bugsGuoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu. 77-88 [doi]
- Input-sensitive profilingEmilio Coppa, Camil Demetrescu, Irene Finocchi. 89-98 [doi]
- Language-based control and mitigation of timing channelsDanfeng Zhang, Aslan Askarov, Andrew C. Myers. 99-110 [doi]
- Diderot: a parallel DSL for image analysis and visualizationCharisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer. 111-120 [doi]
- Synthesising graphics card programs from DSLsLuke Cartey, Rune Lyngsø, Oege de Moor. 121-132 [doi]
- Parcae: a system for flexible parallel executionArun Raman, Ayal Zaks, Jae W. Lee, David I. August. 133-144 [doi]
- JANUS: exploiting parallelism via hindsightOmer Tripp, Roman Manevich, John Field, Mooly Sagiv. 145-156 [doi]
- Reagents: expressing and composing fine-grained concurrencyAaron Turon. 157-168 [doi]
- Proving acceptability properties of relaxed nondeterministic approximate programsMichael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard. 169-180 [doi]
- Automated error diagnosis using abductive inferenceIsil Dillig, Thomas Dillig, Alex Aiken. 181-192 [doi]
- Efficient state merging in symbolic executionVolodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea. 193-204 [doi]
- Sound and precise analysis of parallel programs through schedule specializationJingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang. 205-216 [doi]
- Parallelizing top-down interprocedural analysesAws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani. 217-228 [doi]
- Design and implementation of sparse global analyses for C-like languagesHakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi. 229-238 [doi]
- Fast and precise hybrid type inference for JavaScriptBrian Hackett, Shu-yu Guo. 239-250 [doi]
- Race detection for web applicationsBoris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby. 251-262 [doi]
- Engage: a deployment management systemJeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali. 263-274 [doi]
- Type-directed completion of partial expressionsDaniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman. 275-286 [doi]
- Self-stabilizing JavaYong Hun Eom, Brian Demsky. 287-298 [doi]
- Type-directed automatic incrementalizationYan Chen, Joshua Dunfield, Umut A. Acar. 299-310 [doi]
- Synchronising C/C++ and POWERSusmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams. 311-322 [doi]
- SuperC: parsing all of C by taming the preprocessorPaul Gazzillo, Robert Grimm. 323-334 [doi]
- Test-case reduction for C compiler bugsJohn Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang. 335-346 [doi]
- A compiler framework for extracting superword level parallelismJun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir. 347-358 [doi]
- Speculative separation for privatization and reductionsNick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August. 359-370 [doi]
- Dynamic trace-based analysis of vectorization potential of applicationsJustin Holewinski, Ragavendar Ramamurthi, Mahesh Ravishankar, Naznin Fauzia, Louis-Noël Pouchet, Atanas Rountev, P. Sadayappan. 371-382 [doi]
- Verifying GPU kernels by test amplificationAlan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner. 383-394 [doi]
- RockSalt: better, faster, stronger SFI for the x86Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan. 395-404 [doi]
- Synthesizing software verifiers from proof rulesSergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko. 405-416 [doi]
- Concurrent data representation synthesisPeter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv. 417-428 [doi]
- Dynamic synthesis for relaxed memory modelsFeng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav. 429-440 [doi]
- Automated synthesis of symbolic instruction encodings from I/O samplesPatrice Godefroid, Ankur Taly. 441-452 [doi]
- A dynamic program analysis to find floating-point accuracy problemsFlorian Benz, Andreas Hildebrandt, Sebastian Hack. 453-462 [doi]
- Chimera: hybrid program analysis for determinismDongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy. 463-474 [doi]
- Static analysis and compiler design for idempotent processingMarc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha. 475-486 [doi]
- Effective parallelization of loops in the presence of I/O operationsMin Feng, Rajiv Gupta, Iulian Neamtiu. 487-498 [doi]
- Polyhedra scanning revisitedChun Chen. 499-508 [doi]
- Logical inference techniques for loop parallelizationCosmin E. Oancea, Lawrence Rauchwerger. 509-520 [doi]
- Fully automatic and precise detection of thread safety violationsMichael Pradel, Thomas R. Gross. 521-530 [doi]
- Scalable and precise dynamic datarace detection for structured parallelismRaghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav. 531-542 [doi]
- Multicore acceleration of priority-based schedulers for concurrency bug detectionSantosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi. 543-554 [doi]