|
|
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 | Albert Mingkun Yang, Erik Österlund, Tobias Wrigstad |
Improving program locality in the GC using hotness. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sidi Mohamed Beillahi, Gabriela F. Ciocarlie, Michael Emmi, Constantin Enea |
Behavioral simulation for smart contracts. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Alastair F. Donaldson, Emina Torlak (eds.) |
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020 |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Grzegorz Herman |
Faster general parsing through context-free memoization. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, Yiying Zhang 0005 |
Understanding memory and thread safety practices and issues in real-world Rust programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, Zheng Gao |
Typilus: neural type hints. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, Xuehai Qian |
SympleGraph: distributed graph processing with precise loop-carried dependency guarantee. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Anders Miltner, Saswat Padhi, Todd D. Millstein, David Walker 0001 |
Data-driven inference of representation invariants. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, Jonathan Coates |
FreezeML: complete and easy type inference for first-class polymorphism. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kavon Farvardin, John H. Reppy |
From folklore to fact: comparing implementations of stacks and continuations. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jake Roemer, Kaan Genç, Michael D. Bond |
SmartTrack: efficient predictive race detection. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Hongfei Fu 0001, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady |
Polynomial invariant generation for non-deterministic recursive programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Hongjune Kim, Jianping Zeng 0001, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, Changhee Jung |
Compiler-directed soft error resilience for lightweight GPU register file protection. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, Christopher W. Fletcher |
Scalable validation of binary lifters. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, Michael Carbin |
Reactive probabilistic programming. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li 0002, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, Zhiru Zhang |
Predictable accelerator design with time-sensitive affine types. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, Ranjit Jhala |
Type error feedback via analytic program repair. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Siddharth Krishna 0001, Nisarg Patel, Dennis E. Shasha, Thomas Wies |
Verifying concurrent search structure templates. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ke Wang 0022, Zhendong Su 0001 |
Blended, precise semantic program embeddings. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry, Manuel Serrano |
HipHop.js: (A)Synchronous reactive web programming. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Phulia, Vaibhav Bhagee, Sorav Bansal |
OOElala: order-of-evaluation based alias analysis for compiler optimization. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, Yanjun Wang |
Reconciling enumerative and deductive program synthesis. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, I-Ting Angelina Lee |
Responsive parallelism with futures and state. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kiwan Maeng, Brandon Lucia |
Adaptive low-overhead scheduling for periodic and reactive intermittent execution. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Chou, Fredrik Kjolstad, Saman P. Amarasinghe |
Automatic generation of efficient sparse tensor format conversion routines. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Nick Giannarakis, Devon Loehr, Ryan Beckett, David Walker 0001 |
NV: an intermediate language for verification of network control planes. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jeehoon Kang, Jaehwang Jung |
A marriage of pointer- and epoch-based reclamation. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Timon Gehr, Samuel Steffen, Martin T. Vechev |
λPSI: exact inference for higher-order probabilistic programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, Ronghui Gu |
Learning nonlinear loop invariants with gated continuous logic networks. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jianhui Chen, Fei He 0001 |
Proving almost-sure termination by omega-regular decomposition. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Michal Friedman 0001, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, Erez Petrank |
NVTraverse: in NVRAM data structures, the destination is more important than the journey. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Fabian Schuiki, Andreas Kurth, Tobias Grosser, Luca Benini |
LLHD: a multi-level intermediate representation for hardware description languages. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Kaan Genç, Michael D. Bond, Guoqing Harry Xu |
Crafty: efficient, HTM-compatible persistent transactions. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Jacob R. Lorch, Yixuan Chen 0002, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao |
Armada: low-effort verification of high-performance concurrent programs. |
PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Martin Kong, Louis-Noël Pouchet |
Model-driven transformations for multi- and many-core CPUs. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni 0001 |
Sound, fine-grained traversal fusion for heterogeneous trees. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jieyuan Zhang, Jingling Xue |
Incremental precision-preserving symbolic inference for probabilistic programs. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hui Guan 0001, Xipeng Shen, Seung-Hwan Lim |
Wootz: a compiler-based framework for fast CNN pruning via composability. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, David Van Horn |
Type-level computations for Ruby libraries. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Elazar 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alceste Scalas, Nobuko Yoshida, Elias Benussi |
Verifying message-passing programs with dependent behavioural types. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Rijnard van Tonder, Claire Le Goues |
Lightweight multi-language syntax transformation with parser parser combinators. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee 0001, Chung-Kil Hur |
Promising-ARM/RISC-V: a simpler and faster operational concurrency model. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox |
Verified compilation on a verified processor. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Dasgupta, Daejun Park 0001, Theodoros Kasampalis, Vikram S. Adve, Grigore Rosu |
A complete formal semantics of x86-64 user-level instruction set architecture. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich |
Argosy: verifying layered storage systems with recovery refinement. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michael Vollmer 0003, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni 0001, Ryan R. Newton |
LoCal: a language for programs operating on serialized data. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiho Choi, Thomas Shull, Josep Torrellas |
Reusable inline caching for JavaScript performance. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Zhoulai Fu, Zhendong Su 0001 |
Effective floating-point analysis via weak-distance minimization. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | David Mitchel Perry, Dohyeong Kim, Roopsha Samanta, Xiangyu Zhang 0001 |
SemCluster: clustering of imperative programming assignments based on quantitative semantic features. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sunjay 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chenxi Wang, Huimin Cui, Ting Cao, John N. 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuxin Wang, Zeyu Ding 0001, Guanhong Wang, Daniel Kifer, Danfeng Zhang |
Proving differential privacy with shadow execution. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Azadeh Farzan, Victor Nicolet |
Modular divide-and-conquer parallelization of nested loops. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Liao, Matthew A. Hammer, Andrew Miller 0001 |
ILC: a calculus for composable, computational cryptography. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, Ruzica Piskac |
Lazy counterfactual symbolic execution. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, Shan Lu 0001 |
DFix: automatically fixing timing bugs in distributed systems. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen |
Data-trace types for distributed stream processing systems. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, Monica S. Lam |
Genie: a generator of natural language semantic parsers for virtual assistant commands. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karaköy, Meenakshi Arunachalam |
Co-optimizing memory-level parallelism and cache-level parallelism. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, Rahul Sharma 0001 |
Compiling KB-sized machine learning models to tiny IoT devices. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, Jonathan M. Smith |
Ignis: scaling distribution-oblivious systems with light-touch distribution. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, Gabriel Rodríguez 0001 |
Generating piecewise-regular code from irregular structures. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Shull, Jian Huang 0006, Josep Torrellas |
AutoPersist: an easy-to-use Java NVM framework based on reachability. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar |
Computing summaries of string loops in C for better testing and refactoring. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jan Eberhardt, Samuel Steffen, Veselin Raychev, Martin T. Vechev |
Unsupervised learning of API aliasing specifications. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, Andreas Zeller |
Parser-directed fuzzing. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Aleksandar 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001 |
Bidirectional type checking for relational properties. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Laxman Dhulipala, Guy E. Blelloch, Julian Shun |
Low-latency graph streaming using compressed purely-functional trees. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ton Chanh Le, Guolong Zheng, ThanhVu Nguyen |
SLING: using dynamic analysis to infer program invariants in separation logic. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Emily Ruppel, Brandon Lucia |
Transactional concurrency control for intermittent, energy-harvesting computing systems. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roshan 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Chao Wang 0069, Constantin Enea, Suha Orhun Mutluergil, Gustavo Petri |
Replication-aware linearizability. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Christopher Lidbury, Alastair F. Donaldson |
Sparse record and replay with controlled scheduling. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bobby Powers, David Tench, Emery D. Berger, Andrew McGregor 0001 |
Mesh: compacting memory management for C/C++ applications. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami, Jeremy Yallop |
A typed, algebraic approach to parsing. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tristan Knoth, Di Wang 0017, Nadia Polikarpova, Jan Hoffmann 0002 |
Resource-guided program synthesis. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Arun Shankar Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, Sriram K. Rajamani |
Synthesis and machine learning for heterogeneous extraction. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Michalis Kokologiannakis, Azalea Raad, Viktor Vafeiadis |
Model checking for weakly consistent libraries. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, Scott Owens |
Characterising renaming within OCaml's module system: theory and implementation. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | He Zhu 0001, Zikang Xiong, Stephen Magill, Suresh Jagannathan |
An inductive synthesis framework for verifiable reinforcement learning. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Meng Wu, Chao Wang 0001 |
Abstract interpretation under speculative execution. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Hanru Jiang, Hongjin Liang 0001, Siyang Xiao, Junpeng Zha, Xinyu Feng 0001 |
Towards certified separate compilation for concurrent programs. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yuepeng Wang 0001, James Dong, Rushi Shah, Isil Dillig |
Synthesizing database programs for schema refactoring. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kihong Heo, Mukund Raghothaman, Xujie Si, Mayur Naik |
Continuously reasoning about programs using differential Bayesian inference. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, Martin T. Vechev |
Scalable taint specification inference with big code. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Steffen Smolka, Praveen Kumar 0003, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva 0001 |
Scalable verification of probabilistic networks. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Peixin Wang, Hongfei Fu 0001, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, Wenjun Shi |
Cost analysis of nondeterministic probabilistic programs. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Chuan Lee, Peng Liu 0010, Yingqi Liu, Shiqing Ma, Xiangyu Zhang 0001 |
Programming support for autonomizing software. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Kiwan Maeng, Brandon Lucia |
Supporting peripherals in intermittent systems with just-in-time checkpoints. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Gysi, Tobias Grosser, Laurin Brandner, Torsten Hoefler |
A fast analytical model of fully associative caches. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Phuc 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. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, Vikash K. Mansinghka |
Gen: a general-purpose probabilistic programming system with programmable inference. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Ori Lahav 0001, Roy Margalit |
Robustness against release/acquire semantics. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Blake Loring, Duncan Mitchell, Johannes Kinder |
Sound regular expression semantics for dynamic symbolic execution of JavaScript. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jiasi Shen 0001, Martin C. Rinard |
Using active learning to synthesize models of applications that access databases. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001 |
Learning stateful preconditions modulo a test generator. |
PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1518 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|