Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Péricles Alves, Fabian Gruber, Johannes Doerfert, Alexandros Lamprineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira |
Runtime pointer disambiguation. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nachshon Cohen, Erez Petrank |
Automatic memory reclamation for lock-free data structures. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tihomir Gvero, Viktor Kuncak |
Synthesizing Java expressions from free-form queries. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haichuan Wang, David A. Padua, Peng Wu 0001 |
Vectorization of apply to reduce interpretation overhead of R. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Oleksandr Polozov, Sumit Gulwani |
FlashMeta: a framework for inductive program synthesis. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Srinivasan, Thomas W. Reps |
Partial evaluation of machine code. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | John Bender, Mohsen Lesani, Jens Palsberg |
Declarative fence insertion. |
OOPSLA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Brandon Holt, Preston Briggs, Luis Ceze, Mark Oskin |
Alembic: automatic locality extraction via migration. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Richard Uhler, Nirav Dave |
Smten with satisfiability-based search. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tian Xiao, Zhenyu Guo, Hucheng Zhou, Jiaxing Zhang, Xu Zhao, Chencheng Ye, Xi Wang 0005, Wei Lin 0016, Wenguang Chen, Lidong Zhou |
Cybertron: pushing the limit on I/O reduction in data-parallel programs. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dhruva R. Chakrabarti, Hans-Juergen Boehm, Kumud Bhandari |
Atlas: leveraging locks for non-volatile memory consistency. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
Distributed REScala: an update algorithm for distributed reactive programming. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mingzhou Zhou, Xipeng Shen, Yaoqing Gao, Graham Yiu |
Space-efficient multi-versioning for input-adaptive feedback-driven program optimizations. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Turon, Viktor Vafeiadis, Derek Dreyer |
GPS: navigating weak memory with ghosts, protocols, and separation. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ankush Desai, Pranav Garg 0001, P. Madhusudan |
Natural proofs for asynchronous programs using almost-synchronous reductions. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Guy L. Steele Jr., Doug Lea, Christine H. Flood |
Fast splittable pseudorandom number generators. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Bell 0001, Gail E. Kaiser |
Phosphor: illuminating dynamic data flow in commodity jvms. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nicolás Rosner, Valeria S. Bengolea, Pablo Ponzio, Shadi Abdul Khalek, Nazareno Aguirre, Marcelo F. Frias, Sarfraz Khurshid |
Bounded exhaustive test input generation from hybrid invariants. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Qirun Zhang, Xiao Xiao 0003, Charles Zhang 0001, Hao Yuan, Zhendong Su 0001 |
Efficient subcubic alias analysis for C. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sasa Misailovic, Michael Carbin, Sara Achour, Zichao Qi, Martin C. Rinard |
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen |
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Asger Feldthaus, Anders Møller |
Checking correctness of TypeScript interfaces for JavaScript libraries. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Mark Marron |
Tardis: affordable time-travel debugging in managed runtimes. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | John Altidor, Yannis Smaragdakis |
Refactoring Java generics by inferring wildcards, in practice. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Esteban Allende, Johan Fabry, Ronald Garcia, Éric Tanter |
Confined gradual typing. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Holk, Ryan Newton, Jeremy G. Siek, Andrew Lumsdaine |
Region-based memory management for GPU programming languages: enabling rich data structures on a spartan host. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Ureche, Eugene Burmako, Martin Odersky |
Late data layout: unifying data representation transformations. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Florian David, Gaël Thomas 0001, Julia Lawall, Gilles Muller |
Continuously measuring critical section pressure with the free-lunch profiler. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Keval Vora, Sai Charan Koduru, Rajiv Gupta 0001 |
ASPIRE: exploiting asynchronous parallelism in iterative algorithms using a relaxed consistency based DSM. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peng Liu 0010, Omer Tripp, Xiangyu Zhang 0001 |
Flint: fixing linearizability violations. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Gustavo Pinto 0001, Fernando Castor, Yu David Liu |
Understanding energy behaviors of thread management constructs. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rifat Shahriyar, Stephen M. Blackburn, Kathryn S. McKinley |
Fast conservative garbage collection. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Wei Zhang 0059, Per Larsen, Stefan Brunthaler 0001, Michael Franz |
Accelerating iterators in optimizing AST interpreters. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhijia Zhao 0001, Bo Wu 0002, Mingzhou Zhou, Yufei Ding, Jianhua Sun, Xipeng Shen, Youfeng Wu |
Call sequence prediction through probabilistic calling automata. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew P. Black, Todd D. Millstein (eds.) |
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2014, part of SPLASH 2014, Portland, OR, USA, October 20-24, 2014 |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey Bosboom, Sumanaruban Rajadurai, Weng-Fai Wong, Saman P. Amarasinghe |
StreamJIT: a commensal compiler for high-performance stream programming. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Melanie Kambadur, Martha A. Kim |
An experimental survey of energy management across the stack. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Malavika Samak, Murali Krishna Ramanathan |
Multithreaded test synthesis for deadlock detection. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Emma Tosch, Emery D. Berger |
SurveyMan: programming and automatically debugging surveys. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Peng Wang 0048, Santiago Cuellar, Adam Chlipala |
Compiler verification meets cross-language linking via data abstraction. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Nazaré, Izabela Maffra, Willer Santos, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quintão Pereira |
Validation of memory accesses through symbolic analyses. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Vineet Kumar, Laurie J. Hendren |
MIX10: compiling MATLAB to X10 for high performance. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Cosmin Radoi, Stephen J. Fink, Rodric M. Rabbah, Manu Sridharan |
Translating imperative code to MapReduce. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Manohar Jonnalagedda, Thierry Coppey, Sandro Stucki, Tiark Rompf, Martin Odersky |
Staged parser combinators for efficient data processing. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Terence Parr, Sam Harwell, Kathleen Fisher |
Adaptive LL(*) parsing: the power of dynamic analysis. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Esben Andreasen, Anders Møller |
Determinacy in static analysis for jQuery. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Daniel W. Barowy, Dimitar Gochev, Emery D. Berger |
CheckCell: data debugging for spreadsheets. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tom Bergan, Dan Grossman, Luis Ceze |
Symbolic execution of multithreaded programs from arbitrary program contexts. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chun-Hung Hsiao, Michael J. Cafarella, Satish Narayanasamy |
Using web corpus statistics for program analysis. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lucas Brutschy, Pietro Ferrara 0001, Peter Müller 0001 |
Static analysis for independent app developers. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nimrod Partush, Eran Yahav |
Abstract semantic differencing via speculative correlation. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Mitschke, Sebastian Erdweg, Mirko Köhler 0001, Mira Mezini, Guido Salvaneschi |
i3QL: language-integrated live data views. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Luís Pina, Luís Veiga, Michael W. Hicks |
Rubah: DSU for Java on a stock JVM. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Bartenstein, Yu David Liu |
Rate types for stream programs. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nada Amin, Tiark Rompf, Martin Odersky |
Foundations of path-dependent types. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tillmann Rendel, Jonathan Immanuel Brachthäuser, Klaus Ostermann |
From object algebras to attribute grammars. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Linhai Song, Shan Lu 0001 |
Statistical debugging for real-world performance problems. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zvonimir Pavlinovic, Tim King 0001, Thomas Wies |
Finding minimum type error sources. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Keith Adams, Jason Evans, Bertrand Maher, Guilherme Ottoni, Andrew Paroski, Brett Simmers, Edwin Smith, Owen Yamauchi |
The hiphop virtual machine. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
Automated migration of build scripts using dynamic analysis and search-based refactoring. |
OOPSLA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hoppe, Stefan Hanenberg |
Do developers benefit from generic types?: an empirical comparison of generic and raw types in java. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Carl Friedrich Bolz, Lukas Diekmann, Laurence Tratt |
Storage strategies for collections in dynamically typed languages. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veselin Raychev, Max Schäfer, Manu Sridharan, Martin T. Vechev |
Refactoring with synthesis. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic |
Ironclad C++: a library-augmented type-safe subset of c++. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Richards, Christian Hammer 0001, Francesco Zappa Nardelli, Suresh Jagannathan, Jan Vitek |
Flexible access control for javascript. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kaushik Ravichandran 0001, Santosh Pande |
Multiverse: efficiently supporting distributed high-level speculation. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Vafeiadis, Chinmay Narayan |
Relaxed separation logic: a program logic for C11 concurrency. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Suparna Bhattacharya, Kanchi Gopinath, Mangala Gowri Nanda |
Combining concern input with program analysis for bloat detection. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | You Li, Zhendong Su 0001, Linzhang Wang, Xuandong Li |
Steering symbolic execution to less traveled paths. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Robin Salkeld, Gregor Kiczales |
Interacting with dead objects. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Bond, Milind Kulkarni 0001, Man Cao, Minjia Zhang, Meisam Fathi Salmi, Swarnendu Biswas, Aritra Sengupta, Jipeng Huang |
OCTET: capturing and controlling cross-thread dependences efficiently. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Katherine E. Coons, Madan Musuvathi, Kathryn S. McKinley |
Bounded partial-order reduction. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Joe Gibbs Politz, Alejandro Martinez, Mae Milano, Sumner Warren, Daniel Patterson 0001, Junsong Li, Anand Chitipothu, Shriram Krishnamurthi |
Python: the full monty. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Veselin Raychev, Martin T. Vechev, Manu Sridharan |
Effective race detection for event-driven programs. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Smaragdakis, George Balatsouras, George Kastrinis |
Set-based pre-processing for points-to analysis. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer |
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kristof Du Bois, Jennifer B. Sartor, Stijn Eyerman, Lieven Eeckhout |
Bottle graphs: visualizing scalability bottlenecks in multi-threaded applications. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | George Balatsouras, Yannis Smaragdakis |
Class hierarchy complementation: soundly completing a partial type graph. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Nick Mitchell, Peter F. Sweeney |
On-the-fly capacity planning. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Omer Tripp, Eric Koskinen, Mooly Sagiv |
Turning nondeterminism into parallelism. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter |
Synthesis modulo recursive functions. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hao Zhong 0001, Zhendong Su 0001 |
Detecting API documentation errors. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tom Bergan, Luis Ceze, Dan Grossman |
Input-covering schedules for multithreaded programs. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Albert Noll, Thomas R. Gross |
Online feedback-directed optimizations for parallel Java code. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sylvan Clebsch, Sophia Drossopoulou |
Fully concurrent garbage collection of actors on many-core machines. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Guoqing Xu 0001 |
Resurrector: a tunable object lifetime profiling technique for optimizing real-world programs. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Brian Norris, Brian Demsky |
CDSchecker: checking concurrent data structures written with C/C++ atomics. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rifat Shahriyar, Stephen M. Blackburn, Xi Yang 0021, Kathryn S. McKinley |
Taking off the gloves with reference counting Immix. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
Isolation for nested task parallelism. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wontae Choi, George C. Necula, Koushik Sen |
Guided GUI testing of android apps with minimal restart and approximate learning. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Cono D'Elia, Camil Demetrescu |
Ball-Larus path profiling across multiple loop iterations. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes (eds.) |
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013 |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Leo A. Meyerovich, Ariel S. Rabkin |
Empirical analysis of programming language adoption. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Sharma 0001, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
Data-driven equivalence checking. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Dongdong Deng, Wei Zhang 0022, Shan Lu 0001 |
Efficient concurrency-bug detection across inputs. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Ureche, Cristian Talau, Martin Odersky |
Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yao Shi, Bernard Blackham, Gernot Heiser |
Code optimizations using formally verified properties. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Prodromos Gerakios, Aggelos Biboudis, Yannis Smaragdakis |
Forsaking inheritance: supercharged delegation in DelphJ. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aman Kansal, T. Scott Saponas, A. J. Bernheim Brush, Kathryn S. McKinley, Todd Mytkowicz, Ryder Ziola |
The latency, accuracy, and battery (LAB) abstraction: programmer productivity and energy efficiency for continuous mobile context sensing. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sean Treichler, Michael Bauer 0001, Alex Aiken |
Language support for dynamic, hierarchical data partitioning. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|