|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1025 occurrences of 545 keywords
|
|
|
|
|
Results
Found 1221 publication records. Showing 1221 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Andrei Marian Dan, Patrick Lam 0001, Torsten Hoefler, Martin T. Vechev |
Modeling and analysis of remote memory access programming.  |
OOPSLA  |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Bavishi, Awanish Pandey, Subhajit Roy 0001 |
To be precise: regression aware debugging. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Colin, Brandon Lucia |
Chain: tasks and channels for reliable intermittent programs. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Malavika Samak, Omer Tripp, Murali Krishna Ramanathan |
Directed synthesis of failing concurrent executions. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Andrea Corradi |
Semantic subtyping for imperative object-oriented languages. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kell, Dominic P. Mulligan, Peter Sewell |
The missing link: explaining ELF static linking, semantically. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann, Jörg Hagemann, Bastian Ulke |
Computing repair alternatives for malformed programs using constraint attribute grammars. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Blum, Garth A. Gibson |
Stateless model checking with data-race preemption points. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Calvin Loncaric, Satish Chandra 0001, Cole Schlesinger, Manu Sridharan |
A practical framework for type inference error explanation. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kumud Bhandari, Dhruva R. Chakrabarti, Hans-Juergen Boehm |
Makalu: fast recoverable allocation of non-volatile memory. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiyong Shan, Tanzirul Azim, Iulian Neamtiu |
Finding resume and restart errors in Android applications. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Treichler, Michael Bauer 0001, Rahul Sharma 0001, Elliott Slaughter, Alex Aiken |
Dependent partitioning. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kyndylan Nienhuis, Kayvan Memarian, Peter Sewell |
An operational semantics for C/C++11 concurrency. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sreepathi Pai, Keshav Pingali |
A compiler for throughput optimization of graph algorithms on GPUs. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Huang 0001, Arun K. Rajagopalan |
Precise and maximal race detection from incomplete traces. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock |
Scalable verification of border gateway protocol configurations with an SMT solver. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Santiago Perez De Rosso, Daniel Jackson 0001 |
Purposes, concepts, misfits, and a redesign of git. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee 0001, Germán Andrés Delbianco |
Hoare-style specifications as correctness conditions for non-linearizable concurrent objects. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Haller, Alexander Loiko |
LaCasa: lightweight affinity and object capabilities in Scala. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps |
Speeding up machine-code synthesis. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengnian Sun, Vu Le 0002, Zhendong Su 0001 |
Finding compiler bugs via live code mutation. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Chapman, Antony L. Hosking, J. Eliot B. Moss |
Hybrid STM/HTM for nested transactions on OpenJDK. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sulekha Kulkarni, Ravi Mangal, Xin Zhang 0035, Mayur Naik |
Accelerating program analyses by cross-program training. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Veselin Raychev, Pavol Bielik, Martin T. Vechev |
Probabilistic model for code with decision trees. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zuo 0002, Lu Fang 0003, Siau-Cheng Khoo, Guoqing Xu 0001, Shan Lu 0001 |
Low-overhead and fully automated statistical debugging with abstraction refinement. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan DiLorenzo, Richard Zhang 0004, Erin Menzies, Kathleen Fisher, Nate Foster |
Incremental forest: a DSL for efficiently managing filestores. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Anitha Gollamudi, Stephen Chong |
Automatic enforcement of expressive security policies using enclaves. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoit Daloze, Stefan Marr, Daniele Bonetta, Hanspeter Mössenböck |
Efficient and thread-safe objects for dynamically-typed languages. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaon Barman, Sarah E. Chasins, Rastislav Bodík, Sumit Gulwani |
Ringer: web automation by demonstration. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sorensen 0001, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
Portable inter-workgroup barrier synchronisation for GPUs. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Immanuel Brachthäuser, Tillmann Rendel, Klaus Ostermann |
Parsing with first-class derivatives. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Satish Chandra 0001, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan, Frank Tip, Young-Il Choi |
Type inference for static compilation of JavaScript. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Michener Peters, David Kitchin, John A. Thywissen, William R. Cook |
OrcO: a concurrency-first approach to objects. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong |
Extensible access control with authorization contracts. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Nada Amin, Ross Tate |
Java and scala's type systems are unsound: the existential crisis of null pointers. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dohyeong Kim, Yonghwi Kwon 0001, Peng Liu 0010, I Luk Kim, David Mitchel Perry, Xiangyu Zhang 0001, Gustavo Rodriguez-Rivera |
Apex: automatic programming assignment error explanation. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Hanappi, Waldemar Hummer, Schahram Dustdar |
Asserting reliable convergence for configuration management scripts. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyu Wang 0006, Sumit Gulwani, Rishabh Singh |
FIDEX: filtering spreadsheet data using examples. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Bonetta, Luca Salucci, Stefan Marr, Walter Binder |
GEMs: shared-memory parallel programming for Node.js. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sébastien Doeraene, Tobias Schlatter |
Parallel incremental whole-program optimizations for Scala.js. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Petrashko, Vlad Ureche, Ondrej Lhoták, Martin Odersky |
Call graphs for languages with parametric polymorphism. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Diogenes Nunez, Samuel Z. Guyer, Emery D. Berger |
Prioritized garbage collection: explicit GC support for software caches. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiark Rompf, Nada Amin |
Type soundness for dependent object types (DOT). |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kell |
Dynamically diagnosing type errors in unsafe code. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuheng Long, Yu David Liu, Hridesh Rajan |
First-class effect reflection for effect-guided programming. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Panchekha, Emina Torlak |
Automated reasoning for web page layout. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Eelco Visser, Yannis Smaragdakis (eds.) |
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 |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Srinivasan, Thomas W. Reps |
An improved algorithm for slicing machine code. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shiyou Huang, Jeff Huang 0001 |
Maximal causality reduction for TSO and PSO. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shachar Itzhaky, Rohit Singh 0002, Armando Solar-Lezama, Kuat Yessenov, Yongquan Lu, Charles E. Leiserson, Rezaul Alam Chowdhury |
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Stefanescu, Daejun Park 0001, Shijiao Yuwen, Yilong Li, Grigore Rosu |
Semantics-based program verifiers for all languages. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Rishi Surendran, Vivek Sarkar |
Automatic parallelization of pure method calls via conditional future synthesis. |
OOPSLA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Jana Dunfield, Kyle Headley, Nicholas Labich, Jeffrey S. Foster, Michael W. Hicks, David Van Horn |
Incremental computation with names. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Mastrangelo, Luca Ponzanelli, Andrea Mocci, Michele Lanza, Matthias Hauswirth, Nathaniel Nystrom |
Use at your own risk: the Java unsafe API in the wild. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Madsen, Frank Tip, Ondrej Lhoták |
Static analysis of event-driven Node.js JavaScript applications. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Luca Padovani |
The chemical approach to typestate-oriented programming. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Brandauer, Dave Clarke 0001, Tobias Wrigstad |
Disjointness domains for fine-grained aliasing. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Kuraj, Viktor Kuncak, Daniel Jackson 0001 |
Programming with enumerable sets of structures. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sara Achour, Martin C. Rinard |
Approximate computation with outlier detection in Topaz. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yudi Zheng, Lubomír Bulej, Walter Binder |
Accurate profiling in the presence of dynamic compilation. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Ntzik, Philippa Gardner |
Reasoning about the POSIX file system: local update and global pathnames. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo A. López 0001, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
Protocol-based verification of message-passing parallel programs. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas Brutschy, Pietro Ferrara 0001, Omer Tripp, Marco Pistoia |
ShamDroid: gracefully degrading functionality in the presence of limited resource access. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Feng 0001, Xinyu Wang 0006, Isil Dillig, Calvin Lin |
EXPLORER : query- and demand-driven exploration of interprocedural control flow properties. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael J. Steindorfer, Jurgen J. Vinju |
Optimizing hash-array mapped tries for fast and lean immutable JVM collections. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Della Toffola, Michael Pradel, Thomas R. Gross |
Performance problems you can fix: a dynamic analysis of memoization opportunities. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Osbert Bastani, Saswat Anand, Alex Aiken |
Interactively verifying absence of explicit information flows in Android apps. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Ureche, Aggelos Biboudis, Yannis Smaragdakis, Martin Odersky |
Automating ad hoc data representation transformations. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjian Hu, Tanzirul Azim, Iulian Neamtiu |
Versatile yet lightweight record-and-replay for Android. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | John Wickerson, Mark Batty, Bradford M. Beckmann, Alastair F. Donaldson |
Remote-scope promotion: clarified, rectified, and verified. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Marr, Stéphane Ducasse |
Tracing vs. partial evaluation: comparing meta-compilation approaches for self-optimizing interpreters. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavol Bielik, Veselin Raychev, Martin T. Vechev |
Scalable race detection for Android applications. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-Chuan Lee, Tao Bao, Yunhui Zheng, Xiangyu Zhang 0001, Keval Vora, Rajiv Gupta 0001 |
RAIVE: runtime assessment of floating-point instability by vectorization. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoyuan Zhang, Zewei Chu, Bruno C. d. S. Oliveira, Tijs van der Storm |
Scrap your boilerplate with object algebras. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vu Le 0002, Chengnian Sun, Zhendong Su 0001 |
Finding deep compiler bugs via guided stochastic program mutation. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Dietrich 0001, Nicholas Hollingum, Bernhard Scholz |
Giga-scale exhaustive points-to analysis for Java in under a minute. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Peizhao Ou, Brian Demsky |
AutoMO: automatic inference of memory order parameters for C/C++11. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina V. Lopes, Joel Ossher |
How scale affects structure in Java programs. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
Conditionally correct superoptimization. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Swarnendu Biswas, Minjia Zhang, Michael D. Bond, Brandon Lucia |
Valor: efficient, software-only region conflict exceptions. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matías Toro, Éric Tanter |
Customizable gradual polymorphic effects for Scala. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Patrick Lam 0001 |
SATCheck: SAT-directed stateless model checking for SC and TSO. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich, Patrick Eugster (eds.) |
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015 |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brett Boston, Adrian Sampson, Dan Grossman, Luis Ceze |
Probability type inference for flexible approximate programming. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak |
Automating grammar comparison. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Blackshear, Bor-Yuh Evan Chang, Manu Sridharan |
Selective control-flow abstraction via jumping. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong |
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Hakjoo Oh, Hongseok Yang, Kwangkeun Yi |
Learning a strategy for adapting a program analysis via bayesian optimisation. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Casper Svenning Jensen, Anders Møller, Veselin Raychev, Dimitar K. Dimitrov 0002, Martin T. Vechev |
Stateless model checking of event-driven applications. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Darais, Matthew Might, David Van Horn |
Galois transformers and modular abstract interpreters: reusable metatheory for program analysis. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Aigner 0003, Christoph M. Kirsch, Michael Lippautz, Ana Sokolova |
Fast, multicore-scalable, low-fragmentation memory allocation through large virtual memory and global data structures. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Voelter, Arie van Deursen, Bernd Kolb, Stephan Eberle |
Using C language extensions for developing embedded software: a case study. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini |
A co-contextual formulation of type rules and its application to incremental type checking. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Thibaud Hottelier, Rastislav Bodík |
Synthesis of layout engines from relational constraints. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesha Upadhyaya, Hridesh Rajan |
Effectively mapping linguistic abstractions for message-passing concurrency to threads on the Java virtual machine. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhoulai Fu, Zhaojun Bai, Zhendong Su 0001 |
Automated backward error analysis for numerical code. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael R. Jantz, Forrest J. Robinson, Prasad A. Kulkarni, Kshitij A. Doshi |
Cross-layer memory management for managed language applications. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Erdweg, Moritz Lichter, Manuel Weiel |
A sound and optimal incremental build system with dynamic dependencies. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Felgentreff, Todd D. Millstein, Alan Borning, Robert Hirschfeld |
Checks and balances: constraint solving without surprises in object-constraint programming languages. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1221 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license