Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Isil Dillig, Thomas Dillig, Boyang Li 0002, Kenneth L. McMillan |
Inductive invariant generation via abductive inference. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lingming Zhang 0001, Lu Zhang 0023, Sarfraz Khurshid |
Injecting mechanical faults to localize developer faults for evolving software. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Herhut, Richard L. Hudson, Tatiana Shpeisman, Jaswanth Sreeram |
River trail: a path to parallelism in JavaScript. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Asger Feldthaus, Anders Møller |
Semi-automatic rename refactoring for JavaScript. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carbin, Sasa Misailovic, Martin C. Rinard |
Verifying quantitative reliability for programs that execute on unreliable hardware. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jipeng Huang, Michael D. Bond |
Efficient context sensitivity for dynamic analyses via calling context uptrees and customized memory management. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen |
Option contracts. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tao Bao, Xiangyu Zhang 0001 |
On-the-fly detection of instability problems in floating-point program execution. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tanzirul Azim, Iulian Neamtiu |
Targeted and depth-first exploration for systematic testing of android apps. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Heather Miller, Philipp Haller, Eugene Burmako, Martin Odersky |
Instant pickles: generating object-oriented pickler combinators for fast and extensible serialization. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sai Deep Tetali, Mohsen Lesani, Rupak Majumdar, Todd D. Millstein |
MrCrypt: static analysis for secure cloud computations. |
OOPSLA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Haiping Zhao, Iain Proctor, Minghui Yang, Xin Qi, Mark Williams, Qi Gao, Guilherme Ottoni, Andrew Paroski, Scott MacVicar, Jason Evans, Stephen Tu |
The HipHop compiler for PHP. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor 0001 |
AutoMan: a platform for integrating human-based and digital computation. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt |
Chaperones and impersonators: run-time support for reasonable interposition. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett 0001 |
An abstract interpretation framework for refactoring with application to extract methods with contracts. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wei Huang 0001, Ana L. Milanova, Werner Dietl, Michael D. Ernst |
Reim & ReImInfer: checking and inference of reference immutability and method purity. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laura Effinger-Dean, Brandon Lucia, Luis Ceze, Dan Grossman, Hans-Juergen Boehm |
IFRit: interference-free regions for dynamic data-race detection. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Ondrej Lhoták |
Predicate abstraction of Java programs with collections. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Junaid Haroon Siddiqui, Sarfraz Khurshid |
Scaling symbolic execution using ranged analysis. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kivanç Muslu, Yuriy Brun, Reid Holmes, Michael D. Ernst, David Notkin |
Speculative analysis of integrated development environment recommendations. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi |
Type-based safe resource deallocation for shared-memory concurrency. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001, Charles Zhang 0001 |
Execution privatization for scheduler-oblivious concurrent programs. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Kling, Sasa Misailovic, Michael Carbin, Martin C. Rinard |
Bolt: on-demand infinite loop escape in unmodified binaries. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Ausiello, Camil Demetrescu, Irene Finocchi, Donatella Firmani |
k-Calling context profiling. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | José G. Castaños, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara, Peng Wu 0001 |
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Mayer, Stefan Hanenberg, Romain Robbes, Éric Tanter, Andreas Stefik |
An empirical study of the influence of static type systems on the usability of undocumented software. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Magill, Michael Hicks 0001, Suriya Subramanian, Kathryn S. McKinley |
Automating object transformations for dynamic software updating. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Prountzos, Roman Manevich, Keshav Pingali |
Elixir: a system for synthesizing concurrent graph programs. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen |
Optimization coaching: optimizers learn to communicate with programmers. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Kumar 0001, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu |
Work-stealing without the baggage. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen |
Gradual typing for first-class classes. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anton Willy Dubrau, Laurie J. Hendren |
Taming MATLAB. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sam Tobin-Hochstadt, David Van Horn |
Higher-order symbolic execution via contracts. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Subhajit Datta, Renuka Sindhgatta, Bikram Sengupta |
Talk versus work: characteristics of developer collaboration on the jazz platform. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Youngjoon Jo, Milind Kulkarni 0001 |
Automatically enhancing locality for tree traversals with traversal splicing. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jie Yu 0016, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam |
Maple: a coverage-driven testing tool for multithreaded programs. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
Open and efficient type switch for C++. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Bocq, Koen Daenen |
Molecule: using monadic and streaming I/O to compose process networks on the JVM. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guoqing Xu 0001 |
Finding reusable data structures. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Bo Wu 0002, Zhijia Zhao 0001, Xipeng Shen, Yunlian Jiang, Yaoqing Gao, Raúl Silvera |
Exploiting inter-sequence correlations for program behavior prediction. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tao Bao, Yunhui Zheng, Xiangyu Zhang 0001 |
White box sampling in uncertain data processing enabled by program analysis. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski |
From clarity to efficiency for distributed algorithms. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fadi Meawad, Gregor Richards, Floréal Morandat, Jan Vitek |
Eval begone!: semi-automated removal of eval from javascript programs. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Seonghoon Kang, Sukyoung Ryu |
Formal specification of a JavaScript module system. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu 0001, Toshio Nakatani |
Adaptive multi-level compilation in a trace-based Java JIT compiler. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeff Huang 0001, Charles Zhang 0001 |
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Shams Mahmood Imam, Vivek Sarkar |
Integrating task parallelism with actors. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Logozzo, Thomas Ball |
Modular and verified automatic program repair. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zachary R. Anderson |
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Chugh, David Herman, Ranjit Jhala |
Dependent types for JavaScript. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks 0001, Jeffrey S. Foster |
Kitsune: efficient, general-purpose dynamic software updating for C. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Todd W. Schiller, Michael D. Ernst |
Reducing the barriers to writing verified specifications. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer B. Sartor, Lieven Eeckhout |
Exploring multi-threaded Java application performance on multicore hardware. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jaswanth Sreeram, Santosh Pande |
Safe compiler-driven transaction checkpointing and recovery. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ying Zhang 0012, Gang Huang 0001, Xuanzhe Liu, Wei Zhang 0004, Hong Mei 0001, Shunxiang Yang |
Refactoring android Java code for on-demand computation offloading. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Cohen, Haitao Steve Zhu, Senem Ezgi Emgin, Yu David Liu |
Energy types. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum |
Detecting problematic message sequences and frequencies in distributed systems. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat |
Constrained kinds. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Gary T. Leavens, Matthew B. Dwyer (eds.) |
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012 |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Colin S. Gordon, Matthew J. Parkinson, Jared Parsons, Aleks Bromfield, Joe Duffy |
Uniqueness and reference immutability for safe parallelism. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su 0001 |
Reusing debugging knowledge via trace-based bug search. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alon Mishne, Sharon Shoham, Eran Yahav |
Typestate-based semantic code search over partial programs. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu, Andrei Stefanescu |
Checking reachability using matching logic. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Kalibera, Matthew Mole, Richard E. Jones, Jan Vitek |
A black-box approach to understanding concurrency in DaCapo. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Juan M. Tamayo, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv |
Understanding the behavior of database operations under program control. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
GPUVerify: a verifier for GPU kernels. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan K. Muller, Stephen Chong |
Towards a practical secure concurrent language. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hung-Wei Tseng 0001, Dean M. Tullsen |
Software data-triggered threads. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | K. Rustan M. Leino, Aleksandar Milicevic |
Program extrapolation with jennisys. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sameer Kulkarni, John Cavazos |
Mitigating the compiler optimization phase-ordering problem using machine learning. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kästner, Klaus Ostermann, Sebastian Erdweg |
A variability-aware module system. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Chuanle Ke, Lei Liu 0030, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding 0001 |
Safe parallel programming using dynamic dependence hints. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Doherty, Laurie J. Hendren, Soroush Radpour |
Kind analysis for MATLAB. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristina David, Wei-Ngan Chin |
Immutable specifications for more concise and precise verification. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zef Hemel, Eelco Visser |
Declaratively programming the mobile web with Mobl. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | David H. Lorenz, Boaz Rosenan |
Cedalion: a language for language oriented programming. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Raymond P. L. Buse, Caitlin Sadowski, Westley Weimer |
Benefits and barriers of user evaluation in software engineering research. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Videira Lopes, Kathleen Fisher (eds.) |
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011 |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hari K. Pyla, Calvin J. Ribbens, Srinidhi Varadarajan |
Exploiting coarse-grain speculative parallelism. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder |
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Camil Demetrescu, Irene Finocchi, Andrea Ribichini |
Reactive imperative programming with dataflow constraints. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toon Verwaest, Camillo Bruni, Mircea Lungu, Oscar Nierstrasz |
Flexible object layouts: enabling lightweight language extensions by intercepting slot access. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lennart C. L. Kats, Rob Vermaas, Eelco Visser |
Integrated language definition testing: enabling test-driven language development. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yewen Pu, Rastislav Bodík, Saurabh Srivastava 0001 |
Synthesis of first-order dynamic programming algorithms. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Siliang Li, Gang Tan |
JET: exception checking in the Java native interface. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Würthinger, Danilo Ansaloni, Walter Binder, Christian Wimmer, Hanspeter Mössenböck |
Safe and atomic run-time code evolution for Java and its application to dynamic AOP. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen |
PREFAIL: a programmable tool for multiple-failure injection. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kästner, Paolo G. Giarrusso, Tillmann Rendel, Sebastian Erdweg, Klaus Ostermann, Thorsten Berger |
Variability-aware parsing in the presence of lexical macros and conditional compilation. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Joseph Turon, Claudio V. Russo |
Scalable join patterns. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tim Harris 0001, Martín Abadi, Rebecca Isaacs, Ross McIlroy |
AC: composable asynchronous IO for native languages. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ravichandhran Madhavan, Raghavan Komondoor |
Null dereference verification via over-approximated weakest pre-conditions analysis. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan |
Accentuating the positive: atomicity inference and enforcement using correct executions. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas H. Austin, Tim Disney, Cormac Flanagan |
Virtual values for language extension. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zachary Palmer, Scott F. Smith 0001 |
Backstage Java: making a difference in metaprogramming. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lintaro Ina, Atsushi Igarashi |
Gradual typing for generics. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jesse A. Tov, Riccardo Pucella |
A theory of substructural types and control. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Du Li, Witawas Srisa-an, Matthew B. Dwyer |
SOS: saving time in dynamic race detection with stationary analysis. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Eva Darulova, Viktor Kuncak |
Trustworthy numerical computation in Scala. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
Sprint: speculative prefetching of remote data. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek |
Automated construction of JavaScript benchmarks. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|