Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Simon Butler 0001, Michel Wermelinger, Yijun Yu, Helen Sharp |
Improving the Tokenisation of Identifier Names. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carbin, Sasa Misailovic, Michael Kling, Martin C. Rinard |
Detecting and Escaping Infinite Loops with Jolt. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ekwa Duala-Ekoko, Martin P. Robillard |
Using Structure-Based Recommendations to Facilitate Discoverability in APIs. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Richards, Christian Hammer 0001, Brian Burg, Jan Vitek |
The Eval That Men Do - A Large-Scale Study of the Use of Eval in JavaScript Applications. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Suparna Bhattacharya, Mangala Gowri Nanda, Kanchi Gopinath, Manish Gupta |
Reuse, Recycle to De-bloat Software. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Ostermann, Paolo G. Giarrusso, Christian Kästner, Tillmann Rendel |
Revisiting Information Hiding: Reflections on Classical and Nonclassical Modularity. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nels E. Beckman, Duri Kim, Jonathan Aldrich |
An Empirical Study of Object Protocols in the Wild. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Craig Taube-Schock, Robert J. Walker, Ian H. Witten |
Can We Avoid High Coupling? |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yana Momchilova Mileva, Andrzej Wasylkowski, Andreas Zeller |
Mining Evolution of Object Usage. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann, Christian Kollee, Jens von Pilgrim |
A Refactoring Constraint Language and Its Application to Eiffel. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Bocchino Jr., Vikram S. Adve |
Types, Regions, and Effects for Safe Programming with Object-Oriented Parallel Frameworks. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich |
Gradual Typestate. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stephanie Balzer, Thomas R. Gross |
Verifying Multi-object Invariants with Relationships. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Adriana E. Chis, Nick Mitchell, Edith Schonberg, Gary Sevitsky, Patrick O'Sullivan, Trevor Parsons, John Murphy 0001 |
Patterns of Memory Inefficiency. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Craig Chambers |
Expressiveness, Simplicity, and Users. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Shahar Maoz, Jan Oliver Ringert, Bernhard Rumpe |
CDDiff: Semantic Differencing for Class Diagrams. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Prabhu, Naoto Maeda, Gogul Balakrishnan, Franjo Ivancic, Aarti Gupta |
Interprocedural Exception Analysis for C++. |
ECOOP |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gilad Bracha, Peter von der Ahé, Vassili Bykov, Yaron Kashai, William Maddox, Eliot Miranda |
Modules as Objects in Newspeak. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Doug Lea |
Code Roots. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Razieh Nokhbeh Zaeem, Sarfraz Khurshid |
Contract-Based Data Structure Repair Using Alloy. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Phillip Heidegger, Peter Thiemann 0001 |
Recency Types for Analyzing Scripting Languages. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Kasper Svendsen, Lars Birkedal, Matthew J. Parkinson |
Verifying Generics and Delegates. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Hanenberg |
Doubts about the Positive Impact of Static Type Systems on Programming Tasks in Single Developer Projects - An Empirical Study. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | David Harel, Assaf Marron, Gera Weiss |
Programming Coordinated Behavior in Java. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Scott Owens |
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Joseph Gil, Keren Lenz |
The Use of Overloading in Java Programs. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Haller, Martin Odersky |
Capabilities for Uniqueness and Borrowing. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mandana Vaziri, Frank Tip, Julian Dolby, Christian Hammer 0001, Jan Vitek |
A Type System for Data-Centric Synchronization. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda 0001 |
Type-Safe Eventful Sessions in Java. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Erik Ernst |
Secret Valley. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Martin Monperrus, Marcel Bruch, Mira Mezini |
Detecting Missing Method Calls in Object-Oriented Software. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stephan van Staden, Cristiano Calcagno, Bertrand Meyer 0001 |
Verifying Executable Object-Oriented Specifications with Separation Logic. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Hesam Samimi, Ei Darli Aung, Todd D. Millstein |
Falling Back on Executable Specifications. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz |
Embedding Languages without Breaking Tools. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Max Schäfer, Julian Dolby, Manu Sridharan, Emina Torlak, Frank Tip |
Correct Refactoring of Concurrent Java Code. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Bruno De Fraine, Erik Ernst, Mario Südholt |
Essential AOP: The A Calculus. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Felienne Hermans, Martin Pinzger 0001, Arie van Deursen |
Automatically Extracting Class Diagrams from Spreadsheets. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Ostrowski, Chuck Sakoda, Ken Birman |
Self-Replicating Objects for Multicore Platforms. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Brunthaler 0001 |
Inline Caching Meets Quickening. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Schäfer 0002, Arnd Poetzsch-Heffter |
JCoBox: Generalizing Active Objects to Concurrent Components. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi |
The Essence of JavaScript. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis |
Concurrent Abstract Predicates. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Gavin M. Bierman, Erik Meijer 0001, Mads Torgersen |
Adding Dynamic Types to C#. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Pankaj Dhoolia, Senthil Mani, Vibha Singhal Sinha, Saurabh Sinha |
Debugging Model-Transformation Failures Using Dynamic Tainting. |
ECOOP |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Theo D'Hondt (eds.) |
ECOOP 2010 - Object-Oriented Programming, 24th European Conference, Maribor, Slovenia, June 21-25, 2010. Proceedings |
ECOOP |
2010 |
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 | Bart Jacobs 0002, Frank Piessens |
Failboxes: Provably Safe Exception Handling. |
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 | Einar W. Høst, Bjarte M. Østvold |
Debugging Method Names. |
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 | Christoph Reichenbach, Devin Coughlin, Amer Diwan |
Program Metamorphosis. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
Refactoring, Program Evolution |
1 | Jan Vitek |
Introduction to: The Myths of Object-Orientation. |
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 | Giovanni Lagorio, Marco Servetto, Elena Zucca |
Featherweight Jigsaw: A Minimal Core Calculus for Modular Composition of Classes. |
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 | Ciera Jaspan, Jonathan Aldrich |
Checking Framework Interactions with Relationships. |
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 | Bruno C. d. S. Oliveira |
Modular Visitor Components. |
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 | Abbas Heydarnoori, Krzysztof Czarnecki 0001, Thiago T. Bartolomei |
Supporting Framework Use via Automatically Extracted Concept-Implementation Templates. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guoqing Xu 0001, 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 | Haris Volos 0001, 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 | Cliff Click |
Java on 1000 Cores: Tales of Hardware/Software Co-design. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | James Noble 0001 |
The Myths of Object-Orientation. |
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 | Tobias Wrigstad, Filip Pizlo, Fadi Meawad, Lei Zhao, Jan Vitek |
Loci: Simple Thread-Locality for Java. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Haack, Erik Poll |
Type-Based Object Immutability with Flexible Initialization. |
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 | Hao Zhong 0001, Tao Xie 0001, Lu Zhang 0023, Jian Pei, Hong Mei 0001 |
MAPO: Mining and Recommending API Usage Patterns. |
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 | Jan Smans, Bart Jacobs 0002, Frank Piessens |
Implicit Dynamic Frames: Combining Dynamic Frames and Separation Logic. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Max Schäfer, Mathieu Verbaere, Torbjörn Ekman 0001, Oege de Moor |
Stepping Stones over the Refactoring Rubicon. |
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 | Joseph Gil, Tali Shragai |
Are We Ready for a Safer Construction Environment? |
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 | Brian Demsky, Alokika Dash |
Bristlecone: A Language for Robust Software Systems. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Sevcík, David Aspinall 0001 |
On Validity of Program Transformations in the Java Memory Model. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui |
The Return of Transactions. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Shay Artzi, Sunghun Kim 0001, Michael D. Ernst |
ReCrash: Making Software Failures Reproducible by Preserving Object States. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
test generation, object, failure, Fault, bug, replay, reproducing, capture, crash |
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 | Charles Zhang 0001, Hans-Arno Jacobsen |
Externalizing Java Server Concurrency with CAL. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kathryn E. Gray |
Safe Cross-Language Inheritance. |
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 | Jaime Quinonez, Matthew S. Tschantz, Michael D. Ernst |
Inference of Reference Immutability. |
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 | Raymond Hu, Nobuko Yoshida, Kohei Honda 0001 |
Session-Based Distributed Programming in Java. |
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 | Gavin M. Bierman, Matthew J. Parkinson, James Noble 0001 |
UpgradeJ: Incremental Typechecking for Class Upgrades. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Anindya Banerjee 0001, David A. Naumann, Stan Rosenberg |
Regional Logic for Local Reasoning about Global Invariants. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Srinivasan 0002, Alan Mycroft |
Kilim: Isolation-Typed Actors for Java. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberta Coelho, Awais Rashid, Alessandro Garcia 0001, 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, static analysis, empirical study, aspect-oriented programs, Exception handling |
1 | Adrian Lienhard, Tudor Gîrba, Oscar Nierstrasz |
Practical Object-Oriented Back-in-Time Debugging. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chengliang Zhang, Martin Hirzel |
Online Phase-Adaptive Data Layout Selection. |
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 DOI BibTeX RDF |
|
1 | Nicholas Cameron 0001, 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 | Ewan D. Tempero, James Noble 0001, Hayden Melton |
How Do Java Programs Use Inheritance? An Empirical Study of Inheritance in Java Software. |
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 | Donna Malayeri, Jonathan Aldrich |
Integrating Nominal and Structural Subtyping. |
ECOOP |
2008 |
DBLP DOI BibTeX RDF |
|