|
|
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 | Romain Cledat, Tushar Kumar, Santosh Pande |
Efficiently speeding up sequential computation through the n-way programming model. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Amin Shali, William R. Cook |
Hybrid partial evaluation. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prasad A. Kulkarni |
JIT compilation policy for modern machines. |
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 | Umut A. Acar, Arthur Charguéraud, Mike Rainey |
Oracle scheduling: controlling granularity in implicitly parallel languages. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Peng Wu 0001, 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 | 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 | Edward Aftandilian, Samuel Z. Guyer, Martin T. Vechev, Eran Yahav |
Asynchronous assertions. |
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 | Matthew A. Hammer, Georg Neis, Yan Chen 0001, Umut A. Acar |
Self-adjusting stack machines. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hyeonseung Im, Keiko Nakata 0001, Jacques Garrigue, Sungwoo Park |
A syntactic type system for recursive modules. |
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 | Xi Yang 0021, 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 | Kuat Yessenov, Zhilei Xu, Armando Solar-Lezama |
Data-driven synthesis for object-oriented frameworks. |
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 | Omer Tripp, Greta Yorsh, John Field, Mooly Sagiv |
HAWKEYE: effective discovery of dataflow impediments to parallelization. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Youngjoon Jo, Milind Kulkarni 0001 |
Enhancing locality for recursive traversals of recursive structures. |
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 | 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 | Michael D. Adams 0001, Andrew W. Keep, Jan Midtgaard, Matthew Might, Arun Chauhan 0001, R. Kent Dybvig |
Flow-sensitive type recovery in linear-log time. |
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 | Tongping Liu, Emery D. Berger |
SHERIFF: precise detection and automatic mitigation of false sharing. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexander J. Summers, Peter Müller 0001 |
Freedom before commitment: a lightweight type system for object initialisation. |
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 | 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 | Benjamin Delaware, William R. Cook, Don S. Batory |
Product lines of theorems. |
OOPSLA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zachary R. Anderson, David Gay |
Composable, nestable, pessimistic atomic statements. |
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 | Suresh Thummalapenta, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su 0001 |
Synthesizing method sequences for high-coverage testing. |
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 | Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, Éric Tanter |
First-class state change in plaid. |
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 | Ivan E. Sutherland |
The sequential prison. |
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 | 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 | Mark Gabel, Junfeng Yang, Yuan Yu, Moisés Goldszmidt, Zhendong Su 0001 |
Scalable and systematic detection of buggy inconsistencies in source code. |
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 | Hridesh Rajan, Steven M. Kautz, Wayne Rowcliffe |
Concurrency by modularity: design patterns, a case in point. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Richard P. Gabriel, Kevin J. Sullivan |
Better science through art. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yoav Zibin, Alex Potanin, Paley Li, Mahmood Ali, Michael D. Ernst |
Ownership and immutability in generic Java. |
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 | Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv |
A simple inductive synthesis methodology and its applications. |
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 | Shigeru Chiba, Atsushi Igarashi, Salikh Zakirov |
Mostly modular compilation of crosscutting concerns by contextual predicate dispatch. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hoan Anh Nguyen, Tung Thanh Nguyen, Gary Wilson Jr., Anh Tuan Nguyen 0001, Miryung Kim, Tien N. Nguyen |
A graph-based approach to API usage adaptation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erik R. Altman, Matthew Arnold, Stephen Fink, Nick Mitchell |
Performance analysis of idle programs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hanenberg |
An experiment about static and dynamic type systems: doubts about the positive impact of static type systems on development time. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lennart C. L. Kats, Eelco Visser |
The spoofax language workbench: rules for declarative specification of languages and IDEs. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Percy Liang, Omer Tripp, Mayur Naik, Mooly Sagiv |
A dynamic evaluation of the precision of static heap abstractions. |
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 | Lennart C. L. Kats, Eelco Visser, Guido Wachsmuth |
Pure and declarative syntax definition: paradise lost and regained. |
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 |
|
1 | Stefan Hanenberg |
Faith, hope, and love: an essay on software science's neglect of human factors. |
OOPSLA |
2010 |
DBLP DOI 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 | Stephen Kell |
Component adaptation and assembly using interface relations. |
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 | Benjamin C. Pierce |
Art, science, and fear. |
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 | Nicholas D. Matsakis, Thomas R. Gross |
A time-aware type system for data-race protection and guaranteed initialization. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth O. Stanley |
To achieve our highest goals, we must be willing to abandon them. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wei Li, Charles Zhang 0001, Songlin Hu |
G-Finder: routing programming questions closer to the experts. |
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 | Stephan van Staden, Cristiano Calcagno |
Reasoning about multiple related abstractions with MultiStar. |
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 | Jenny Quillien, Dave West |
Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Rashina Hoda, Philippe Kruchten, James Noble 0001, Stuart Marshall |
Agility in context. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Forrest |
The case for evolvable software. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Aditya Kulkarni, Yu David Liu, Scott F. Smith 0001 |
Task types for pervasive atomicity. |
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 | 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 | Michal Wegiel, Chandra Krintz |
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Cameron 0001, James Noble 0001, Tobias Wrigstad |
Tribal ownership. |
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 | Stephen Kou, Jens Palsberg |
From OO to FPGA: fitting round objects into square hardware? |
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 | Yao Shi, Soyeon Park, Zuoning Yin, Shan Lu 0001, Yuanyuan Zhou 0001, Wenguang Chen, Weimin Zheng |
Do I use the wrong definition?: DeFuse: definition-use invariants for detecting concurrency and sequential bugs. |
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 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Monitor optimization via stutter-equivalent loop transformation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Xin Qi 0012, Andrew C. Myers |
Homogeneous family sharing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ogata, Dai Mikurube, Kiyokuni Kawachiya, Scott Trent, Tamiya Onodera |
A study of Java's non-Java memory. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Guoliang Jin, Aditya V. Thakur, Ben Liblit, Shan Lu 0001 |
Instrumentation and sampling strategies for cooperative concurrency bug isolation. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Tudor Dumitras, Priya Narasimhan, Eli Tilevich |
To upgrade or not to upgrade: impact of online upgrades across multiple administrative domains. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kai Tian, Yunlian Jiang, Eddy Z. Zhang, Xipeng Shen |
An input-centric paradigm for program dynamic optimizations. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Max Schäfer, Oege de Moor |
Specifying and implementing refactorings. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Julien Mercadal, Quentin Enard, Charles Consel, Nicolas Loriant |
A domain-specific approach to architecturing error handling in pervasive computing. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Burckhardt, Alexandro Baldassin, Daan Leijen |
Concurrent programming with revisions and isolation types. |
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 | Gautam Upadhyaya, Samuel P. Midkiff, Vijay S. Pai |
Automatic atomic region identification in shared memory SPMD programs. |
OOPSLA |
2010 |
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 | Mario Méndez-Lojo, Augustine Mathew, Keshav Pingali |
Parallel inclusion-based points-to analysis. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Davis, Gregor Kiczales |
Registration-based language abstractions. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Sorensen, Henry J. Gardner |
Programming with time: cyber-physical programming with impromptu. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Karl Klose, Klaus Ostermann |
Modular logic metaprogramming. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin P. Wood, Adrian Sampson, Luis Ceze, Dan Grossman |
Composable specifications for structured shared-memory communication. |
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 | 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 DOI BibTeX RDF |
|
1 | Dirk Riehle |
Design pattern density defined. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
JHot-Draw, design pattern density, framework maturity, inheritance interface, object-oriented case study, design patterns, object-oriented design, object-oriented framework, JUnit, role modeling, collaboration-based design |
1 | Mark Mahoney |
Software evolution and the moving picture metaphor. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
source control management, software evolution |
1 | Jeffrey L. Overbey, Ralph E. Johnson |
Regrowing a language: refactoring tools allow programming languages to evolve. |
OOPSLA |
2009 |
DBLP DOI BibTeX RDF |
java, fortran, refactoring, language design, restructuring, language evolution |
Displaying result #301 - #400 of 1221 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|