Search results for "Jonathan Aldrich"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Karl Naden, Robert Bocchino, Jonathan Aldrich, Kevin Bierhoff	A type system for borrowing permissions.	POPL	2012	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Jeremy G. Siek, Elena Zucca	2011 international workshop on foundations of object-oriented languages (fool'11): splash/oopsla '11 workshop summary.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Joshua Sunshine, Sven Stork, Karl Naden, Jonathan Aldrich	Changing state in the plaid language.	OOPSLA Companion	2011	DBLP DOI BibTeX RDF
1	Ciera Jaspan, Jonathan Aldrich	Are object protocols burdensome?: an empirical study of developer forums.	PLATEAU	2011	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Robert Bocchino, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff	Plaid: a permission-based programming language.	OOPSLA Companion	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	Nels E. Beckman, Duri Kim, Jonathan Aldrich	An Empirical Study of Object Protocols in the Wild.	ECOOP	2011	DBLP DOI BibTeX RDF
1	Roger Wolff, Ronald Garcia, Éric Tanter, Jonathan Aldrich	Gradual Typestate.	ECOOP	2011	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, Roger Wolff	Permission-based programming languages.	ICSE	2011	DBLP DOI BibTeX RDF
1	Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich	Verifying event-driven programs using ramified frame properties.	TLDI	2010	DBLP DOI BibTeX RDF	frame rule, ramification problem, subject-observer, dataflow, separation logic, functional reactive programming
1	Jonathan Aldrich, Jeremy G. Siek	2010 international workshop on foundations of object-oriented languages (FOOL'10): SPLASH/OOPSLA'10 workshop summary.	SPLASH/OOPSLA Companion	2010	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami, Jonathan Aldrich, Lars Birkedal, Kasper Svendsen, Alexandre Buisse	Design patterns in separation logic.	TLDI	2009	DBLP DOI BibTeX RDF	design patterns, separation logic
1	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
1	Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Zachary Sparks	Typestate-oriented programming.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	programming language, objects, types, states, permissions, typestate, paradigms
1	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations.	OOPSLA	2009	DBLP DOI BibTeX RDF	architectural extraction, component-and-connector view, conformance analysis, points-to analysis, object graphs, object diagram, runtime architecture
1	Donna Malayeri, Jonathan Aldrich	CZ: multiple inheritance without diamonds.	OOPSLA	2009	DBLP DOI BibTeX RDF	diamond problem, modularity, multiple inheritance, multimethods
1	Sven Stork, Paulo Marques, Jonathan Aldrich	Concurrency by default: using permissions to express dataflow in stateful programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	access permissions, concurrency, programming language, dataflow
1	Ciera Jaspan, Jonathan Aldrich	Checking Framework Interactions with Relationships.	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	Donna Malayeri, Jonathan Aldrich	Is Structural Subtyping Useful? An Empirical Study.	ESOP	2009	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan	Differencing and merging of architectural views.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Tree-to-tree correction, Graph matching, View synchronization
1	Jonathan Aldrich	Using Types to Enforce Architectural Structure.	WICSA	2008	DBLP DOI BibTeX RDF	communication integrity, verification, software architecture, static analysis, programming language, type system, conformance, ownership
1	Ciera Jaspan, Trisha Quan, Jonathan Aldrich	Error Reporting Logic.	ASE	2008	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich	A field study in static extraction of runtime architectures.	PASTE	2008	DBLP DOI BibTeX RDF	architecture recovery, ownership types, runtime architecture
1	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for the static extraction of sound hierarchical representations of runtime object graphs.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	architectural extraction, runtime architecture
1	Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich	Verifying correct usage of atomic blocks and typestate.	OOPSLA	2008	DBLP DOI BibTeX RDF	transactional memory, permissions, typestate
1	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	conformance checking, runtime architecture
1	Donna Malayeri, Jonathan Aldrich	Integrating Nominal and Structural Subtyping.	ECOOP	2008	DBLP DOI BibTeX RDF
1	Kevin Bierhoff, Jonathan Aldrich	PLURAL: checking protocol compliance under aliasing.	ICSE Companion	2008	DBLP DOI BibTeX RDF	annotations, aliasing, permissions, typestate
1	Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho	A case study in re-engineering to enforce architectural control flow and data sharing.	Journal of Systems and Software	2007	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich	Tool support for the compile-time execution structure of object-oriented programs with ownership annotations.	ASE	2007	DBLP DOI BibTeX RDF	runtime structure, dynamic structure
1	Kevin Bierhoff, Jonathan Aldrich	Modular typestate checking of aliased objects.	OOPSLA	2007	DBLP DOI BibTeX RDF	linear logic, aliasing, permissions, typestates, behavioral subtyping
1	Donna Malayeri, Jonathan Aldrich	Combining structural subtyping and external dispatch.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	by-name subtyping, external dispatch, structural subtyping
1	Ciera Jaspan, Jonathan Aldrich	Checking framework plugins.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	framework constraints
1	Jonathan Aldrich	Assuring Object-Oriented Architecture.	ECOOP	2007	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Gary T. Leavens, Michael Barnett, Natasha Sharygina, Dimitra Giannakopoulou	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
1	Jonathan Aldrich, Michael Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina	Specification and verification of component-based systems 2007.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	verification, object-oriented, specification, component-based systems
1	Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan	Discovering Architectures from Running Systems.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Software architecture discovery, architecture design tools and analyses, reverse engineering
1	Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan	Differencing and Merging of Architectural Views.	ASE	2006	DBLP DOI BibTeX RDF
1	Jeffrey Overbey, Brian Foote, Paul Adamczyk, Jonathan Aldrich, Elisa L. A. Baniassad, Christian Grothoff, Arvind Krishna, Sean McDirmid, Todd D. Millstein, Alex Potanin, Mandana Vaziri	Young guns/object orientation: the next generation.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	object orientation
1	Marwan Abi-Antoun, Jonathan Aldrich	Bringing ownership domains to mainstream Java.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	ownership domains, aliasing, encapsulation, uniqueness
1	Marwan Abi-Antoun, Jonathan Aldrich	A static analysis for extracting runtime views from annotated object-oriented code.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	AliasJava, ownership domains, object graphs
1	Donna Malayeri, Jonathan Aldrich	Practical Exception Specifications.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Improving system dependability by enforcing architectural intent.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF
1	Neelakantan R. Krishnaswami, Jonathan Aldrich	Permission-based ownership: encapsulating state in higher-order typed languages.	PLDI	2005	DBLP DOI BibTeX RDF	modularity, lambda calculus, type theory, state, domains, ownership types, permissions, system f
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas	Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures.	WICSA	2005	DBLP DOI BibTeX RDF
1	Jonathan Aldrich	Open Modules: Modular Reasoning About Advice.	ECOOP	2005	DBLP DOI BibTeX RDF
1	Lee Salzman, Jonathan Aldrich	Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model.	ECOOP	2005	DBLP DOI BibTeX RDF
1	Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	ICSE	2005	DBLP DOI BibTeX RDF
1	Kevin Bierhoff, Jonathan Aldrich	Lightweight object specification with typestates.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	union and intersection types, refinement, substitutability, typestate, behavioral subtyping
1	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng	Modeling and implementing software architecture with acme and archJava.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	languages
1	Jonathan Aldrich, Craig Chambers	Ownership Domains: Separating Aliasing Policy from Mechanism.	ECOOP	2004	DBLP DOI BibTeX RDF
1	Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman	DiscoTect: A System for Discovering Architectures from Running Systems.	ICSE	2004	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers	Comprehensive synchronization elimination for Java.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin	Language Support for Connector Abstractions.	ECOOP	2003	DBLP DOI BibTeX RDF
1	Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin	Architecture-centric programming for adaptive systems.	WOSS	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	Jonathan Aldrich, Craig Chambers, David Notkin	Architectural Reasoning in ArchJava.	ECOOP	2002	DBLP BibTeX RDF
1	Jonathan Aldrich, Craig Chambers, David Notkin	ArchJava: connecting software architecture to implementation.	ICSE	2002	DBLP DOI BibTeX RDF	Java
1	Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers	Static Analyses for Eliminating Unnecessary Synchronization from Java Programs.	SAS	1999	DBLP DOI BibTeX RDF

Publications of "Jonathan Aldrich" ( http://dblp.L3S.de/Authors/Jonathan_Aldrich )