| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 BibTeX RDF |
|
| 1 | Sameer Kulkarni, John Cavazos |
Mitigating the compiler optimization phase-ordering problem using machine learning. |
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 | 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 | 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 | Zachary R. Anderson |
Efficiently combining parallel software using fine-grained, language-level, hierarchical resource management policies. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Logozzo, Thomas Ball |
Modular and verified automatic program repair. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ravi Chugh, David Herman, Ranjit Jhala |
Dependent types for JavaScript. |
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 | Yuriy Solodkyy, Gabriel Dos Reis, Bjarne Stroustrup |
Open and efficient type switch for C++. |
OOPSLA |
2012 |
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 | K. Rustan M. Leino, Aleksandar Milicevic |
Program extrapolation with jennisys. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Vivek Kumar, Daniel Frampton, Stephen M. Blackburn, David Grove, Olivier Tardieu |
Work-stealing without the baggage. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel W. Barowy, Charlie Curtsinger, Emery D. Berger, Andrew McGregor |
AutoMan: a platform for integrating human-based and digital computation. |
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 | 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 | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
GPUVerify: a verifier for GPU kernels. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anton Willy Dubrau, Laurie J. Hendren |
Taming MATLAB. |
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 | Michael Cohen, Haitao Steve Zhu, Emgin Ezgi Senem, Yu David Liu |
Energy types. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Huang, Charles Zhang |
LEAN: simplifying concurrency bug reproduction via replay-supported execution reduction. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomas Kalibera, Matthew Mole, Richard Jones, Jan Vitek |
A black-box approach to understanding concurrency in DaCapo. |
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 | Guoqing Xu |
Finding reusable data structures. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher M. Hayden, Edward K. Smith, Michail Denchev, Michael Hicks, Jeffrey S. Foster |
Kitsune: efficient, general-purpose dynamic software updating for C. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wu, Zhijia Zhao, Xipeng Shen, Yunlian Jiang, Yaoqing Gao, Raúl Silvera |
Exploiting inter-sequence correlations for program behavior prediction. |
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 | Charles Lucas, Sebastian G. Elbaum, David S. Rosenblum |
Detecting problematic message sequences and frequencies in distributed systems. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Parizek, Ondrej Lhoták |
Predicate abstraction of Java programs with collections. |
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 | Jeff Huang, Charles Zhang |
Execution privatization for scheduler-oblivious concurrent programs. |
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 | Christian Kästner, Klaus Ostermann, Sebastian Erdweg |
A variability-aware module system. |
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 | 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 | 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 | Stefan Muller, Stephen Chong |
Towards a practical secure concurrent language. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José G. Castanos, David Edelsohn, Kazuaki Ishizaki, Priya Nagpurkar, Toshio Nakatani, Takeshi Ogasawara, Peng Wu |
On the benefits and pitfalls of extending a statically typed language JIT compiler for dynamic scripting languages. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Cousot, Radhia Cousot, Francesco Logozzo, Michael Barnett |
An abstract interpretation framework for refactoring with application to extract methods with contracts. |
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 | Tao Bao, Yunhui Zheng, Xiangyu Zhang |
White box sampling in uncertain data processing enabled by program analysis. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngjoon Jo, Milind Kulkarni |
Automatically enhancing locality for tree traversals with traversal splicing. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongxian Gu, Earl T. Barr, Drew Schleck, Zhendong Su |
Reusing debugging knowledge via trace-based bug search. |
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 | Alon Mishne, Sharon Shoham, Eran Yahav |
Typestate-based semantic code search over partial programs. |
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 | Olivier Tardieu, Nathaniel Nystrom, Igor Peshansky, Vijay A. Saraswat |
Constrained kinds. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Magill, Michael Hicks, Suriya Subramanian, Kathryn S. McKinley |
Automating object transformations for dynamic software updating. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu, Andrei Stefanescu |
Checking reachability using matching logic. |
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 | Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski |
From clarity to efficiency for distributed algorithms. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Zhang, Gang Huang 0001, Xuanzhe Liu, Wei Zhang 0004, Hong Mei, Shunxiang Yang |
Refactoring android Java code for on-demand computation offloading. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shams Mahmood Imam, Vivek Sarkar |
Integrating task parallelism with actors. |
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 | Jennifer B. Sartor, Lieven Eeckhout |
Exploring multi-threaded Java application performance on multicore hardware. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hung-Wei Tseng, Dean M. Tullsen |
Software data-triggered threads. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroshi Inoue, Hiroshige Hayashizaki, Peng Wu, Toshio Nakatani |
Adaptive multi-level compilation in a trace-based Java JIT compiler. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Huang, Ana Milanova, Werner Dietl, Michael D. Ernst |
Reim & ReImInfer: checking and inference of reference immutability and method purity. |
OOPSLA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Yu, Satish Narayanasamy, Cristiano Pereira, Gilles Pokam |
Maple: a coverage-driven testing tool for multithreaded programs. |
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 | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
Data-driven synthesis for object-oriented frameworks. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sooel Son, Kathryn S. McKinley, Vitaly Shmatikov |
RoleCast: finding missing security checks when you do not know what checks are. |
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 | Eva Darulova, Viktor Kuncak |
Trustworthy numerical computation in Scala. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary R. Anderson, David Gay |
Composable, nestable, pessimistic atomic statements. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Harris, Martín Abadi, Rebecca Isaacs, Ross McIlroy |
AC: composable asynchronous IO for native languages. |
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 | Xi Yang, Stephen M. Blackburn, Daniel Frampton, Jennifer B. Sartor, Kathryn S. McKinley |
Why nothing matters: the impact of zeroing. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Wu, Hiroshige Hayashizaki, Hiroshi Inoue, Toshio Nakatani |
Reducing trace selection footprint for large-scale Java applications without performance loss. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
A syntactic type system for recursive modules. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ohad Shacham, Nathan Grasso Bronson, Alex Aiken, Mooly Sagiv, Martin T. Vechev, Eran Yahav |
Testing atomicity of composed concurrent operations. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Shali, William R. Cook |
Hybrid partial evaluation. |
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 | Camil Demetrescu, Irene Finocchi, Andrea Ribichini |
Reactive imperative programming with dataflow constraints. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric E. Allen, Justin Hilburn, Scott Kilpatrick, Victor Luchangco, Sukyoung Ryu, David Chase, Guy L. Steele Jr. |
Type checking modular multiple dispatch with parametric polymorphism and multiple inheritance. |
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 | Arun Raman, Greta Yorsh, Martin T. Vechev, Eran Yahav |
Sprint: speculative prefetching of remote data. |
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 | Youngjoon Jo, Milind Kulkarni |
Enhancing locality for recursive traversals of recursive structures. |
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 | Guy Golan-Gueta, Nathan Grasso Bronson, Alex Aiken, G. Ramalingam, Mooly Sagiv, Eran Yahav |
Automatic fine-grain locking using shape properties. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers, Peter Müller |
Freedom before commitment: a lightweight type system for object initialisation. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
HAWKEYE: effective discovery of dataflow impediments to parallelization. |
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 | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Mark J. Wheelhouse |
A simple abstraction for complex concurrent indexes. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
Delegated isolation. |
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 | Siliang Li, Gang Tan |
JET: exception checking in the Java native interface. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Joseph Turon, Claudio V. Russo |
Scalable join patterns. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tongping Liu, Emery D. Berger |
SHERIFF: precise detection and automatic mitigation of false sharing. |
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 |
|
| 1 | Manu Sridharan, Shay Artzi, Marco Pistoia, Salvatore Guarnieri, Omer Tripp, Ryan Berg |
F4F: taint analysis of framework-based web applications. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary Palmer, Scott F. Smith |
Backstage Java: making a difference in metaprogramming. |
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 | Lennart C. L. Kats, Rob Vermaas, Eelco Visser |
Integrated language definition testing: enabling test-driven language development. |
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 | Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan, R. Kent Dybvig |
Flow-sensitive type recovery in linear-log time. |
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 | 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 BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")