|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1256 occurrences of 615 keywords
|
|
|
Results
Found 1518 publication records. Showing 1518 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Robin Morisset, Pankaj Pawan, Francesco Zappa Nardelli |
Compiler testing via a theory of sound optimisations in the C11/C++11 memory model. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | James R. Larus |
Look up!: your future is in the cloud. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qirun Zhang, Michael R. Lyu, Hao Yuan, Zhendong Su 0001 |
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Colin S. Gordon, Michael D. Ernst, Dan Grossman |
Rely-guarantee references for refinement types over aliased mutable data. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tony Nowatzki, Michael Sartin-Tarm, Lorenzo De Carli, Karthikeyan Sankaralingam, Cristian Estan, Behnam Robatmili |
A general constraint-centric scheduling framework for spatial architectures. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Arthur Leck Sewell, Magnus O. Myreen, Gerwin Klein |
Translation validation for a verified OS kernel. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen 0002, Benjamin Livshits |
Verifying higher-order programs with the dijkstra monad. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
Formal verification of SSA-based optimizations for LLVM. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bharghava Rajaram, Vijay Nagarajan, Susmit Sarkar, Marco Elver |
Fast RMWs for TSO: semantics and implementation. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ben L. Titzer |
Harmonizing classes, functions, tuples, and type parameters in virgil iii. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden, Társis Tolêdo, Márcio Ribeiro 0001, Claus Brabrand, Paulo Borba, Mira Mezini |
SPLLIFT: statically analyzing software product lines in minutes instead of years. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kalmer Apinis, Helmut Seidl, Vesal Vojdani |
How to combine widening and narrowing for non-monotonic systems of equations. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sam Blackshear, Shuvendu K. Lahiri |
Almost-correct specifications: a modular semantic framework for assigning confidence to warnings. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fred B. Schneider |
Programming languages in security: keynote. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankaranarayanan 0001, Aleksandar Chakarov, Sumit Gulwani |
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Vivek Gupta, Ethan K. Jackson, Shaz Qadeer, Sriram K. Rajamani, Damien Zufferey |
P: safe asynchronous event-driven programming. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Juergen Boehm, Cormac Flanagan (eds.) |
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '13, Seattle, WA, USA, June 16-19, 2013 |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jiajia Li 0001, Guangming Tan, Mingyu Chen 0001, Ninghui Sun |
SMAT: an input adaptive auto-tuner for sparse matrix-vector multiplication. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abhishek Udupa, Arun Raghavan, Jyotirmoy V. Deshmukh, Sela Mador-Haim, Milo M. K. Martin, Rajeev Alur |
TRANSIT: specifying protocols with concolic snippets. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nachshon Cohen, Erez Petrank |
Limitations of partial compaction: towards practical bounds. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Chinawat Isradisaikul, Andrew C. Myers |
Reconciling exhaustive pattern matching with objects. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Zachary DeVito, James Hegarty, Alex Aiken, Pat Hanrahan, Jan Vitek |
Terra: a multi-stage language for high-performance computing. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xiaokang Qiu, Pranav Garg 0001, Andrei Stefanescu, Parthasarathy Madhusudan |
Natural proofs for structure, data, and separation. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongtao Yu, Hou-Jen Ko, Zhiyuan Li 0001 |
General data structure expansion for multi-threading. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Concurrent libraries with foresight. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yang Chen 0024, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr |
Taming compiler fuzzers. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang 0035, Mayur Naik, Hongseok Yang |
Finding optimum abstractions in parametric dataflow analysis. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tiejun Gao, Karin Strauss, Stephen M. Blackburn, Kathryn S. McKinley, Doug Burger, James R. Larus |
Using managed runtime systems to tolerate holes in wearable memories. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hongjin Liang 0001, Xinyu Feng 0001 |
Modular verification of linearizability with non-fixed linearization points. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tihomir Gvero, Viktor Kuncak, Ivan Kuraj, Ruzica Piskac |
Complete completion using types and weights. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Sergey, Dominique Devriese, Matthew Might, Jan Midtgaard, David Darais, Dave Clarke 0001, Frank Piessens |
Monadic abstract interpreters. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kong, Richard Veras, Kevin Stock, Franz Franchetti, Louis-Noël Pouchet, P. Sadayappan |
When polyhedral transformations meet SIMD code generation. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook, Eric Koskinen |
Reasoning about nondeterminism in programs. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen |
CONCURRIT: a domain specific language for reproducing concurrency bugs. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Fischer, Rupak Majumdar, Shahram Esmaeilsabzali |
Engage: a deployment management system. |
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 | Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman |
Type-directed completion of partial expressions. |
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 | Rachid Guerraoui, Viktor Kuncak, Giuliano Losa |
Speculative linearizability. |
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 | 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 | 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 | Chun Chen 0002 |
Polyhedra scanning revisited. |
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 | 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 | Jun Liu 0008, Yuanrui Zhang, Ohyoung Jang, Wei Ding 0008, Mahmut T. Kandemir |
A compiler framework for extracting superword level parallelism. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yong Hun Eom, Brian Demsky |
Self-stabilizing Java. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alan Leung, Manish Gupta 0010, Yuvraj Agarwal, Rajesh Gupta 0001, Ranjit Jhala, Sorin Lerner |
Verifying GPU kernels by test amplification. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guoliang Jin, Linhai Song, Xiaoming Shi, Joel Scherpelz, Shan Lu 0001 |
Understanding and detecting real-world performance bugs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | John Regehr, Yang Chen 0024, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
Test-case reduction for C compiler bugs. |
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 | Min Feng 0001, Rajiv Gupta 0001, Iulian Neamtiu |
Effective parallelization of loops in the presence of I/O operations. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nick P. Johnson, Hanjun Kim 0001, Prakash Prabhu, Ayal Zaks, David I. August |
Speculative separation for privatization and reductions. |
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 | Paul Gazzillo, Robert Grimm 0001 |
SuperC: parsing all of C by taming the preprocessor. |
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 | Feng Liu, Nayden Nedev, Nedyalko Prisadnikov, Martin T. Vechev, Eran Yahav |
Dynamic synthesis for relaxed memory models. |
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 | Isil Dillig, Thomas Dillig, Alex Aiken |
Automated error diagnosis using abductive inference. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Turon |
Reagents: expressing and composing fine-grained concurrency. |
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 | Patrice Godefroid, Ankur Taly |
Automated synthesis of symbolic instruction encodings from I/O samples. |
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 | Danfeng Zhang, Aslan Askarov, Andrew C. Myers |
Language-based control and mitigation of timing channels. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Rahul Kumar 0002, Aditya V. Nori, Sriram K. Rajamani |
Parallelizing top-down interprocedural analyses. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luke Cartey, Rune B. Lyngsø, Oege de Moor |
Synthesising graphics card programs from DSLs. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yan Chen 0001, Jana Dunfield, Umut A. Acar |
Type-directed automatic incrementalization. |
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 | Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin C. Rinard, Mooly Sagiv |
Concurrent data representation synthesis. |
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 | Sergey Grebenshchikov, Nuno P. Lopes, Corneliu Popeea, Andrey Rybalchenko |
Synthesizing software verifiers from proof rules. |
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 | Emilio Coppa, Camil Demetrescu, Irene Finocchi |
Input-sensitive profiling. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Charisee Chiw, Gordon L. Kindlmann, John H. Reppy, Lamont Samuels, Nick Seltzer |
Diderot: a parallel DSL for image analysis and visualization. |
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 | Florian Benz, Andreas Hildebrandt 0001, Sebastian Hack |
A dynamic program analysis to find floating-point accuracy problems. |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
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 DOI BibTeX RDF |
|
1 | Brian Hackett, Shu-yu Guo |
Fast and precise hybrid type inference for JavaScript. |
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 | Volodymyr Kuznetsov, Johannes Kinder, Stefan Bucur, George Candea |
Efficient state merging in symbolic execution. |
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 | Dmitrijs Zaparanuks, Matthias Hauswirth |
Algorithmic profiling. |
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 | Suzette Person, Guowei Yang 0001, Neha Rungta, Sarfraz Khurshid |
Directed incremental symbolic execution. |
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 | Abhishek Udupa, Kaushik Rajan, William Thies |
ALTER: exploiting breakable dependences for parallelization. |
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 | Guoqing Xu 0001, Michael D. Bond, Feng Qin, Atanas Rountev |
LeakChaser: helping programmers narrow down causes of memory leaks. |
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 DOI BibTeX RDF |
|
1 | Percy Liang, Mayur Naik |
Scaling abstraction refinement via pruning. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Milind Kulkarni 0001, Donald Nguyen, Dimitrios Prountzos, Xin Sui, Keshav Pingali |
Exploiting the commutativity lattice. |
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 | 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 | Adam Chlipala |
Mostly-automated verification of low-level programs in computational separation logic. |
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 | William R. Harris, Sumit Gulwani |
Spreadsheet table transformations from examples. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
Composable asynchronous events. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Saurabh Srivastava 0001, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
Path-based inductive synthesis for program inversion. |
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 | Kyu Hyung Lee, Yunhui Zheng, Nick Sumner, Xiangyu Zhang 0001 |
Toward generating reducible replay logs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ 16][ >>] |
|