| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 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 |
|
| 1 | Chuanle Ke, Lei Liu, Chao Zhang, Tongxin Bai, Bryan Jacobs, Chen Ding |
Safe parallel programming using dynamic dependence hints. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su |
Synthesizing method sequences for high-coverage testing. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Asger Feldthaus, Todd D. Millstein, Anders Møller, Max Schäfer, Frank Tip |
Tool-supported refactoring for JavaScript. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Tian, Eddy Z. Zhang, Xipeng Shen |
A step towards transparent integration of input-consciousness into dynamic program optimizations. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew A. Hammer, Georg Neis, Yan Chen, Umut A. Acar |
Self-adjusting stack machines. |
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 | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
Asynchronous assertions. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Milan Jovic, Andrea Adamoli, Matthias Hauswirth |
Catch me if you can: performance bug detection in the wild. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Sutherland |
The sequential prison. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yewen Pu, Rastislav Bodík, Saurabh Srivastava |
Synthesis of first-order dynamic programming algorithms. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Delaware, William R. Cook, Don S. Batory |
Product lines of theorems. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Prasad A. Kulkarni |
JIT compilation policy for modern machines. |
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 | Sebastian Burckhardt, Daan Leijen, Caitlin Sadowski, Jaeheon Yi, Thomas Ball |
Two for the price of one: a model for parallel and incremental computation. |
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 | Sebastian Erdweg, Tillmann Rendel, Christian Kästner, Klaus Ostermann |
SugarJ: library-based syntactic language extensibility. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Donghwan Jeon, Saturnino Garcia, Christopher M. Louie, Michael Bedford Taylor |
Kismet: parallel speedup estimates for serial programs. |
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 | Dasarath Weeratunge, Xiangyu Zhang, Suresh Jagannathan |
Accentuating the positive: atomicity inference and enforcement using correct executions. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Hoffman, Harrison Metzger, Patrick Eugster |
Ribbons: a partially shared memory programming model. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Romain Cledat, Tushar Kumar, Santosh Pande |
Efficiently speeding up sequential computation through the n-way programming model. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Oracle scheduling: controlling granularity in implicitly parallel languages. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter |
First-class state change in plaid. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Servetto, Elena Zucca |
MetaFJig: a meta-circular composition language for Java-like classes. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitor optimization via stutter-equivalent loop transformation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Kulkarni, Yu David Liu, Scott F. Smith |
Task types for pervasive atomicity. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su |
Scalable and systematic detection of buggy inconsistencies in source code. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Qi, Andrew C. Myers |
Homogeneous family sharing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Adamczyk, Munawar Hafiz |
The Tower of Babel did not fail. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt |
Back to the futures: incremental parallelization of existing sequential runtime systems. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Reichenbach, Neil Immerman, Yannis Smaragdakis, Edward Aftandilian, Samuel Z. Guyer |
What can the GC compute efficiently?: a language for heap assertions at GC time. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Davis, Gregor Kiczales |
Registration-based language abstractions. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Charlotte Herzeel, Pascal Costanza |
Dynamic parallelization of recursive code: part 1: managing control flow interactions with the continuator. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ross McIlroy, Joe Sventek |
Hera-JVM: a runtime system for heterogeneous multi-core architectures. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu |
Instrumentation and sampling strategies for cooperative concurrency bug isolation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jay A. McCarthy |
The two-state solution: native and serializable continuations accord. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik A. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell |
Performance analysis of idle programs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kell |
Component adaptation and assembly using interface relations. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Cook, Siobhán Clarke, Martin C. Rinard (eds.) |
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010, October 17-21, 2010, Reno/Tahoe, Nevada, USA |
OOPSLA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter |
SPUR: a trace-based JIT compiler for CIL. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Forrest |
The case for evolvable software. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Harold Ossher, Rachel K. E. Bellamy, Ian Simmonds, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Sophia Krasikov |
Flexible modeling tools for pre-requirements analysis: conceptual architecture and research challenges. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Li, Charles Zhang, Songlin Hu |
G-Finder: routing programming questions closer to the experts. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard P. Gabriel, Kevin J. Sullivan |
Better science through art. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Puneet Kapur, Bradley Cossette, Robert J. Walker |
Refactoring references for library migration. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan van Staden, Cristiano Calcagno |
Reasoning about multiple related abstractions with MultiStar. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. d. S. Oliveira, Adriaan Moors, Martin Odersky |
Type classes as objects and implicits. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin C. Rinard, Henry Hoffmann, Sasa Misailovic, Stelios Sidiroglou |
Patterns and statistical analysis for understanding reduced resource computing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Sorensen, Henry Gardner |
Programming with time: cyber-physical programming with impromptu. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin S. Lerner, Herman Venter, Dan Grossman |
Supporting dynamic, third-party code customizations in JavaScript using aspects. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Kou, Jens Palsberg |
From OO to FPGA: fitting round objects into square hardware? |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenneth C. Arnold, Henry Lieberman |
Managing ambiguity in programming by finding unambiguous examples. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Hanenberg |
Faith, hope, and love: an essay on software science's neglect of human factors. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joshua S. Auerbach, David F. Bacon, Perry Cheng, Rodric M. Rabbah |
Lime: a Java-compatible and synthesizable language for heterogeneous architectures. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Klein, Matthew Flatt, Robert Bruce Findler |
Random testing for higher-order, stateful programs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
Concurrency by modularity: design patterns, a case in point. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Roberson, Chandrasekhar Boyapati |
Efficient modular glass box software model checking. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Toon Verwaest, Camillo Bruni, David Gurtner, Adrian Lienhard, Oscar Nierstrasz |
Pinocchio: bringing reflection to life with first-class interpreters. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Max Schäfer, Oege de Moor |
Specifying and implementing refactorings. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hassan Chafi, Zach DeVito, Adriaan Moors, Tiark Rompf, Arvind K. Sujeeth, Pat Hanrahan, Martin Odersky, Kunle Olukotun |
Language virtualization for heterogeneous parallel computing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")