Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPLDI 2018: Philadelphia, PA, USA
- Jeffrey S. Foster, Dan Grossman:
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018. ACM 2018, ISBN 978-1-4503-5698-5
Web Pages
- Pavel Panchekha, Adam T. Geller
, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil:
Verifying that web pages have accessible layout. 1-14 - John Vilk, Emery D. Berger:
BLeak: automatically debugging memory leaks in web applications. 15-29 - Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha:
Putting in all the stops: execution control for JavaScript. 30-45
Emerging Hardware
- Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch:
Persistency for synchronization-free regions. 46-61 - Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout:
Write-rationing garbage collection for hybrid memories. 62-77 - Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang:
Mapping spiking neural networks onto a manycore neuromorphic architecture. 78-89
Concurrency and Termination
- Lucas Brutschy, Dimitar K. Dimitrov, Peter Müller, Martin T. Vechev:
Static serializability analysis for causal consistency. 90-104 - Peizun Liu, Thomas Wahl:
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs. 105-119 - Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis:
Symbolic reasoning for automatic signal placement. 120-134 - Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang:
Advanced automata-based algorithms for program termination checking. 135-150
Dynamic Techniques
- Guilherme Ottoni:
HHVM JIT: a profile-guided, region-based compiler for PHP and Hack. 151-165 - Daniele Cono D'Elia, Camil Demetrescu:
On-stack replacement, distilled. 166-180 - Gregory J. Duck, Roland H. C. Yap:
EffectiveSan: type and memory error detection using dynamically typed C/C++. 181-195 - Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su:
Calling-to-reference context translation via constraint-guided CFL-reachability. 196-210
Transactions and Races
- Nathan Chong, Tyler Sorensen, John Wickerson:
The semantics of transactions and weak memory in x86, Power, ARM, and C++. 211-225 - Mae Milano, Andrew C. Myers:
MixT: a language for mixing consistency in geodistributed transactions. 226-241 - Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy:
Bounding data races in space and time. 242-255
Floats and Maps
- Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock:
Finding root causes of floating point error. 256-269 - Ulf Adams:
Ryū: fast float-to-string conversion. 270-282 - Michael J. Steindorfer, Jurgen J. Vinju:
To-many or to-one? all-in-one! efficient purely functional multi-maps with type-heterogeneous hash-tries. 283-295
Multicore and More
- David 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. 296-311 - Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung:
Enhancing computation-to-core assignment with physical location information. 312-327 - 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. 328-343
Concurrency Debugging
- Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu:
iReplayer: in-situ and identical record-and-replay for multithreaded applications. 344-358 - Bozhen Liu, Jeff Huang:
D4: fast concurrency debugging with parallel differential analysis. 359-373 - Jake Roemer, Kaan Genç, Michael D. Bond:
High-coverage, unbounded sound predictive race detection. 374-389 - Yuanfeng Peng, Vinod Grover, Joseph Devietti:
CURD: a dynamic CUDA race detector. 390-403
Synthesis and Learning
- Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav:
A general path-based representation for predicting program properties. 404-419 - Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig:
Program synthesis using conflict-driven learning. 420-435 - Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik:
Accelerating search-based program synthesis using learned probabilistic models. 436-449 - Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev:
Inferring crypto API rules from code changes. 450-464
Programming-Student Feedback
- Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated clustering and program repair for introductory programming assignments. 465-480 - Ke Wang, Rishabh Singh, Zhendong Su:
Search, align, and repair: data-driven feedback generation for introductory programming exercises. 481-495
Analyzing Probabilistic Programs
- Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann:
Bounded expectations: resource analysis for probabilistic programs. 496-512 - Di Wang, Jan Hoffmann, Thomas W. Reps:
PMAF: an algebraic framework for static analysis of probabilistic programs. 513-528
Optimization and Locality
- Aravind Acharya, Uday Bondhugula, Albert Cohen:
Polyhedral auto-transformation with no integer linear programming. 529-542 - Simon Moll, Sebastian Hack:
Partial control-flow linearization. 543-556 - Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai:
Locality analysis through static parallel sampling. 557-570
Inference for Probabilistic Programs
- Marco F. Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka:
Incremental inference for probabilistic programs. 571-585 - Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev:
Bayonet: probabilistic inference for networks. 586-602 - Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin C. Rinard:
Probabilistic programming with programmable inference. 603-616
Verification
- Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer:
VeriPhy: verified controller executables from verified cyber-physical system models. 617-630 - 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. 631-645 - Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro:
Certified concurrent abstraction layers. 646-661 - 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. 662-677
Program Analysis
- Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang:
Active learning of points-to specifications. 678-692 - Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang:
Pinpoint: fast and precise sparse value flow analysis for million lines of code. 693-706 - He Zhu, Stephen Magill, Suresh Jagannathan:
A data-driven CHC solver. 707-721 - Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik:
User-guided program reasoning using Bayesian inference. 722-735
Parallelism
- 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. 736-751 - 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. 752-768 - Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski:
Heartbeat scheduling: provable efficiency for nested parallelism. 769-782
Types
- Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones:
Guarded impredicative polymorphism. 783-796 - William J. Bowman, Amal Ahmed:
Typed closure conversion for the calculus of constructions. 797-811 - Justin Pombrio, Shriram Krishnamurthi:
Inferring type rules for syntactic sugar. 812-825
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-19 19:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
