![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
30. OOPSLA 2016: Amsterdam, The Netherlands
- Eelco Visser, Yannis Smaragdakis:
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. ACM 2016, ISBN 978-1-4503-4444-9
Optimization and Performance
- Sreepathi Pai
, Keshav Pingali:
A compiler for throughput optimization of graph algorithms on GPUs. 1-19 - Rishi Surendran, Vivek Sarkar:
Automatic parallelization of pure method calls via conditional future synthesis. 20-38 - Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. 39-58 - Sébastien Doeraene, Tobias Schlatter:
Parallel incremental whole-program optimizations for Scala.js. 59-73
Semantics and Verification
- Andrei Stefanescu, Daejun Park, Shijiao Yuwen, Yilong Li, Grigore Rosu:
Semantics-based program verifiers for all languages. 74-91 - Ilya Sergey
, Aleksandar Nanevski, Anindya Banerjee
, Germán Andrés Delbianco
:
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. 92-110 - Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell
:
An operational semantics for C/C++11 concurrency. 111-128 - Andrei Marian Dan, Patrick Lam, Torsten Hoefler, Martin T. Vechev:
Modeling and analysis of remote memory access programming. 129-144
Program Synthesis
- Shachar Itzhaky, Rohit Singh, Armando Solar-Lezama
, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury:
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. 145-164 - Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps:
Speeding up machine-code synthesis. 165-180 - Pavel Panchekha, Emina Torlak:
Automated reasoning for web page layout. 181-194 - Xinyu Wang
, Sumit Gulwani, Rishabh Singh:
FIDEX: filtering spreadsheet data using examples. 195-213
Language Design and Programming Models I
- Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong:
Extensible access control with authorization contracts. 214-233 - Leo Osvald, Grégory M. Essertel, Xilun Wu, Lilliam I. González Alayón, Tiark Rompf:
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect. 234-251 - Jonathan DiLorenzo, Richard Zhang, Erin Menzies
, Kathleen Fisher, Nate Foster:
Incremental forest: a DSL for efficiently managing filestores. 252-271 - Philipp Haller, Alexander Loiko:
LaCasa: lightweight affinity and object capabilities in Scala. 272-291
Programming Frameworks, Tools, and Methodologies
- Santiago Perez De Rosso
, Daniel Jackson:
Purposes, concepts, misfits, and a redesign of git. 292-310 - Dohyeong Kim, Yonghwi Kwon, Peng Liu, I Luk Kim, David Mitchel Perry, Xiangyu Zhang, Gustavo Rodriguez-Rivera:
Apex: automatic programming assignment error explanation. 311-327 - Oliver Hanappi, Waldemar Hummer, Schahram Dustdar
:
Asserting reliable convergence for configuration management scripts. 328-343 - Sean Treichler, Michael Bauer, Rahul Sharma, Elliott Slaughter, Alex Aiken
:
Dependent partitioning. 344-358
Static Analysis
- Sulekha Kulkarni, Ravi Mangal, Xin Zhang, Mayur Naik:
Accelerating program analyses by cross-program training. 359-377 - Venkatesh Srinivasan, Thomas W. Reps:
An improved algorithm for slicing machine code. 378-393 - Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky:
Call graphs for languages with parametric polymorphism. 394-409 - Satish Chandra, Colin S. Gordon
, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan
, Frank Tip, Young-Il Choi:
Type inference for static compilation of JavaScript. 410-429
Concurrency Analysis and Model Checking
- Malavika Samak, Omer Tripp, Murali Krishna Ramanathan:
Directed synthesis of failing concurrent executions. 430-446 - Shiyou Huang, Jeff Huang:
Maximal causality reduction for TSO and PSO. 447-461 - Jeff Huang, Arun K. Rajagopalan:
Precise and maximal race detection from incomplete traces. 462-476 - Ben Blum, Garth A. Gibson:
Stateless model checking with data-race preemption points. 477-493
Language Design and Programming Models II
- Anitha Gollamudi
, Stephen Chong:
Automatic enforcement of expressive security policies using enclaves. 494-513 - Alexei Colin, Brandon Lucia:
Chain: tasks and channels for reliable intermittent programs. 514-530 - Daniele Bonetta, Luca Salucci, Stefan Marr
, Walter Binder
:
GEMs: shared-memory parallel programming for Node.js. 531-547 - Arthur Michener Peters, David Kitchin, John A. Thywissen
, William R. Cook:
OrcO: a concurrency-first approach to objects. 548-567
Principles, Across the Compilation Stack
- Davide Ancona, Andrea Corradi:
Semantic subtyping for imperative object-oriented languages. 568-587 - Jonathan Immanuel Brachthäuser
, Tillmann Rendel, Klaus Ostermann:
Parsing with first-class derivatives. 588-606 - Stephen Kell, Dominic P. Mulligan
, Peter Sewell
:
The missing link: explaining ELF static linking, semantically. 607-623 - Tiark Rompf, Nada Amin:
Type soundness for dependent object types (DOT). 624-641
Runtime Support
- Benoit Daloze, Stefan Marr
, Daniele Bonetta, Hanspeter Mössenböck
:
Efficient and thread-safe objects for dynamically-typed languages. 642-659 - Keith Chapman, Antony L. Hosking
, J. Eliot B. Moss
:
Hybrid STM/HTM for nested transactions on OpenJDK. 660-676 - Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm:
Makalu: fast recoverable allocation of non-volatile memory. 677-694 - Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger
:
Prioritized garbage collection: explicit GC support for software caches. 695-710
Program Modeling and Learning
- Friedrich Steimann, Jörg Hagemann, Bastian Ulke:
Computing repair alternatives for malformed programs using constraint attribute grammars. 711-730 - Veselin Raychev, Pavol Bielik, Martin T. Vechev:
Probabilistic model for code with decision trees. 731-747 - Shaon Barman, Sarah E. Chasins
, Rastislav Bodík, Sumit Gulwani:
Ringer: web automation by demonstration. 748-764 - Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock
:
Scalable verification of border gateway protocol configurations with an SMT solver. 765-780
Typing, in Practice
- Calvin Loncaric, Satish Chandra, Cole Schlesinger, Manu Sridharan
:
A practical framework for type inference error explanation. 781-799 - Stephen Kell:
Dynamically diagnosing type errors in unsafe code. 800-819 - Yuheng Long, Yu David Liu, Hridesh Rajan
:
First-class effect reflection for effect-guided programming. 820-837 - Nada Amin, Ross Tate:
Java and scala's type systems are unsound: the existential crisis of null pointers. 838-848
Bug Detection Analysis and Model Checking
- Chengnian Sun, Vu Le, Zhendong Su
:
Finding compiler bugs via live code mutation. 849-863 - Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu:
Finding resume and restart errors in Android applications. 864-880 - Zhiqiang Zuo, Lu Fang, Siau-Cheng Khoo, Guoqing Xu, Shan Lu:
Low-overhead and fully automated statistical debugging with abstraction refinement. 881-896 - Rohan Bavishi, Awanish Pandey, Subhajit Roy:
To be precise: regression aware debugging. 897-915
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.