|
|
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 | Sanyam Mehta, Pen-Chung Yew |
Improving compiler scalability: optimizing large programs at small price. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil 0001, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman P. Amarasinghe |
Helium: lifting high-performance stencil kernels from stripped x86 binaries to halide DSL code. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan |
Synthesizing racy tests. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John K. Feser, Swarat Chaudhuri, Isil Dillig |
Synthesizing data structure transformations from input-output examples. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
Diagnosing type errors with class. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | David Grove, Stephen M. Blackburn (eds.) |
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson |
Many-core compiler fuzzing. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Machado, Brandon Lucia, Luís E. T. Rodrigues |
Concurrency debugging with differential schedule projections. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni 0001 |
Efficient execution of recursive programs on commodity vector hardware. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oswaldo Olivo, Isil Dillig, Calvin Lin |
Static detection of asymptotic performance bugs in collection traversals. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Nori, Sherjil Ozair, Sriram K. Rajamani, Deepak Vijaykeerthy |
Efficient synthesis of probabilistic programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Marr, Chris Seaton, Stéphane Ducasse |
Zero-overhead metaprogramming: reflection and metaobject protocols fast and without compromises. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv |
Composing concurrency control. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Murali Krishna Emani, Michael F. P. O'Boyle |
Celebrating diversity: a mixture of experts approach for runtime mapping in dynamic environments. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yousun Ko 0001, Bernd Burgstaller, Bernhard Scholz |
LaminarIR: compile-time queues for structured streams. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ton Chanh Le, Shengchao Qin, Wei-Ngan Chin |
Termination and non-termination specification inference. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wei Ding 0008, Xulong Tang, Mahmut T. Kandemir, Yuanrui Zhang, Emre Kultursay |
Optimizing off-chip accesses in multicores. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni 0001 |
Tree dependence analysis. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Srinivasan, Thomas W. Reps |
Synthesis of machine code from semantics. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh |
Automatic induction proofs of data-structures in imperative programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alan Leung, John Sarracino, Sorin Lerner |
Interactive parser synthesis by example. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong |
Exploring and enforcing security guarantees via program dependence graphs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Michael Bauer 0001, Alex Aiken |
Verification of producer-consumer synchronization in GPU programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gagandeep Singh 0001, Markus Püschel, Martin T. Vechev |
Making numerical program analysis fast. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael Emmi, Constantin Enea, Jad Hamza |
Monitoring refinement via symbolic reasoning. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Srinath Sridharan, Gagan Gupta, Gurindar S. Sohi |
Adaptive, efficient, parallel execution of parallel programs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ball, Nikolaj S. Bjørner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly Sagiv, Michael Schapira, Asaf Valadarsky |
VeriCon: towards verifying controller programs in software-defined networks. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar |
Test-driven repair of data races in structured parallel programs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang 0035, Ravi Mangal, Mayur Naik, Hongseok Yang |
Hybrid top-down and bottom-up interprocedural analysis. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Xiao 0003, Qirun Zhang, Jinguo Zhou, Charles Zhang 0001 |
Persistent pointer information. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Axel Simon |
Optimal inference of fields in row-polymorphic records. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Phitchaya Mangpo Phothilimthana, Tikhon Jelvis, Rohin Shah, Nishant Totla, Sarah E. Chasins, Rastislav Bodík |
Chlorophyll: synthesis-aided compiler for low-power spatial architectures. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loris D'Antoni, Margus Veanes, Benjamin Livshits, David Molnar |
Fast: a transducer-based language for tree manipulation. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Kil Hur, Aditya V. Nori, Sriram K. Rajamani, Selva Samuel |
Slicing probabilistic programs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ben Niu 0007, Gang Tan |
Modular control-flow integrity. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Steven Arzt, Siegfried Rasthofer, Christian Fritz 0002, Eric Bodden, Alexandre Bartel, Jacques Klein, Yves Le Traon, Damien Octeau, Patrick D. McDaniel |
FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jayadev Misra |
A personal perspective on concurrency. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Stock, Martin Kong, Tobias Grosser, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan |
A framework for enhancing data reuse via associative reordering. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Shuvendu K. Lahiri, Manuel Fähndrich, Sam Blackshear |
Verification modulo versions: towards usable verification. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Smaragdakis, George Kastrinis, George Balatsouras |
Introspective analysis: context-sensitivity, across the board. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Veselin Raychev, Martin T. Vechev, Eran Yahav |
Code completion with statistical language models. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tony Hoare |
Laws of concurrent programming. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | David Greenaway, Japheth Lim, June Andronick, Gerwin Klein |
Don't sweat the small stuff: formal verification of C code without the pain. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emina Torlak, Rastislav Bodík |
A lightweight symbolic virtual machine for solver-aided host languages. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Hung Hsiao, Cristiano Pereira, Jie Yu 0016, Gilles Pokam, Satish Narayanasamy, Peter M. Chen, Ziyun Kong, Jason Flinn |
Race detection for event-driven mobile applications. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ben Greenman, Fabian Muehlboeck, Ross Tate |
Getting F-bounded polymorphism into shape. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ricketts 0001, Valentin Robert, Dongseok Jang, Zachary Tatlock, Sorin Lerner |
Automating formal proofs for reactive systems. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vu Le 0002, Mehrdad Afshari, Zhendong Su 0001 |
Compiler validation via equivalence modulo inputs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dimitar K. Dimitrov 0002, Veselin Raychev, Martin T. Vechev, Eric Koskinen |
Commutativity race detection. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tiark Rompf, Arvind K. Sujeeth, Kevin J. Brown, HyoukJoong Lee, Hassan Chafi, Kunle Olukotun |
Surgical precision JIT compilers. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard von Hanxleden, Björn Duderstadt, Christian Motika, Steven Smyth, Michael Mendler, Joaquín Aguado, Stephen Mercer, Owen O'Brien |
SCCharts: sequentially constructive statecharts for safety-critical applications: HW/SW-synthesis for a conservative extension of synchronous statecharts. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fan Long, Stelios Sidiroglou-Douskos, Martin C. Rinard |
Automatic runtime error repair and containment via recovery shepherding. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Krishna V. Palem |
What exactly is inexact computation good for? |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, Vincent Laporte |
Atomicity refinement for verified compilation. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Vilk, Emery D. Berger |
Doppio: breaking the browser language barrier. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Schkufza, Rahul Sharma 0001, Alex Aiken |
Stochastic optimization of floating-point programs with tunable precision. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Subrata Mitra, Ignacio Laguna, Dong H. Ahn, Saurabh Bagchi, Martin Schulz 0001, Todd Gamblin |
Accurate application progress analysis for large-scale parallel debugging. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. P. O'Boyle, Keshav Pingali (eds.) |
ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014 |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
Compositional solution space quantification for probabilistic software analysis. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Pek, Xiaokang Qiu, P. Madhusudan |
Natural proofs for data structure manipulation in C using separation logic. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton |
Taming the parallel effect zoo: extensible deterministic parallelism with LVish. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Swarnendu Biswas, Jipeng Huang, Aritra Sengupta, Michael D. Bond |
DoubleChecker: efficient sound and precise atomicity checking. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xin Zhang 0035, Ravi Mangal, Radu Grigore, Mayur Naik, Hongseok Yang |
On abstraction refinement for program analyses in Datalog. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wonsun Ahn, Jiho Choi, Thomas Shull, María Jesús Garzarán, Josep Torrellas |
Improving JavaScript performance by deconstructing the type system. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vu Le 0002, Sumit Gulwani |
FlashExtract: a framework for data extraction by examples. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
Specialization slicing. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yaniv David, Eran Yahav |
Tracelet-based code search in executables. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann |
A theory of changes for higher-order languages: incrementalizing λ-calculi by static differentiation. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sven Stork, Karl Naden, Joshua Sunshine, Manuel Mohr, Alcides Fonseca, Paulo Marques, Jonathan Aldrich |
Æminium: a permission based concurrent-by-default programming language approach. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Loi Luu, Shweta Shinde, Prateek Saxena, Brian Demsky |
A model counter for constraints over unbounded strings. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan |
Compiler-assisted detection of transient memory errors. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthew A. Hammer, Yit Phang Khoo, Michael Hicks 0001, Jeffrey S. Foster |
Adapton: composable, demand-driven incremental computation. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zachary DeVito, Daniel Ritchie, Matthew Fisher, Alex Aiken, Pat Hanrahan |
First-class runtime generation of high-performance types using exotypes. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001, Patrick O'Neil Meredith, Grigore Rosu |
Maximal sound predictive race detection with control flow abstraction. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hakjoo Oh, Wonchan Lee, Kihong Heo, Hongseok Yang, Kwangkeun Yi |
Selective context-sensitivity guided by impact pre-analysis. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edward Z. Yang, David Mazières |
Dynamic space limits for Haskell. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Li Lu, Weixing Ji, Michael L. Scott |
Dynamic enforcement of determinism in a parallel scripting language. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pallavi Maiya, Aditya Kanade, Rupak Majumdar |
Race detection for Android applications. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Sousa, Isil Dillig, Dimitrios Vytiniotis, Thomas Dillig, Christos Gkantsidis |
Consolidation of queries with user-defined functions. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost |
Test-driven synthesis. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Justin Pombrio, Shriram Krishnamurthi |
Resugaring: lifting evaluation sequences through syntactic sugar. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Carbonneaux, Jan Hoffmann 0002, Tahina Ramananandro, Zhong Shao |
End-to-end verification of stack-space bounds for C programs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Sampson, Pavel Panchekha, Todd Mytkowicz, Kathryn S. McKinley, Dan Grossman, Luis Ceze |
Expressing and verifying probabilistic assertions. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gagan Gupta, Srinath Sridharan, Gurindar S. Sohi |
Globally precise-restartable execution of parallel programs. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jade Alglave, Luc Maranget, Michael Tautschnig |
Herding cats: modelling, simulation, testing, and data-mining for weak memory. |
PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Evan Czaplicki, Stephen Chong |
Asynchronous functional reactive programming for GUIs. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001, Charles Zhang 0001, Julian Dolby |
CLAP: recording local executions to reproduce concurrency failures. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Max Schäfer, Manu Sridharan, Julian Dolby, Frank Tip |
Dynamic determinacy analysis. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alvin Cheung, Armando Solar-Lezama, Samuel Madden 0001 |
Optimizing database-backed applications with query synthesis. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei-Lun Hung, Vijay K. Garg |
AutoSynch: an automatic-signal monitor based on predicate tagging. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato 0001 |
It's alive! continuous feedback in UI programming. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nick P. Johnson, Taewook Oh, Ayal Zaks, David I. August |
Fast condensation of the program dependence graph. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Khaled Elwazeer, Kapil Anand, Aparna Kotha, Matthew Smithson, Rajeev Barua |
Scalable variable and data type detection in a binary rewriter. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Guha, Mark Reitblatt, Nate Foster |
Machine-verified network controllers. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama |
Automated feedback generation for introductory programming assignments. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Ragan-Kelley, Connelly Barnes, Andrew Adams, Sylvain Paris, Frédo Durand, Saman P. Amarasinghe |
Halide: a language and compiler for optimizing parallelism, locality, and recomputation in image processing pipelines. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron |
Quipper: a scalable quantum programming language. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | George Kastrinis, Yannis Smaragdakis |
Hybrid context-sensitivity for points-to analysis. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
Thresher: precise refutations for heap reachability. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Lifflander, Sriram Krishnamoorthy, Laxmikant V. Kalé |
Steal Tree: low-overhead tracing of work stealing schedulers. |
PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|