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) 2019 (77)
Publication types (Num. hits)
inproceedings(1250) proceedings(33)
Venues (Conferences, Journals, ...)
PLDI(1283)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1256 occurrences of 615 keywords

Results
Found 1283 publication records. Showing 1283 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Martin Kong, Louis-Noël Pouchet Model-driven transformations for multi- and many-core CPUs. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni 0001 Sound, fine-grained traversal fusion for heterogeneous trees. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jieyuan Zhang, Jingling Xue Incremental precision-preserving symbolic inference for probabilistic programs. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hui Guan, Xipeng Shen, Seung-Hwan Lim Wootz: a compiler-based framework for fast CNN pruning via composability. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn Type-level computations for Ruby libraries. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, Mooly Sagiv Simple and precise static analysis of untrusted Linux kernel extensions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alceste Scalas, Nobuko Yoshida, Elias Benussi Verifying message-passing programs with dependent behavioural types. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rijnard van Tonder, Claire Le Goues Lightweight multi-language syntax transformation with parser parser combinators. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung Hwan Lee, Chung-Kil Hur Promising-ARM/RISC-V: a simpler and faster operational concurrency model. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox Verified compilation on a verified processor. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kathryn S. McKinley, Kathleen Fisher (eds.) Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sandeep Dasgupta, Daejun Park 0001, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu A complete formal semantics of x86-64 user-level instruction set architecture. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich Argosy: verifying layered storage systems with recovery refinement. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni 0001, Ryan R. Newton LoCal: a language for programs operating on serialized data. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiho Choi, Thomas Shull, Josep Torrellas Reusable inline caching for JavaScript performance. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zhoulai Fu, Zhendong Su Effective floating-point analysis via weak-distance minimization. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang SemCluster: clustering of imperative programming assignments based on quantitative semantic features. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, Deian Stefan FaCT: a DSL for timing-sensitive computation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos 0001, Onur Mutlu, Fang Lv, Xiaobing Feng 0002, Guoqing Harry Xu Panthera: holistic memory management for big data processing over hybrid memories. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, Danfeng Zhang Proving differential privacy with shadow execution. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Azadeh Farzan, Victor Nicolet Modular divide-and-conquer parallelization of nested loops. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kevin Liao, Matthew A. Hammer, Andrew Miller 0001 ILC: a calculus for composable, computational cryptography. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac Lazy counterfactual symbolic execution. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu DFix: automatically fixing timing bugs in distributed systems. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen Data-trace types for distributed stream processing systems. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, Monica S. Lam Genie: a generator of natural language semantic parsers for virtual assistant commands. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karaköy, Meenakshi Arunachalam Co-optimizing memory-level parallelism and cache-level parallelism. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma Compiling KB-sized machine learning models to tiny IoT devices. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, Jonathan M. Smith Ignis: scaling distribution-oblivious systems with light-touch distribution. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, Gabriel Rodríguez 0001 Generating piecewise-regular code from irregular structures. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Shull, Jian Huang 0006, Josep Torrellas AutoPersist: an easy-to-use Java NVM framework based on reachability. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar Computing summaries of string loops in C for better testing and refactoring. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev Unsupervised learning of API aliasing specifications. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, Andreas Zeller Parser-directed fuzzing. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tuma 0001, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, Walter Binder Renaissance: benchmarking suite for parallel applications on the JVM. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 Bidirectional type checking for relational properties. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Laxman Dhulipala, Guy E. Blelloch, Julian Shun Low-latency graph streaming using compressed purely-functional trees. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen SLING: using dynamic analysis to infer program invariants in separation logic. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emily Ruppel, Brandon Lucia Transactional concurrency control for intermittent, energy-harvesting computing systems. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roshan Dathathri, Olli Saarikivi, Hao Chen 0030, Kim Laine, Kristin E. Lauter, Saeed Maleki, Madanlal Musuvathi, Todd Mytkowicz CHET: an optimizing compiler for fully-homomorphic neural-network inferencing. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Chao Wang, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri Replication-aware linearizability. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christopher Lidbury, Alastair F. Donaldson Sparse record and replay with controlled scheduling. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bobby Powers, David Tench, Emery D. Berger, Andrew McGregor 0001 Mesh: compacting memory management for C/C++ applications. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Neelakantan R. Krishnaswami, Jeremy Yallop A typed, algebraic approach to parsing. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tristan Knoth, Di Wang, Nadia Polikarpova, Jan Hoffmann 0002 Resource-guided program synthesis. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani Synthesis and machine learning for heterogeneous extraction. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis Model checking for weakly consistent libraries. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens Characterising renaming within OCaml's module system: theory and implementation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1He Zhu 0001, Zikang Xiong, Stephen Magill, Suresh Jagannathan An inductive synthesis framework for verifiable reinforcement learning. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Meng Wu, Chao Wang 0001 Abstract interpretation under speculative execution. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, Xinyu Feng Towards certified separate compilation for concurrent programs. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuepeng Wang 0001, James Dong, Rushi Shah, Isil Dillig Synthesizing database programs for schema refactoring. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik Continuously reasoning about programs using differential Bayesian inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev Scalable taint specification inference with big code. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva 0001 Scalable verification of probabilistic networks. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Peixin Wang, Hongfei Fu 0001, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi Cost analysis of nondeterministic probabilistic programs. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, Xiangyu Zhang Programming support for autonomizing software. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kiwan Maeng, Brandon Lucia Supporting peripherals in intermittent systems with just-in-time checkpoints. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler A fast analytical model of fully associative caches. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, Vikash K. Mansinghka Gen: a general-purpose probabilistic programming system with programmable inference. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ori Lahav, Roy Margalit Robustness against release/acquire semantics. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Blake Loring, Duncan Mitchell, Johannes Kinder Sound regular expression semantics for dynamic symbolic execution of JavaScript. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jiasi Shen 0001, Martin C. Rinard Using active learning to synthesize models of applications that access databases. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie Learning stateful preconditions modulo a test generator. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Parosh Aziz Abdulla, Jatin Arora 0002, Mohamed Faouzi Atig, Shankara Narayanan Krishna Verification of programs under the release-acquire semantics. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Berkeley R. Churchill, Oded Padon, Rahul Sharma 0001, Alex Aiken Semantic program alignment for equivalence checking. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia Scenic: a language for scenario specification and scene generation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri Optimization and abstraction: a synergistic approach for analyzing neural network robustness. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Li Zhou, Nengkun Yu, Mingsheng Ying An applied quantum Hoare logic. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lun Liu, Todd D. Millstein, Madanlal Musuvathi Accelerating sequential consistency for Java with speculative compilation. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kirshanthan Sundararajah, Milind Kulkarni 0001 Composable, sound transformations of nested recursion and loops. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahdi 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. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, Jeremy G. Siek Toward efficient gradual typing for structural types via coercions. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Darius Mercadier, Pierre-Évariste Dagand Usuba: high-throughput and constant-time ciphers, by construction. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, Baris Kasikci Huron: hybrid false sharing detection and repair. Search on Bibsonomy PLDI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Adarsh Yoga, Santosh Nagarakatte Parallelism-centric what-if and differential analyses. Search on Bibsonomy PLDI The full citation details ... 2019 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
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
1Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian 0002, 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
1He Zhu 0001, Stephen Magill, Suresh Jagannathan A data-driven CHC solver. 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
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
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
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
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
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
1Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li 0031, 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
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
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
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
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
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
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
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
1Daniele Cono D'Elia, Camil Demetrescu On-stack replacement, distilled. 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
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
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
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
Displaying result #1 - #100 of 1283 (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