|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1256 occurrences of 615 keywords
|
|
|
|
|
Results
Found 884 publication records. Showing 884 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Vitek, Haibo Lin, Frank Tip (eds.) |
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '12, Beijing, China - June 11 - 16, 2012  |
PLDI  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan |
RockSalt: better, faster, stronger SFI for the x86. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman |
Type-directed completion of partial expressions. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu |
Understanding and detecting real-world performance bugs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Concurrent data representation synthesis. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ming Kawaguchi, Patrick Maxim Rondon, Alexander Bakst, Ranjit Jhala |
Deterministic parallelism via liquid effects. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Hun Eom, Brian Demsky |
Self-stabilizing Java. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick P. Johnson, Hanjun Kim, Prakash Prabhu, Ayal Zaks, David I. August |
Speculative separation for privatization and reductions. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav |
Dynamic synthesis for relaxed memory models. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali |
Engage: a deployment management system. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Charisee Chiw, Gordon Kindlmann, John Reppy, Lamont Samuels, Nick Seltzer |
Diderot: a parallel DSL for image analysis and visualization. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Coppa, Camil Demetrescu, Irene Finocchi |
Input-sensitive profiling. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Sarkar, Kayvan Memarian, Scott Owens, Mark Batty, Peter Sewell, Luc Maranget, Jade Alglave, Derek Williams |
Synchronising C/C++ and POWER. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chun Chen |
Polyhedra scanning revisited. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
Efficient state merging in symbolic execution. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jingyue Wu, Yang Tang, Gang Hu, Heming Cui, Junfeng Yang |
Sound and precise analysis of parallel programs through schedule specialization. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
Synthesizing software verifiers from proof rules. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Leung, Manish Gupta, Yuvraj Agarwal, Rajesh Gupta, Ranjit Jhala, Sorin Lerner |
Verifying GPU kernels by test amplification. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pradel, Thomas R. Gross |
Fully automatic and precise detection of thread safety violations. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Tripp, Roman Manevich, John Field, Mooly Sagiv |
JANUS: exploiting parallelism via hindsight. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hakjoo Oh, Kihong Heo, Wonchan Lee, Woosuk Lee, Kwangkeun Yi |
Design and implementation of sparse global analyses for C-like languages. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Chen, Joshua Dunfield, Umut A. Acar |
Type-directed automatic incrementalization. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cosmin E. Oancea, Lawrence Rauchwerger |
Logical inference techniques for loop parallelization. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Automated error diagnosis using abductive inference. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
Test-case reduction for C compiler bugs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Gazzillo, Robert Grimm |
SuperC: parsing all of C by taming the preprocessor. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Liu, Yuanrui Zhang, Ohyoung Jang, Wei Ding, Mahmut T. Kandemir |
A compiler framework for extracting superword level parallelism. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Hackett, Shu-yu Guo |
Fast and precise hybrid type inference for JavaScript. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Luke Cartey, Rune Lyngsø, Oege de Moor |
Synthesising graphics card programs from DSLs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
Speculative linearizability. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Carbin, Deokhwan Kim, Sasa Misailovic, Martin C. Rinard |
Proving acceptability properties of relaxed nondeterministic approximate programs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arun Raman, Ayal Zaks, Jae W. Lee, David I. August |
Parcae: a system for flexible parallel execution. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
Language-based control and mitigation of timing channels. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc de Kruijf, Karthikeyan Sankaralingam, Somesh Jha |
Static analysis and compiler design for idempotent processing. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David F. Bacon, Perry Cheng, Sunil Shukla |
And then there were none: a stall-free real-time garbage collector for reconfigurable hardware. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Tom Schrijvers, Wontae Choi, Wonchan Lee, Kwangkeun Yi |
The implicit calculus: a new foundation for generic programming. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitrijs Zaparanuks, Matthias Hauswirth |
Algorithmic profiling. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Ankur Taly |
Automated synthesis of symbolic instruction encodings from I/O samples. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
Multicore acceleration of priority-based schedulers for concurrency bug detection. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Raghavan Raman, Jisheng Zhao, Vivek Sarkar, Martin T. Vechev, Eran Yahav |
Scalable and precise dynamic datarace detection for structured parallelism. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dongyoon Lee, Peter M. Chen, Jason Flinn, Satish Narayanasamy |
Chimera: hybrid program analysis for determinism. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Boris Petrov, Martin T. Vechev, Manu Sridharan, Julian Dolby |
Race detection for web applications. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Turon |
Reagents: expressing and composing fine-grained concurrency. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Benz, Andreas Hildebrandt, Sebastian Hack |
A dynamic program analysis to find floating-point accuracy problems. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrzad Samadi, Amir Hormati, Mojtaba Mehrara, Janghaeng Lee, Scott A. Mahlke |
Adaptive input-aware compilation for graphics engines. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Feng, Rajiv Gupta, Iulian Neamtiu |
Effective parallelization of loops in the presence of I/O operations. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani |
Parallelizing top-down interprocedural analyses. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Micah J. Best, Shane Mottishaw, Craig Mustard, Mark Roth, Alexandra Fedorova, Andrew Brownsword |
Synchronization via scheduling: techniques for efficiently managing shared state. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen |
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milind Kulkarni, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali |
Exploiting the commutativity lattice. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Data representation synthesis. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Brandon Lucia, Benjamin P. Wood, Luis Ceze |
Isolating and understanding concurrency errors using reconstructed execution fragments. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Tristan, Paul Govereau, Greg Morrisett |
Evaluating value-graph translation validation for LLVM. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Terence Parr, Kathleen Fisher |
LL(*): the foundation of the ANTLR parser generator. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Varun Srivastava, Michael D. Bond, Kathryn S. McKinley, Vitaly Shmatikov |
A security policy oracle: detecting security holes using multiple API implementations. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
Understanding POWER multiprocessors. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang |
Toward generating reducible replay logs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross Tate, Alan Leung, Sorin Lerner |
Taming wildcards in Java's type system. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prakash Prabhu, Soumyadeep Ghosh, Yun Zhang, Nick P. Johnson, David I. August |
Commutative set: a language extension for implicit parallel programming. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
Precise and compact modular procedure summaries for heap manipulating programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keshav Pingali, Donald Nguyen, Milind Kulkarni, Martin Burtscher, Muhammad Amber Hassaan, Rashid Kaleem, Tsung-Hsien Lee, Andrew Lenharth, Roman Manevich, Mario Méndez-Lojo, Dimitrios Prountzos, Xin Sui |
The tao of parallelism in algorithms. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno |
Predicate abstraction and CEGAR for higher-order model checking. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Na Meng, Miryung Kim, Kathryn S. McKinley |
Systematic editing: generating program transformations from an example. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Ansel, Petr Marchenko, Úlfar Erlingsson, Elijah Taylor, Brad Chen, Derek L. Schuff, David Sehr, Cliff Biffle, Bennet Yee |
Language-independent sandboxing of just-in-time compilation and self-modifying code. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoliang Jin, Linhai Song, Wei Zhang 0022, Shan Lu, Ben Liblit |
Automated atomicity-violation fixing. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Altidor, Shan Shan Huang, Yannis Smaragdakis |
Taming the wildcards: combining definition- and use-site variance. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Sumit Gulwani |
Spreadsheet table transformations from examples. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Böhm, Tobias J. K. Edler von Koch, Stephen C. Kyle, Björn Franke, Nigel P. Topham |
Generalized just-in-time trace compilation using a parallel task farm in a dynamic binary translator. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Composable asynchronous events. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Li 0001, Mohit Tiwari, Jason Oberg, Vineeth Kashyap, Frederic T. Chong, Timothy Sherwood, Ben Hardekopf |
Caisson: a hardware description language for secure information flow. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mary W. Hall, David A. Padua (eds.) |
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011 |
PLDI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Sumit Gulwani, Susmit Jha, Ashish Tiwari, Ramarathnam Venkatesan |
Synthesis of loop-free programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashwin Prasad, Jayvant Anantpur, R. Govindarajan |
Automatic compilation of MATLAB programs for synergistic execution on heterogeneous processors. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hucheng Zhou, Wenguang Chen, Fred C. Chow |
An SSA-based algorithm for optimal speculative code motion under an execution profile. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Cono D'Elia, Camil Demetrescu, Irene Finocchi |
Mining hot calling contexts in small space. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík |
Safe optimisations for shared-memory concurrent programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Percy Liang, Mayur Naik |
Scaling abstraction refinement via pruning. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen |
Languages as libraries. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Sampson, Werner Dietl, Emily Fortuna, Danushen Gnanapragasam, Luis Ceze, Dan Grossman |
EnerJ: approximate data types for safe and general low-power computation. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Marino, Abhayendra Singh, Todd D. Millstein, Madanlal Musuvathi, Satish Narayanasamy |
A case for an SC-preserving compiler. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhishek Udupa, Kaushik Rajan, William Thies |
ALTER: exploiting breakable dependences for parallelization. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Kuperstein, Martin T. Vechev, Eran Yahav |
Partial-coherence abstractions for relaxed memory models. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzette Person, Guowei Yang, Neha Rungta, Sarfraz Khurshid |
Directed incremental symbolic execution. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Budi, David Lo, Lingxiao Jiang, Lucia |
kb-anonymity: a model for anonymized behaviour-preserving test and debugging data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shigeyuki Sato, Hideya Iwasaki |
Automatic parallelization via matrix multiplication. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Mihaela Sighireanu |
On inter-procedural analysis of programs with lists and data. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saturnino Garcia, Donghwan Jeon, Christopher M. Louie, Michael Bedford Taylor |
Kremlin: rethinking and rebooting gprof for the multicore age. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Chlipala |
Mostly-automated verification of low-level programs in computational separation logic. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nels E. Beckman, Aditya V. Nori |
Probabilistic, modular and scalable inference of typestate specifications. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Zeng, Dinghao Wu, Peng Liu |
Cruiser: concurrent heap buffer overflow monitoring using lock-free data structures. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Jose, Rupak Majumdar |
Cause clue clauses: error localization using maximum satisfiability. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changhee Jung, Silvius Rus, Brian P. Railing, Nathan Clark, Santosh Pande |
Brainy: effective selection of data structures. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Gordon Murray, Michael Isard, Yuan Yu |
Steno: automatic optimization of declarative queries. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
Path-based inductive synthesis for program inversion. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari |
Synthesizing geometry constructions. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing (Harry) Xu, Michael D. Bond, Feng Qin, Atanas Rountev |
LeakChaser: helping programmers narrow down causes of memory leaks. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
Finding and understanding bugs in C compilers. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Antonio Navarro Pérez, Andrey Rybalchenko |
Separation logic + superposition calculus = heap theorem prover. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 884 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")