|
|
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 | Parosh Aziz Abdulla, Jatin Arora 0002, Mohamed Faouzi Atig, Shankara Narayanan Krishna |
Verification of programs under the release-acquire semantics. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Berkeley R. Churchill, Oded Padon, Rahul Sharma 0001, Alex Aiken |
Semantic program alignment for equivalence checking. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Scenic: a language for scenario specification and scene generation. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Greg Anderson 0003, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |
Optimization and abstraction: a synergistic approach for analyzing neural network robustness. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Li Zhou, Nengkun Yu, Mingsheng Ying |
An applied quantum Hoare logic. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lun Liu 0002, Todd D. Millstein, Madanlal Musuvathi |
Accelerating sequential consistency for Java with speculative compilation. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kirshanthan Sundararajah, Milind Kulkarni 0001 |
Composable, sound transformations of nested recursion and loops. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary W. Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, Michelle Mills Strout |
Sparse computation data dependence simplification for efficient compiler-generated inspectors. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek |
Toward efficient gradual typing for structural types via coercions. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Darius Mercadier, Pierre-Évariste Dagand |
Usuba: high-throughput and constant-time ciphers, by construction. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci |
Huron: hybrid false sharing detection and repair. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adarsh Yoga, Santosh Nagarakatte |
Parallelism-centric what-if and differential analyses. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuanfeng Peng, Vinod Grover, Joseph Devietti |
CURD: a dynamic CUDA race detector. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
Symbolic reasoning for automatic signal placement. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Hongyu Liu 0005, Sam Silvestro, Wei Wang 0054, Chen Tian 0002, Tongping Liu |
iReplayer: in-situ and identical record-and-replay for multithreaded applications. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | He Zhu 0001, Stephen Magill, Suresh Jagannathan |
A data-driven CHC solver. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Aravind Acharya, Uday Bondhugula, Albert Cohen 0001 |
Polyhedral auto-transformation with no integer linear programming. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen 0023, David Costanzo, Tahina Ramananandro |
Certified concurrent abstraction layers. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael J. Steindorfer, Jurgen J. Vinju |
To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
Bounding data races in space and time. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil 0001 |
Verifying that web pages have accessible layout. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang 0001, Stefan Hadjis, Ruben Fiszel, Tian Zhao 0001, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun |
Spatial: a language and compiler for application accelerators. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yu-Fang Chen 0001, Matthias Heizmann, Ondrej Lengál, Yong Li 0031, Ming-Hsien Tsai 0001, Andrea Turrini, Lijun Zhang 0001 |
Advanced automata-based algorithms for program termination checking. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Cheng Cai, Qirun Zhang, Zhiqiang Zuo 0002, Khanh Nguyen 0001, Guoqing Harry Xu, Zhendong Su 0001 |
Calling-to-reference context translation via constraint-guided CFL-reachability. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sumit Gulwani, Ivan Radicek, Florian Zuleger |
Automated clustering and program repair for introductory programming assignments. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav |
A general path-based representation for predicting program properties. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
Heartbeat scheduling: provable efficiency for nested parallelism. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang |
Active learning of points-to specifications. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
PMAF: an algebraic framework for static analysis of probabilistic programs. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
Finding root causes of floating point error. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Cono D'Elia, Camil Demetrescu |
On-stack replacement, distilled. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Qingkai Shi, Xiao Xiao 0003, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang 0001 |
Pinpoint: fast and precise sparse value flow analysis for million lines of code. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
Inferring crypto API rules from code changes. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gregory J. Duck, Roland H. C. Yap |
EffectiveSan: type and memory error detection using dynamically typed C/C++. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Guilherme Ottoni |
HHVM JIT: a profile-guided, region-based compiler for PHP and Hack. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
Guarded impredicative polymorphism. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Shoaib Akram 0001, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout |
Write-rationing garbage collection for hybrid memories. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Stefanos Kaxiras |
SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
Bayonet: probabilistic inference for networks. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Chong, Tyler Sorensen 0001, John Wickerson |
The semantics of transactions and weak memory in x86, Power, ARM, and C++. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mae Milano, Andrew C. Myers |
MixT: a language for mixing consistency in geodistributed transactions. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann 0002 |
Bounded expectations: resource analysis for probabilistic programs. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Moll 0001, Sebastian Hack |
Partial control-flow linearization. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | John Vilk, Emery D. Berger |
BLeak: automatically debugging memory leaks in web applications. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch |
Persistency for synchronization-free regions. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
Incremental inference for probabilistic programs. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bozhen Liu, Jeff Huang 0001 |
D4: fast concurrency debugging with parallel differential analysis. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer |
VeriPhy: verified controller executables from verified cyber-physical system models. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik |
User-guided program reasoning using Bayesian inference. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey S. Foster, Dan Grossman (eds.) |
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018 |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
Crellvm: verified credible compilation for LLVM. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Brutschy, Dimitar K. Dimitrov 0002, Peter Müller 0001, Martin T. Vechev |
Static serializability analysis for causal consistency. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung |
Enhancing computation-to-core assignment with physical location information. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yu Feng 0001, Ruben Martins, Osbert Bastani, Isil Dillig |
Program synthesis using conflict-driven learning. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
Accelerating search-based program synthesis using learned probabilistic models. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos |
Modularity for decidability of deductive verification with applications to distributed systems. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jake Roemer, Kaan Genç, Michael D. Bond |
High-coverage, unbounded sound predictive race detection. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peizun Liu, Thomas Wahl |
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
Putting in all the stops: execution control for JavaScript. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulf Adams |
Ryū: fast float-to-string conversion. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | William J. Bowman, Amal Ahmed 0001 |
Typed closure conversion for the calculus of constructions. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Justin Pombrio, Shriram Krishnamurthi |
Inferring type rules for syntactic sugar. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard |
Probabilistic programming with programmable inference. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Dong Chen, Fangzhou Liu, Chen Ding 0001, Sreepathi Pai |
Locality analysis through static parallel sampling. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang |
Mapping spiking neural networks onto a manycore neuromorphic architecture. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan |
GPU code optimization using abstract kernel emulation and sensitivity analysis. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ke Wang 0022, Rishabh Singh, Zhendong Su 0001 |
Search, align, and repair: data-driven feedback generation for introductory programming exercises. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali |
Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics. |
PLDI |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps |
Compositional recurrence analysis revisited. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama |
DemoMatch: API discovery from demonstrations. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Lifflander, Sriram Krishnamoorthy |
Cache locality optimization for recursive programs. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Chenglong Wang, Alvin Cheung, Rastislav Bodík |
Synthesizing highly expressive SQL queries from input-output examples. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yufei Ding, Lin Ning 0001, Hui Guan 0001, Xipeng Shen |
Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Timos Antonopoulos, Paul Gazzillo, Michael Hicks 0001, Eric Koskinen, Tachio Terauchi, Shiyi Wei |
Decomposition instead of self-composition for proving the absence of timing channels. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi |
Fusing effectful comprehensions. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qinheping Hu, Loris D'Antoni |
Automatic program inversion using symbolic transducers. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Qirun Zhang, Chengnian Sun, Zhendong Su 0001 |
Skeletal program enumeration for rigorous compiler testing. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Victor Nicolet |
Synthesis of divide and conquer parallelism for loops. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna |
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Haas, Andreas Rossberg, Derek L. Schuff, Ben L. Titzer, Michael Holman, Dan Gohman, Luke Wagner, Alon Zakai, J. F. Bastien |
Bringing the web up to speed with WebAssembly. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang |
Synthesizing program input grammars. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton |
Instruction punning: lightweight instrumentation for x86-64. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yu Feng 0001, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
Component-based synthesis of table consolidation and transformation tasks from examples. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Amanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Luján |
Low overhead dynamic binary translation on ARM. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rei Thiessen, Ondrej Lhoták |
Context transformations for pointer analysis. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dmitry Petrashko, Ondrej Lhoták, Martin Odersky |
Miniphases: compilation using modular and efficient tree transformations. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg |
A formally verified compiler for Lustre. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Scott Schneider 0001, Kun-Lung Wu |
Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti |
BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu |
HoTTSQL: proving query rewrites with univalent SQL semantics. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones |
Compiling without continuations. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Albert Cohen 0001, Martin T. Vechev (eds.) |
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017 |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Goran Doychev, Boris Köpf |
Rigorous analysis of software countermeasures against cache attacks. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen 0001, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer |
Flatten and conquer: a framework for efficient analysis of string constraints. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tian Tan 0001, Yue Li 0006, Jingling Xue |
Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anirudh Santhiar, Aditya Kanade |
Static deadlock detection for asynchronous C# programs. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dustin Rhodes, Cormac Flanagan, Stephen N. Freund |
BigFoot: static check placement for dynamic race detection. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Troels Henriksen, Niels G. W. Serup, Martin Elsman, Fritz Henglein, Cosmin E. Oancea |
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Huang 0001, Jean-Baptiste Tristan, Greg Morrisett |
Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Peter Ohmann, Alexander Brooks, Loris D'Antoni, Ben Liblit |
Control-flow recovery from partial failure reports. |
PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|