| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Max Schäfer, Mathieu Verbaere, Torbjörn Ekman, Oege de Moor |
Stepping Stones over the Refactoring Rubicon.   |
ECOOP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | James Noble |
The Myths of Object-Orientation. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sophia Drossopoulou (eds.) |
ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Gil, Tali Shragai |
Are We Ready for a Safer Construction Environment? |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek |
Loci: Simple Thread-Locality for Java. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ciera Jaspan, Jonathan Aldrich |
Checking Framework Interactions with Relationships. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Reichenbach, Devin Coughlin, Amer Diwan |
Program Metamorphosis. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
Refactoring, Program Evolution |
| 1 | Christian Haack, Erik Poll |
Type-Based Object Immutability with Flexible Initialization. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin Bierhoff, Nels E. Beckman, Jonathan Aldrich |
Practical API Protocol Checking with Access Permissions. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Ibrahim, Yang Jiao, Eli Tilevich, William R. Cook |
Remote Batch Invocation for Compositional Object Services. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Zhong, Tao Xie, Lu Zhang, Jian Pei, Hong Mei |
MAPO: Mining and Recommending API Usage Patterns. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0002, Frank Piessens |
Failboxes: Provably Safe Exception Handling. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Einar W. Høst, Bjarte M. Østvold |
Debugging Method Names. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Smans, Bart Jacobs 0002, Frank Piessens |
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon L. Peyton Jones |
Classes, Jim, But Not as We Know Them - Type Classes in Haskell: What, Why, and Whither. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens |
Security Monitor Inlining for Multithreaded Java. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Van Cutsem, Alexandre Bergel, Stéphane Ducasse, Wolfgang De Meuter |
Adding State and Visibility Control to Traits Using Lexical Nesting. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Herrmannsdoerfer, Sebastian Benz, Elmar Jürgens |
COPE - Automating Coupled Evolution of Metamodels and Models. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guoqing Xu, Atanas Rountev, Manu Sridharan |
Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Ancona, Giovanni Lagorio |
Coinductive Type Systems for Object-Oriented Languages. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff Click |
Java on 1000 Cores: Tales of Hardware/Software Co-design. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, Ravi Narayanaswamy |
NePaLTM: Design and Implementation of Nested Parallelism for Transactional Memory Systems. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno C. D. S. Oliveira |
Modular Visitor Components. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek |
Introduction to: The Myths of Object-Orientation. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Fischer, Daniel Marino, Rupak Majumdar, Todd D. Millstein |
Fine-Grained Access Control with Object-Sensitive Roles. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Abbas Heydarnoori, Krzysztof Czarnecki, Thiago T. Bartolomei |
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Th. Eugster, K. R. Jayaram |
EventJava: An Extension of Java for Event Correlation. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Friedrich Steimann, Andreas Thies |
From Public to Private to Absent: Refactoring Java Programs under Constrained Accessibility. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Mitchell, Edith Schonberg, Gary Sevitsky |
Making Sense of Large Heaps. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Demsky, Alokika Dash |
Bristlecone: A Language for Robust Software Systems. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathryn E. Gray |
Safe Cross-Language Inheritance. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Computing Stack Maps with Interfaces. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui |
The Return of Transactions. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hridesh Rajan, Gary T. Leavens |
Ptolemy: A Language with Quantified, Typed Events. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Matthew J. Parkinson, James Noble |
UpgradeJ: Incremental Typechecking for Class Upgrades. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shan Shan Huang, Amir Hormati, David F. Bacon, Rodric M. Rabbah |
Liquid Metal: Object-Oriented Programming Across the Hardware/Software Boundary. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anindya Banerjee, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Achim D. Brucker, Burkhart Wolff |
Extensible Universes for Object-Oriented Data Models. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz |
Practical Object-Oriented Back-in-Time Debugging. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan |
A Uniform Transactional Execution Environment for Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengliang Zhang, Martin Hirzel |
Online Phase-Adaptive Data Layout Selection. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Wilke Havinga, Lodewijk Bergmans, Mehmet Aksit |
Prototyping and Composing Aspect Languages. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Hessellund, Peter Sestoft |
Flow Analysis of Code Customizations. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sriram Srinivasan, Alan Mycroft |
Kilim: Isolation-Typed Actors for Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raymond Hu, Nobuko Yoshida, Kohei Honda |
Session-Based Distributed Programming in Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Krzysztof Ostrowski, Ken Birman, Danny Dolev, Jong Hoon Ahnn |
Programming with Live Distributed Objects. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberta Coelho, Awais Rashid, Alessandro Garcia, Fabiano Cutigi Ferrari, Nélio Cacho, Uirá Kulesza, Arndt von Staa, Carlos José Pereira de Lucena |
Assessing the Impact of Aspects on Exception Flows: An Exploratory Study. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
uncaught exceptions, obsolete handler, unintended handler, empirical study, static analysis, aspect-oriented programs, Exception handling |
| 1 | Shay Artzi, Sunghun Kim, Michael D. Ernst |
ReCrash: Making Software Failures Reproducible by Preserving Object States. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
crash, test generation, object, failure, Fault, bug, replay, reproducing, capture |
| 1 | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst |
Inference of Reference Immutability. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ewan D. Tempero, James Noble, Hayden Melton |
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Zhang, Hans-Arno Jacobsen |
Externalizing Java Server Concurrency with CAL. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík, David Aspinall |
On Validity of Program Transformations in the Java Memory Model. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sunil Soman, Chandra Krintz, Laurent Daynès |
MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas R. Cameron, Sophia Drossopoulou, Erik Ernst |
A Model for Java with Wildcards. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Chin, Todd D. Millstein |
An Extensible State Machine Pattern for Interactive Applications. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Vitek (eds.) |
ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings |
ECOOP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sophia Drossopoulou, Adrian Francalanza, Peter Müller, Alexander J. Summers |
A Unified Framework for Verification Techniques for Object Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Donna Malayeri, Jonathan Aldrich |
Integrating Nominal and Structural Subtyping. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Aldrich |
Assuring Object-Oriented Architecture. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephanie Balzer, Thomas R. Gross, Patrick Eugster |
A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Chalin, Perry R. James |
Non-null References by Default in Java: Alleviating the Nullity Annotation Burden. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Dietl, Sophia Drossopoulou, Peter Müller |
Generic Universe Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Frampton, David F. Bacon, Perry Cheng, David Grove |
Generational Real-Time Garbage Collection. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuan-Kai Lin, Andrew P. Black |
DirectFlow: A Domain-Specific Language for Information-Flow Systems. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mandana Vaziri, Frank Tip, Stephen Fink, Julian Dolby |
Declarative Object Identity Using Relation Types. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Laurie J. Hendren, Ondrej Lhoták |
A Staged Static Program Analysis to Improve the Performance of Runtime Monitoring. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Curtis Clifton, Gary T. Leavens, James Noble |
MAO: Ownership and Effects for More Effective Reasoning About Aspects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marko van Dooren, Eric Steegmans |
A Higher Abstraction Level Using First-Class Inheritance Relations. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phil Greenwood, Thiago T. Bartolomei, Eduardo Figueiredo, Marcos Dósea, Alessandro F. Garcia, Nélio Cacho, Cláudio Sant'Anna, Sérgio Soares, Paulo Borba, Uirá Kulesza, Awais Rashid |
On the Impact of Aspectual Decompositions on Design Stability: An Empirical Study. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erik Ernst (eds.) |
ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings |
ECOOP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bruno Cabral, Paulo Marques |
Exception Handling: A Field Study in Java and .NET. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Exception Handling Mechanisms, Programming Languages |
| 1 | Thomas Cottenier, Aswin van den Berg, Tzilla Elrad |
Joinpoint Inference from Behavioral Specification to Implementation. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Modules and Interfaces, Aspect-Oriented Software Development, Model-Driven Software Engineering |
| 1 | Bassem Elkarablieh, Yehia Zayour, Sarfraz Khurshid |
Efficiently Generating Structurally Complex Inputs with Thousands of Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
Constraint-based Generation, Integer Constraint Solving, Software Testing, Data Structure Repair |
| 1 | Shan Shan Huang, David Zook, Yannis Smaragdakis |
Morphing: Safely Shaping a Class in the Image of Others. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Kris Venstermans, Lieven Eeckhout, Koen De Bosschere |
Object-Relative Addressing: Compressed Pointers in 64-Bit Java Virtual Machines. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter, Jingling Xue |
Validity Invariants and Effects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Wachsmuth |
Metamodel Adaptation and Model Co-adaptation. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Wehr, Ralf Lämmel, Peter Thiemann |
JavaGI : Generalized Interfaces for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Van Wyk, Lijesh Krishnan, Derek Bodin, August Schwerdfeger |
Attribute Grammar-Based Language Extensions for Java. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Xian, Witawas Srisa-an, ChengHuan Jia, Hong Jiang |
AS-GC: An Efficient Generational Garbage Collector for Java Application Servers. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Armstrong |
Erlang - Software for a Concurrent World. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli |
An Accidental Simula User. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Degen, Peter Thiemann, Stefan Wehr |
Tracking Linear and Affine Resources with Java(X). |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Burak Emir, Martin Odersky, John Williams |
Matching Objects with Patterns. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Haupt, Hans Schippers |
A Machine Model for Aspect-Oriented Programming. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John H. Reppy, Aaron Turon |
Metaprogramming with Traits. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Walid Taha |
Gradual Typing for Objects. |
ECOOP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean McDirmid, Wilson C. Hsieh |
SuperGlue: Component Programming with Object-Oriented Signals. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Xie |
Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dave Thomas (eds.) |
ECOOP 2006 - Object-Oriented Programming, 20th European Conference, Nantes, France, July 3-7, 2006, Proceedings |
ECOOP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Yi Lu 0003, John Potter |
On Ownership and Accessibility. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou |
Session Types for Object-Oriented Languages. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren Willis, David J. Pearce, James Noble |
Efficient Object Querying for Java. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Cook |
Peak Objects. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Keunwoo Lee, Craig Chambers |
Parameterized Modules for Classes and Extensible Functions. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jessie Dedecker, Tom Van Cutsem, Stijn Mostinckx, Theo D'Hondt, Wolfgang De Meuter |
Ambient-Oriented Programming in AmbientTalk. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Elnar Hajiyev, Mathieu Verbaere, Oege de Moor |
codeQuest: Scalable Source Code Queries with Datalog. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy G. Siek, Walid Taha |
A Semantic Analysis of C++ Templates. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Abiteboul |
Turning the Network into a Database with Active XML. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")