The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PLDI"( http://dblp.L3S.de/Venues/PLDI )

URL (DBLP): http://dblp.uni-trier.de/db/conf/pldi

Publication years (Num. hits)
1987 (31) 1988 (34) 1989 (32) 1990 (31) 1991 (30) 1992 (31) 1993 (30) 1994 (31) 1995 (29) 1996 (29) 1997 (32) 1998 (32) 1999 (27) 2000 (31) 2001 (31) 2002 (29) 2003 (29) 2004 (27) 2005 (30) 2006 (37) 2007 (46) 2008 (35) 2009 (42) 2010 (43) 2011 (56) 2012 (49) 2013 (49) 2014 (60) 2015 (60) 2016 (49) 2017 (48) 2018 (56)
Publication types (Num. hits)
inproceedings(1174) proceedings(32)
Venues (Conferences, Journals, ...)
PLDI(1206)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1256 occurrences of 615 keywords

Results
Found 1206 publication records. Showing 1206 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski Heartbeat scheduling: provable efficiency for nested parallelism. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock Finding root causes of floating point error. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer VeriPhy: verified controller executables from verified cyber-physical system models. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lucas Brutschy, Dimitar Dimitrov, Peter Müller 0001, Martin T. Vechev Static serializability analysis for causal consistency. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun Spatial: a language and compiler for application accelerators. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Uri Alon 0002, Meital Zilberstein, Omer Levy, Eran Yahav A general path-based representation for predicting program properties. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik Accelerating search-based program synthesis using learned probabilistic models. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik User-guided program reasoning using Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Di Wang, Jan Hoffmann 0002, Thomas W. Reps PMAF: an algebraic framework for static analysis of probabilistic programs. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani, Ivan Radicek, Florian Zuleger Automated clustering and program repair for introductory programming assignments. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ronghui 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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1He Zhu, Stephen Magill, Suresh Jagannathan A data-driven CHC solver. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev Inferring crypto API rules from code changes. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha Putting in all the stops: execution control for JavaScript. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kim-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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cheng Cai, Qirun Zhang, Zhiqiang Zuo 0002, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su Calling-to-reference context translation via constraint-guided CFL-reachability. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Active learning of points-to specifications. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Qingkai Shi, Xiao Xiao 0003, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang Pinpoint: fast and precise sparse value flow analysis for million lines of code. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis Symbolic reasoning for automatic signal placement. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peizun Liu, Thomas Wahl CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bozhen Liu, Jeff Huang 0001 D4: fast concurrency debugging with parallel differential analysis. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aravind Acharya, Uday Bondhugula, Albert Cohen 0001 Polyhedral auto-transformation with no integer linear programming. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roshan 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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathan Chong, Tyler Sorensen, John Wickerson The semantics of transactions and weak memory in x86, Power, ARM, and C++. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka Incremental inference for probabilistic programs. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael J. Steindorfer, Jurgen J. Vinju To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simon Moll, Sebastian Hack Partial control-flow linearization. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniele Cono D'Elia, Camil Demetrescu On-stack replacement, distilled. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthew Milano, Andrew C. Myers MixT: a language for mixing consistency in geodistributed transactions. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeffrey 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 Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jeehoon 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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung Enhancing computation-to-core assignment with physical location information. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu iReplayer: in-situ and identical record-and-replay for multithreaded applications. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil Verifying that web pages have accessible layout. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Changwan 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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch Persistency for synchronization-free regions. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Justin Pombrio, Shriram Krishnamurthi Inferring type rules for syntactic sugar. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ke Wang, Rishabh Singh, Zhendong Su Search, align, and repair: data-driven feedback generation for introductory programming exercises. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig Program synthesis using conflict-driven learning. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard Probabilistic programming with programmable inference. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guilherme Ottoni HHVM JIT: a profile-guided, region-based compiler for PHP and Hack. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Marcelo 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. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang Mapping spiking neural networks onto a manycore neuromorphic architecture. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John Vilk, Emery D. Berger BLeak: automatically debugging memory leaks in web applications. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1William J. Bowman, Amal Ahmed Typed closure conversion for the calculus of constructions. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yuanfeng Peng, Vinod Grover, Joseph Devietti CURD: a dynamic CUDA race detector. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang Advanced automata-based algorithms for program termination checking. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy Bounding data races in space and time. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev Bayonet: probabilistic inference for networks. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann 0002 Bounded expectations: resource analysis for probabilistic programs. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alejandro Serrano 0001, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones Guarded impredicative polymorphism. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulf Adams Ryū: fast float-to-string conversion. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jake Roemer, Kaan Genç, Michael D. Bond High-coverage, unbounded sound predictive race detection. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gregory J. Duck, Roland H. C. Yap EffectiveSan: type and memory error detection using dynamically typed C/C++. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai Locality analysis through static parallel sampling. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout Write-rationing garbage collection for hybrid memories. Search on Bibsonomy PLDI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anthony Canino, Yu David Liu Proactive and adaptive energy-aware programming with mixed typechecking. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olli Saarikivi, Margus Veanes, Todd Mytkowicz, Madan Musuvathi Fusing effectful comprehensions. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Goran Doychev, Boris Köpf Rigorous analysis of software countermeasures against cache attacks. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Timothy Bourke, Lélio Brun, Pierre-Évariste Dagand, Xavier Leroy, Marc Pouzet, Lionel Rieg A formally verified compiler for Lustre. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps Compositional recurrence analysis revisited. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniel Huang, Jean-Baptiste Tristan, Greg Morrisett Compiling Markov chain Monte Carlo algorithms for probabilistic modeling. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Scott Schneider 0001, Kun-Lung Wu Low-synchronization, mostly lock-free, elastic scheduling for streaming runtimes. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dustin Rhodes, Cormac Flanagan, Stephen N. Freund BigFoot: static check placement for dynamic race detection. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Grigory Fedyukovich, Maaz Bin Safeer Ahmad, Rastislav Bodík Gradual synthesis for static parallelization of single-pass array-processing programs. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Anirudh Santhiar, Aditya Kanade Static deadlock detection for asynchronous C# programs. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rei Thiessen, Ondrej Lhoták Context transformations for pointer analysis. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Buddhika Chamith, Bo Joel Svensson, Luke Dalessandro, Ryan R. Newton Instruction punning: lightweight instrumentation for x86-64. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, Chung-Kil Hur, Derek Dreyer Repairing sequential consistency in C/C++11. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, Victor Nicolet Synthesis of divide and conquer parallelism for loops. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luke Maurer, Paul Downen, Zena M. Ariola, Simon L. Peyton Jones Compiling without continuations. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andreas 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. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Osbert Bastani, Rahul Sharma 0001, Alex Aiken, Percy Liang Synthesizing program input grammars. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Lukás Holík, Ahmed Rezine, Philipp Rümmer Flatten and conquer: a framework for efficient analysis of string constraints. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Piyus Kedia, Manuel Costa, Matthew J. Parkinson, Kapil Vaswani, Dimitrios Vytiniotis, Aaron Blankstein Simple, fast, and safe manual memory management. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Chenglong Wang, Alvin Cheung, Rastislav Bodík Synthesizing highly expressive SQL queries from input-output examples. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shumo Chu, Konstantin Weitz, Alvin Cheung, Dan Suciu HoTTSQL: proving query rewrites with univalent SQL semantics. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Tian Tan 0001, Yue Li 0006, Jingling Xue Efficient and precise points-to analysis: modeling the heap by merging equivalent automata. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri Component-based synthesis of table consolidation and transformation tasks from examples. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Troels 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. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Timos Antonopoulos, Paul Gazzillo, Michael Hicks 0001, Eric Koskinen, Tachio Terauchi, Shiyi Wei Decomposition instead of self-composition for proving the absence of timing channels. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yaniv David, Nimrod Partush, Eran Yahav Similarity of binaries through re-optimization. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thomas 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. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Qinheping Hu, Loris D'Antoni Automatic program inversion using symbolic transducers. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1James Bornholt, Emina Torlak Synthesizing memory models from framework sketches and Litmus tests. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Kuat Yessenov, Ivan Kuraj, Armando Solar-Lezama DemoMatch: API discovery from demonstrations. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti BARRACUDA: binary-level analysis of runtime RAces in CUDA programs. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marina Billes, Anders Møller, Michael Pradel Systematic black-box analysis of collaborative web applications. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dmitry Petrashko, Ondrej Lhoták, Martin Odersky Miniphases: compilation using modular and efficient tree transformations. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1David Menendez, Santosh Nagarakatte Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes Taming undefined behavior in LLVM. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stefan K. Muller, Umut A. Acar, Robert Harper 0001 Responsive parallel computation: bridging competitive and cooperative threading. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jonathan Lifflander, Sriram Krishnamoorthy Cache locality optimization for recursive programs. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Zhoulai Fu, Zhendong Su Achieving high coverage for floating-point code via unconstrained programming. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Amanieu D'Antras, Cosmin Gorgovan, Jim D. Garside, Mikel Luján Low overhead dynamic binary translation on ARM. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Richard A. Eisenberg, Simon Peyton Jones Levity polymorphism. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Albert 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 Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yufei Ding, Lin Ning, Hui Guan, Xipeng Shen Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dileep Kini, Umang Mathur, Mahesh Viswanathan 0001 Dynamic race prediction in linear time. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G. Ives, Sanjeev Khanna StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. Search on Bibsonomy PLDI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1206 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license