Search results for "OOPSLA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Manuel Fähndrich, K. Rustan M. Leino	Declaring and checking non-null types in an object-oriented language.	OOPSLA	2003	DBLP DOI BibTeX RDF	non-null types, null references, Java, type system, c#
1	Tim Harris 0001, Keir Fraser	Language support for lightweight transactions.	OOPSLA	2003	DBLP DOI BibTeX RDF	conditional critical regions, non-blocking systems, concurrency, transactions
1	Donal Lafferty, Vinny Cahill	Language-independent aspect-oriented programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Weave.NET, common language infrastructure, aspect-oriented programming, language-independence
1	Eric E. Allen, Jonathan Bannet, Robert Cartwright	A first-class approach to genericity.	OOPSLA	2003	DBLP DOI BibTeX RDF
1	Darko Marinov, Robert O'Callahan	Object equality profiling.	OOPSLA	2003	DBLP DOI BibTeX RDF	object equality, object mergeability, space savings, profiling, Java language, profile-guided optimization
1	Stephen M. Blackburn, Kathryn S. McKinley	Ulterior reference counting: fast garbage collection without a long wait.	OOPSLA	2003	DBLP DOI BibTeX RDF	generational hybrid, ulterior reference counting, Java, reference counting, copying
1	Katherine Barabash, Yoav Ossia, Erez Petrank	Mostly concurrent garbage collection revisited.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, garbage collection, JVM, concurrent garbage collection, incremental garbage collection
1	Frank Tip, Adam Kiezun, Dirk Bäumer	Refactoring for generalization using type constraints.	OOPSLA	2003	DBLP DOI BibTeX RDF	program analysis, refactoring, subtyping, class hierarchy, type constraints
1	Ronald Garcia, Jaakko Järvi, Andrew Lumsdaine, Jeremy G. Siek, Jeremiah Willcock	A comparative study of language support for generic programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, C++, generics, Haskell, polymorphism, generic programming, standard ML, C#, Eiffel
1	Kazuaki Ishizaki, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki, Kazunori Ogata, Motohiro Kawahito, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani	Effectiveness of cross-platform optimizations for a java just-in-time compiler.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, just-in-time compiler
1	Tian Zhao 0002, Jens Palsberg, Jan Vitek	Lightweight confinement for featherweight Java.	OOPSLA	2003	DBLP DOI BibTeX RDF	confined types, aliasing, ownership
1	Narendran Sachindran, J. Eliot B. Moss	Mark-copy: fast copying GC with less space overhead.	OOPSLA	2003	DBLP DOI BibTeX RDF	copying collector, generational collector, mark-copy, Java, mark-sweep
1	Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, Steven Richman	Lazy modular upgrades in persistent object stores.	OOPSLA	2003	DBLP DOI BibTeX RDF	presistent objects, ownership types, software upgrades
1	Ron Crocker, Guy L. Steele Jr. (eds.)	Proceedings of the 2003 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA	OOPSLA	2003	DBLP DOI BibTeX RDF
1	Philippe Mougin, Stéphane Ducasse	OOPAL: integrating array programming in object-oriented programming.	OOPSLA	2003	DBLP DOI BibTeX RDF	array programming, f-script, high-order messages, smalltalk, high-level language, message pattern
1	Bruno Dufour, Karel Driesen, Laurie J. Hendren, Clark Verbrugge	Dynamic metrics for java.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, optimization, software metrics, program analysis, profiling, execution traces, dynamic metrics
1	Andrew P. Black, Nathanael Schärli, Stéphane Ducasse	Applying traits to the smalltalk collection classes.	OOPSLA	2003	DBLP DOI BibTeX RDF	collection hierarchy, stream classes, reuse, refactoring, inheritance, smalltalk, multiple Inheritance, mixins, traits
1	Brian Demsky, Martin C. Rinard	Automatic detection and repair of errors in data structures.	OOPSLA	2003	DBLP DOI BibTeX RDF	data structure invariants, data structure repair
1	Hezi Azatchi, Yossi Levanoni, Harel Paz, Erez Petrank	An on-the-fly mark and sweep garbage collector based on sliding views.	OOPSLA	2003	DBLP DOI BibTeX RDF	on-the-fly garbage collection, garbage collection, memory management, runtime systems, concurrent garbage collection
1	Éric Tanter, Jacques Noyé, Denis Caromel, Pierre Cointe	Partial behavioral reflection: spatial and temporal selection of reification.	OOPSLA	2003	DBLP DOI BibTeX RDF	aspect-oriented programming, reflection, open systems
1	Lieven Eeckhout, Andy Georges, Koenraad De Bosschere	How java programs interact with virtual machines at the microarchitectural level.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java workloads, virtual machine technology, performance analysis, workload characterization, statistical data analysis
1	Todd D. Millstein, Mark Reay, Craig Chambers	Relaxed MultiJava: balancing extensibility and modular typechecking.	OOPSLA	2003	DBLP DOI BibTeX RDF	class loader, external methods, relaxed MultiJava, multimethods, modular typechecking
1	John Corwin, David F. Bacon, David Grove, Chet Murthy	MJ: a rational module system for Java and its applications.	OOPSLA	2003	DBLP DOI BibTeX RDF	Java, components, modularity, language design
1	Guangyu Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Bernd Mathiske, Mario Wolczko	Heap compression for memory-constrained Java environments.	OOPSLA	2003	DBLP DOI BibTeX RDF	memory compression, garbage collection, Java virtual machine, heap
1	David G. Clarke, Michael Richmond, James Noble 0001	Saving the world from bad beans: deployment-time confinement checking.	OOPSLA	2003	DBLP DOI BibTeX RDF	deployment tools, enterprise JavaBeans, confinement
1	Keunwoo Lee, Anthony LaMarca, Craig Chambers	HydroJ: object-oriented pattern matching for evolvable distributed systems.	OOPSLA	2003	DBLP DOI BibTeX RDF	HydroJ, XML, distributed systems, ubiquitous computing, object-oriented programming, pattern matching, software evolution, semi-structured data, dynamic dispatch
1	Martin Hirzel, Amer Diwan, Matthew Hertz	Connectivity-based garbage collection.	OOPSLA	2003	DBLP DOI BibTeX RDF	connectivity based garbage collection
1	Matthew Arnold, Michael Hind, Barbara G. Ryder	Online feedback-directed optimization of Java.	OOPSLA	2002	DBLP DOI BibTeX RDF	virtual machines, online algorithms, dynamic optimization, adaptive optimization
1	Kiyokuni Kawachiya, Akira Koseki, Tamiya Onodera	Lock reservation: Java locks can mostly do without atomic operations.	OOPSLA	2002	DBLP DOI BibTeX RDF	thread locality, Java, synchronization, monitor, lock, reservation, atomic operation
1	Marc-Olivier Killijian, Juan-Carlos Ruiz-Garcia, Jean-Charles Fabre	Portable serialization of CORBA objects: a reflective approach.	OOPSLA	2002	DBLP DOI BibTeX RDF	open compilers, CORBA, reflection, portability, serialization
1	Tony Printezis, Richard E. Jones	GCspy: an adaptable heap visualisation framework.	OOPSLA	2002	DBLP DOI BibTeX RDF	visualisation of objects, Java, garbage collection, memory management, language implementation
1	Bjorn De Sutter, Bruno De Bus, Koenraad De Bosschere	Sifting out the mud: low level C++ code reuse.	OOPSLA	2002	DBLP DOI BibTeX RDF	code size reduction, code compaction
1	Laurent Michel, Pascal Van Hentenryck	A constraint-based architecture for local search.	OOPSLA	2002	DBLP DOI BibTeX RDF	optimization, constraint, local search, incrementality
1	Jan Hannemann, Gregor Kiczales	Design pattern implementation in Java and aspectJ.	OOPSLA	2002	DBLP DOI BibTeX RDF	design patterns, aspect-oriented programming
1	Krzysztof Palacz, Jan Vitek, Grzegorz Czajkowski, Laurent Daynès	Incommunicado: efficient communication for isolates.	OOPSLA	2002	DBLP DOI BibTeX RDF	application isolation, inter-application communication
1	Sarfraz Khurshid, Darko Marinov, Daniel Jackson 0001	An analyzable annotation language.	OOPSLA	2002	DBLP DOI BibTeX RDF	alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language
1	Mikhail Dmitriev 0001	Language-specific make technology for the Java programming language.	OOPSLA	2002	DBLP DOI BibTeX RDF	dependency checking, development turnaround time, Java, make
1	Chandrasekhar Boyapati, Robert Lee, Martin C. Rinard	Ownership types for safe programming: preventing data races and deadlocks.	OOPSLA	2002	DBLP DOI BibTeX RDF	deadlocks, encapsulation, data races, ownership types
1	David G. Clarke, Sophia Drossopoulou	Ownership, encapsulation and the disjointness of type and effect.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasing, encapsulation, ownership types, type-and-effects systems
1	Magnus E. Bjornsson, Liuba Shrira	BuddyCache: high-performance object storage for collaborative strong-consistency applications in a WAN.	OOPSLA	2002	DBLP DOI BibTeX RDF	fine-grain sharing, object storage systems, fault-tolerance, transactions, wide-area network, cooperative caching
1	Riccardo Pucella	Towards a formalization for COM part i: the primitive calculus.	OOPSLA	2002	DBLP DOI BibTeX RDF	components, interfaces, type system, formalism, calculus, COM
1	Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel	Performance and scalability of EJB applications.	OOPSLA	2002	DBLP DOI BibTeX RDF	EJB container design, performance, scalability, profiling, communication optimization
1	Mira Mezini, Klaus Ostermann	Integrating independent components with on-demand remodularization.	OOPSLA	2002	DBLP DOI BibTeX RDF	collaboration-based decomposition, on-demand remodularization, aspect-oriented programming
1	Dragos-Anton Manolescu	Workflow enactment with continuation and future objects.	OOPSLA	2002	DBLP DOI BibTeX RDF	future objects, micro-workflow, trampolined style, workflow, continuations
1	Yefim Shuf, Manish Gupta 0002, Hubertus Franke, Andrew W. Appel, Jaswinder Pal Singh	Creating and preserving locality of java applications at allocation and garbage collection times.	OOPSLA	2002	DBLP DOI BibTeX RDF	heap traversal, locality based graph traversal, object co-allocation, prolific types, Java, locality, garbage collection, memory management, JVM, memory allocation, run-time systems, object placement
1	Karen Zee, Martin C. Rinard	Write barrier removal by static analysis.	OOPSLA	2002	DBLP DOI BibTeX RDF	program analysis, pointer analysis, write barriers, generational garbage collection
1	Emery D. Berger, Benjamin G. Zorn, Kathryn S. McKinley	Reconsidering custom memory allocation.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Rami Marelly, David Harel, Hillel Kugler	Multiple instances and symbolic variables in executable sequence charts.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Valentin Kostadinov, Craig Chambers	Alias annotations for program understanding.	OOPSLA	2002	DBLP DOI BibTeX RDF	aliasjava, java, type inference, aliasing, encapsulation, ownership types, uniqueness
1	Sérgio Soares, Eduardo Laureano, Paulo Borba	Implementing distribution and persistence aspects with aspectJ.	OOPSLA	2002	DBLP DOI BibTeX RDF	aspect-oriented programming, distributed programming, separation of concerns, aspectJ, object persistence
1	Mamdouh Ibrahim, Satoshi Matsuoka (eds.)	Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Larry Koved, Marco Pistoia, Aaron Kershenbaum	Access rights analysis for Java.	OOPSLA	2002	DBLP DOI BibTeX RDF	Java security, invocation graph, security, data flow analysis, call graph, access rights
1	Yoav Zibin, Joseph Gil	Fast algorithm for creating space efficient dispatching tables with application to multi-dispatching.	OOPSLA	2002	DBLP DOI BibTeX RDF
1	Chandrasekhar Boyapati, Martin C. Rinard	A Parameterized Type System for Race-Free Java Programs.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Davide Ancona, Giovanni Lagorio, Elena Zucca	A Core Calculus for Java Exceptions.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Patrick Th. Eugster, Rachid Guerraoui, Christian Heide Damm	On Objects and Events.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Dirk Riehle, Steven Fraleigh, Dirk Bucka-Lassen, Nosa Omorogbe	The Architecture of a UML Virtual Machine.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Dominic Duggan, Ching-Ching Techaubol	Modular Mixin-Based Inheritance for Application Frameworks.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Bowen Alpern, Anthony Cocchi, Stephen J. Fink, David Grove, Derek Lieber	Efficient Implementation of Java Interfaces: Invokeinterface Considered Harmless.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Stephen M. Blackburn, Sharad Singhai, Matthew Hertz, Kathryn S. McKinley, J. Eliot B. Moss	Pretenuring for Java.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Yoav Zibin, Joseph Gil	Efficient Subtyping Tests with PQ-Encoding.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Mary Jean Harrold, James A. Jones, Tongyu Li, Donglin Liang, Alessandro Orso, Maikel Pennings, Saurabh Sinha, Steven Alexander Spoon, Ashish Gujarathi	Regression Test Selection for Java Software.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Sean McDirmid, Matthew Flatt, Wilson C. Hsieh	Jiazzi: New-Age Components for Old-Fashioned Java.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Walter Binder, Jarle Hulaas, Alex Villazón	Portable Resource Control in Java: The J-SEAL2 Approach.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Robert Bruce Findler, Matthias Felleisen	Contract Soundness for Object-Oriented Languages.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Hiroaki Nakamura	Incremental Computation of Complex Objects Queries.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Linda M. Northrop, John M. Vlissides (eds.)	Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2001, Tampa, Florida, USA, October 14-18, 2001.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Joost Visser 0001	Visitor Combination and Traversal Control.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Tim Brecht, Eshrat Arjomandi, Chang Li, Hang Pham	Controlling Garbage Collection and Heap Growth to Reduce the Execution Time of Java Applications.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Atanas Rountev, Ana L. Milanova, Barbara G. Ryder	Points-To Analysis for Java using Annotated Constraints.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Igor Pechtchanski, Vivek Sarkar	Dynamic Optimistic Interprocedural Analysis: A Framework and an Application.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Toshio Suganuma, Toshiaki Yasue, Motohiro Kawahito, Hideaki Komatsu, Toshio Nakatani	A Dynamic Optimization Framework for a Java Just-In-Time Compiler.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Grzegorz Czajkowski, Laurent Daynès	Multitasking without Compromise: A Virtual Machine Evolution.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	John Whaley	Partial Method Compilation using Dynamic Profile Information.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Michele Lanza, Stéphane Ducasse	A Categorization of Classes based on the Visualization of their Internal Structure: The Class Blueprint.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Jonathan Bachrach, Keith Playford	The Java Syntactic Extender.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Christian Grothoff, Jens Palsberg, Jan Vitek	Encapsulating Objects with Confined Types.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Yossi Levanoni, Erez Petrank	An On-the-Fly Reference Counting Garbage Collector for Java.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Takeshi Ogasawara, Hideaki Komatsu, Toshio Nakatani	A Study of Exception Handling and Its Dynamic Optimization in Java.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Klaus Ostermann, Mira Mezini	Object-Oriented Composition Untangled.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Christoph von Praun, Thomas R. Gross	Object Race Detection.	OOPSLA	2001	DBLP DOI BibTeX RDF
1	Frank Tip, Jens Palsberg	Scalable propagation-based call graph construction algorithms.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Neal Glew	An efficient class and object encoding.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, Peter F. Sweeney	Adaptive optimization in the Jalapeño JVM.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
1	Stephan Herrmann 0001, Mira Mezini	PIROL: a case study for multidimensional separation of concerns in software engineering environments.	OOPSLA	2000	DBLP DOI BibTeX RDF	domain—specific language, separation of concerns, software engineering environment, component integration
1	James Noble 0001, David Holmes, John Potter	Exclusion for composite objects.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Rémi Bastide, Philippe A. Palanque, Ousmane Sy, David Navarre	Formal specification of CORBA services: experience and lessons learned.	OOPSLA	2000	DBLP DOI BibTeX RDF	distributed systems, CORBA, CORBA, high-level Petri nets, behavioral specification
1	Curtis Clifton, Gary T. Leavens, Craig Chambers, Todd D. Millstein	MultiJava: modular open classes and symmetric multiple dispatch for Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
1	Peter A. Buhr, Ashif S. Harji, Philipp E. Lim, Jiongxiong Chen	Object-oriented real-time concurrency.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Serge Demeyer, Stéphane Ducasse, Oscar Nierstrasz	Finding refactorings via change metrics.	OOPSLA	2000	DBLP DOI BibTeX RDF	reverse engineering, metrics, refactoring, software evolution, object-oriented frameworks
1	Ayal Zaks, Vitaly Feldman, Nava Aizikowitz	Sealed calls in Java packages.	OOPSLA	2000	DBLP DOI BibTeX RDF	call devirtualization, class hierarchy graph, inter-procedural analysis, method inlining, sealed package, Java, Java, object-oriented programming, call graph
1	Ciarán Bryce, Chrislain Razafimahefa	An approach to safe object sharing.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java, Java, access control, sharing, aliasing, protection domains
1	Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Hideaki Komatsu, Toshio Nakatani	A study of devirtualization techniques for a JavaTM Just-In-Time compiler.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
1	Jan-Willem Maessen, Arvind, Xiaowei Shen	Improving the Java memory model using CRF.	OOPSLA	2000	DBLP DOI BibTeX RDF	commit/reconcile/fence, Java, Java, compilation, memory models
1	Mary Beth Rosson, Doug Lea (eds.)	Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000.	OOPSLA	2000	DBLP DOI BibTeX RDF
1	Zhenyu Qian, Allen Goldberg, Alessandro Coglio	A formal specification of JavaTM class loading.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
1	Alvaro Ortigosa, Marcelo Campo, Roberto Moriyón	Towards agent-oriented assistance for framework instantiation.	OOPSLA	2000	DBLP DOI BibTeX RDF	application framework reuse, software development, planning, support tools
1	David F. Bacon, Robert E. Strom, Ashis Tarafdar	Guava: a dialect of Java without data races.	OOPSLA	2000	DBLP DOI BibTeX RDF	thread safety, Java, Java, concurrency, monitors, multiprocessors, programming languages, data races
1	Grzegorz Czajkowski	Application isolation in the JavaTM Virtual Machine.	OOPSLA	2000	DBLP DOI BibTeX RDF	application isolation, Java, Java Virtual Machine, multitasking
1	Vijay Sundaresan, Laurie J. Hendren, Chrislain Razafimahefa, Raja Vallée-Rai, Patrick Lam 0001, Etienne Gagnon, Charles Godin	Practical virtual method call resolution for Java.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java

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