|
|
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 | Dileep Kini, Umang Mathur 0001, Mahesh Viswanathan 0001 |
Dynamic race prediction in linear time. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | James Bornholt, Emina Torlak |
Synthesizing memory models from framework sketches and Litmus tests. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein |
Simple, fast, and safe manual memory management. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Canino, Yu David Liu |
Proactive and adaptive energy-aware programming with mixed typechecking. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Patterson 0001, Jamie Perconti, Christos Dimoulas, Amal Ahmed 0001 |
FunTAL: reasonably mixing a functional language with assembly. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marina Billes, Anders Møller, Michael Pradel |
Systematic black-box analysis of collaborative web applications. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Würthinger, Christian Wimmer, Christian Humer, Andreas Wöß, Lukas Stadler, Chris Seaton, Gilles Duboscq, Doug Simon, Matthias Grimmer |
Practical partial evaluation for high-performance dynamic language runtimes. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Beckett, Ratul Mahajan, Todd D. Millstein, Jitendra Padhye, David Walker 0001 |
Network configuration synthesis with abstract topologies. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Richard A. Eisenberg, Simon Peyton Jones |
Levity polymorphism. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
Taming undefined behavior in LLVM. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | David Menendez, Santosh Nagarakatte |
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhoulai Fu, Zhendong Su 0001 |
Achieving high coverage for floating-point code via unconstrained programming. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yaniv David, Nimrod Partush, Eran Yahav |
Similarity of binaries through re-optimization. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík |
Gradual synthesis for static parallelization of single-pass array-processing programs. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0001, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer |
Repairing sequential consistency in C/C++11. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Umut A. Acar, Robert Harper 0001 |
Responsive parallel computation: bridging competitive and cooperative threading. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tyler Sorensen 0001, Alastair F. Donaldson |
Exposing errors related to weak memory in GPU applications. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yizhou Zhang 0001, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers |
Accepting blame for safe tunneled exceptions. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Calvin Smith, Aws Albarghouthi |
MapReduce program synthesis. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Chugh, Brian Hempel, Mitchell Spradlin, Jacob Albers |
Programmatic and direct manipulation, together at last. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael A. Laurenzano, Parker Hill, Mehrzad Samadi, Scott A. Mahlke, Jason Mars, Lingjia Tang |
Input responsiveness: using canary inputs to dynamically steer approximation. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Jacek, Meng-Chieh Chiu, Benjamin M. Marlin, Eliot Moss |
Assessing the limits of program-specific garbage collection performance. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný |
Event-driven network programming. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ryan Beckett, Michael Greenberg 0002, David Walker 0001 |
Temporal NetKAT. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell |
Into the depths of C: elaborating the de facto standards. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuting Chen, Ting Su 0001, Chengnian Sun, Zhendong Su 0001, Jianjun Zhao 0001 |
Coverage-directed differential testing of JVM implementations. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Brianna M. Ren, Jeffrey S. Foster |
Just-in-time static type checking for dynamic languages. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jean Yang 0001, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong |
Precise, dynamic information flow for database-backed applications. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Calvin Loncaric, Emina Torlak, Michael D. Ernst |
Fast synthesis of fast collections. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Oded Padon, Kenneth L. McMillan, Aurojit Panda, Mooly Sagiv, Sharon Shoham |
Ivy: safety verification by interactive generalization. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | He Zhu 0001, Gustavo Petri, Suresh Jagannathan |
Automatically learning shape specifications. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Maleki, Annie Yang, Martin Burtscher |
Higher-order and tuple-based massively-parallel prefix sums. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
Living on the edge: rapid-toggling probes with cross-modification on x86. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Junghyun Kim, Gangwon Jo, Jaehoon Jung, Jungwon Kim, Jaejin Lee |
A distributed OpenCL framework using redundant computation and data replication. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Leonard Truong, Rajkishore Barik, Ehsan Totoni, Hai Liu 0012, Chick Markley, Armando Fox, Tatiana Shpeisman |
Latte: a language, compiler, and runtime for elegant and efficient deep neural networks. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Spiegelman, Guy Golan-Gueta, Idit Keidar |
Transactional data structure libraries. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Petricek 0001, Gustavo Guerra, Don Syme |
Types from data: making structured data first-class citizens in F#. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yuhao Zhu 0001, Vijay Janapa Reddi |
GreenWeb: language extensions for energy-efficient mobile web computing. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Hao Chen 0023, Xiongnan (Newman) Wu, Zhong Shao, Joshua Lockerman, Ronghui Gu |
Toward compositional verification of interruptible OS kernels and device drivers. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Sinha 0001, Manuel Costa, Akash Lal, Nuno P. Lopes, Sriram K. Rajamani, Sanjit A. Seshia, Kapil Vaswani |
A design and verification methodology for secure isolated regions. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Heule, Eric Schkufza, Rahul Sharma 0001, Alex Aiken |
Stratified synthesis: automatically learning the x86-64 instruction set. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ulan Degenbaev, Jochen Eisinger, Manfred Ernst, Ross McIlroy, Hannes Payer |
Idle time garbage collection scheduling. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sara S. Baghsorkhi, Nalini Vasudevan, Youfeng Wu |
FlexVec: auto-vectorization for irregular loops. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
Refinement types for TypeScript. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri |
Synthesizing transformations on hierarchically structured data. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Changwan Hong, Wenlei Bao, Albert Cohen 0001, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, J. Ramanujam, P. Sadayappan |
Effective padding of multidimensional arrays to avoid cache conflict misses. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Klaus von Gleissenthall, Nikolaj S. Bjørner, Andrey Rybalchenko |
Cardinalities and universal quantifiers for verifying parameterized systems. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Eizenberg, Shiliang Hu, Gilles Pokam, Joseph Devietti |
Remix: online detection and repair of cache contention for the JVM. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Noonan, Alexey Loginov, David R. Cok |
Polymorphic type inference for machine code. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Faddegon, Olaf Chitil |
Lightweight computation tree tracing for lazy functional languages. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rian Shambaugh, Aaron Weiss, Arjun Guha |
Rehearsal: a configuration verification tool for puppet. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Saswat Padhi, Rahul Sharma 0001, Todd D. Millstein |
Data-driven precondition inference with learned features. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sara Achour, Rahul Sarpeshkar, Martin C. Rinard |
Configuration synthesis for programmable analog devices with Arco. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed El-Hassany, Jeremie Miserez, Pavol Bielik, Laurent Vanbever, Martin T. Vechev |
SDNRacer: concurrency analysis for software-defined networks. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrew M. Kent, David Kempe 0002, Sam Tobin-Hochstadt |
Occurrence typing modulo theories. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yaniv David, Nimrod Partush, Eran Yahav |
Statistical similarity of binaries. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Sousa, Isil Dillig |
Cartesian hoare logic for verifying k-safety properties. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wonyeol Lee 0001, Rahul Sharma 0001, Alex Aiken |
Verifying bit-manipulations of floating-point. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Costanzo, Zhong Shao, Ronghui Gu |
End-to-end verification of information-flow security for C and assembly programs. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Shoaib Kamil 0001, Alvin Cheung, Shachar Itzhaky, Armando Solar-Lezama |
Verified lifting of stencil computations. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Magnus Madsen, Ming-Ho Yee, Ondrej Lhoták |
From Datalog to flix: a declarative language for fixed points on lattices. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Adams 0001, Celeste Hollenbeck, Matthew Might |
On the complexity and performance of parsing with derivatives. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Mullen, Daryl Zuniga, Zachary Tatlock, Dan Grossman |
Verified peephole optimizations for CompCert. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Polikarpova, Ivan Kuraj, Armando Solar-Lezama |
Program synthesis from polymorphic refinement types. |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Chandra Krintz, Emery D. Berger (eds.) |
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016 |
PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Eric Koskinen, Matthew J. Parkinson |
The Push/Pull model of transactions. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
Asynchronous programming, analysis and testing with state machines. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chinawat Isradisaikul, Andrew C. Myers |
Finding counterexamples from parsing conflicts. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary, Michael J. Sullivan |
Peer-to-peer affine commitment using bitcoin. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001 |
Stateless model checking concurrent programs with maximal causality reduction. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peng Liu 0010, Xiangyu Zhang 0001, Omer Tripp, Yunhui Zheng |
Light: replay via tightly bounded recording. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
Synthesizing parallel graph programs via automated planning. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang 0005, Michael D. Ernst, Thomas E. Anderson |
Verdi: a framework for implementing and formally verifying distributed systems. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn |
FlashRelate: extracting relational data from semi-structured spreadsheets using examples. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001 |
Mechanized verification of fine-grained concurrent programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yizhou Zhang 0001, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers |
Lightweight, flexible object-oriented generics. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Carbonneaux, Jan Hoffmann 0002, Zhong Shao |
Compositional certified resource bounds. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock |
Automatically improving accuracy for floating point expressions. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | K. C. Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan |
Declarative programming over eventually consistent data stores. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Anand Venkat, Mary W. Hall, Michelle Strout |
Loop and data transformations for sparse matrix code. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis |
A formal C memory model supporting integer-pointer casts. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster |
Efficient synthesis of network updates. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin C. Rinard |
Automatic error elimination by horizontal code transfer across multiple applications. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Laure Gonnord, David Monniaux, Gabriel Radanne |
Synthesis of ranking functions using extremal counterexamples. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chris Hathhorn, Chucky Ellison, Grigore Rosu |
Defining the undefinedness of C. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Phuc C. Nguyen, David Van Horn |
Relatively complete counterexamples for higher-order programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Faddegon, Olaf Chitil |
Algorithmic debugging of real-world haskell programs: deriving dependencies from the cost centre stack. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Naling Zhang, Markus Kusano, Chao Wang 0001 |
Dynamic partial order reduction for relaxed memory models. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig |
Profile-guided meta-programming. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis |
Verifying read-copy-update in a logic for weak memory. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy G. Siek, Peter Thiemann 0001, Philip Wadler |
Blame and coercion: together again for the first time. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Lucia, Benjamin Ransford |
A simpler, safer programming and execution model for intermittent systems. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter-Michael Osera, Steve Zdancewic |
Type-and-example-directed program synthesis. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Gammie, Antony L. Hosking, Kai Engelhardt |
Relaxing safely: verified on-the-fly garbage collection for x86-TSO. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
Provably correct peephole optimizations with alive. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O'Reilly, Saman P. Amarasinghe |
Autotuning algorithmic choice for input sensitivity. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Akash Lal, Shaz Qadeer |
DAG inlining: a decision procedure for reachability-modulo-theories in hierarchical programs. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Daejun Park 0001, Andrei Stefanescu, Grigore Rosu |
KJS: a complete formal semantics of JavaScript. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Longfield Jr., Brittany Nkounkou, Rajit Manohar, Ross Tate |
Preventing glitches and short circuits in high-level self-timed chip specifications. |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrew W. Appel |
Verification of a cryptographic primitive: SHA-256 (abstract). |
PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|