Search results for "ECOOP"

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

Publications at "ECOOP"( http://dblp.L3S.de/Venues/ECOOP )