Travelled to:1 × Croatia
1 × Cyprus
1 × Japan
1 × Norway
1 × Portugal
1 × Singapore
1 × Sweden
1 × Switzerland
1 × The Netherlands
16 × USA
2 × Canada
2 × Czech Republic
2 × Germany
2 × Spain
4 × Italy
5 × United Kingdom
Collaborated with:J.Sunshine M.Abi-Antoun ∅ C.Chambers K.Bierhoff C.Jaspan D.Malayeri A.Potanin C.Omar N.E.Beckman D.Notkin B.R.Schmerl D.Garlan H.Mehnert K.Naden J.D.Herbsleb F.Militão L.Caires M.J.Coblenz B.A.Myers N.H.Nahas É.Tanter D.Kurilova L.Salzman N.R.Krishnaswami R.Kazman S.Stork L.Nistor R.Wolff R.Garcia C.Wang D.Kim T.Quan V.Kostadinov J.Lee T.Shaw S.Balzer Y.Cai M.Pradel T.R.Gross R.Bocchino V.Sazawal E.G.Sirer S.J.Eggers Darya Melicher Yangqingwei Shi J.Mackay L.Groves M.Mohr M.Barnett D.Giannakopoulou G.T.Leavens N.Sharygina H.Yan Ian Voysey M.Hilton M.A.Hammer B.Chung T.Tseng Gauri Kambhatla R.Oei A.Fonseca P.Marques M.Hahnenberg D.Saini
Talks about:architectur (11) object (11) program (9) protocol (8) languag (8) type (8) structur (7) permiss (6) studi (6) typest (5)
Person: Jonathan Aldrich
DBLP: Aldrich:Jonathan
Facilitated 1 volumes:
EdContributed to:
2015
2015
20152014
2014
2014
2014
2013
2013
2012
2012
201220112011201120112009
20092009
200820082008
2008
200820072007
20072007200620052005200520052005200420042003200220022002
1999
2016201620172018201920172020Wrote 56 papers:
- ECOOP-2015-LeeASP #formal method
- A Theory of Tagged Objects (JL, JA, TS, AP), pp. 174–197.
- ICPC-2015-SunshineHA #api #protocol #usability
- Searching the state space: a qualitative study of API protocol usability (JS, JDH, JA), pp. 82–93.
- SAC-2015-OmarWA #composition #metaprogramming #syntax
- Composable and hygienic typed syntax macros (CO, CW, JA), pp. 1986–1991.
- ECOOP-2014-MilitaoAC #protocol
- Rely-Guarantee Protocols (FM, JA, LC), pp. 334–359.
- ECOOP-2014-OmarKNCPA #composition
- Safely Composable Type-Specific Languages (CO, DK, LN, BC, AP, JA), pp. 105–130.
- ECOOP-2014-SunshineHA #documentation #empirical #programming #protocol
- Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming (JS, JDH, JA), pp. 157–181.
- FM-2014-NistorABM
- Object Propositions (LN, JA, SB, HM), pp. 497–513.
- PLATEAU-2014-CoblenzAMS
- Considering Productivity Effects of Explicit Type Declarations (MJC, JA, BAM, JS), pp. 59–61.
- PLATEAU-2014-KurilovaPA #design #named #programming language #security
- Wyvern: Impacting Software Security via Programming Language Design (DK, AP, JA), pp. 57–58.
- PLATEAU-2014-SunshineA #design #usability
- Usability Hypotheses in the Design of Plaid (JS, JA), pp. 63–66.
- PLDI-2014-StorkNSMFMA #approach #named #programming language
- Æminium: a permission based concurrent-by-default programming language approach (SS, KN, JS, MM, AF, PM, JA), p. 4.
- CSEET-2013-CaiKJA #architecture #bibliography #design #education
- Introducing tool-supported architecture review into software design education (YC, RK, CJ, JA), pp. 70–79.
- Onward-2013-Aldrich #power of #why
- The power of interoperability: why objects are inevitable (JA), pp. 101–116.
- ICSE-2012-PradelJAG #api #consistency #multi #protocol #specification
- Statically checking API protocol conformance with mined multi-object specifications (MP, CJ, JA, TRG), pp. 925–935.
- POPL-2012-NadenBAB #type system
- A type system for borrowing permissions (KN, RB, JA, KB), pp. 557–570.
- TOOLS-EUROPE-2012-MehnertA #type system #using #verification
- Verification of Snapshotable Trees Using Access Permissions and Typestate (HM, JA), pp. 187–201.
- ECOOP-2011-BeckmanKA #empirical #protocol
- An Empirical Study of Object Protocols in the Wild (NEB, DK, JA), pp. 2–26.
- ECOOP-2011-WolffGTA #type system
- Gradual Typestate (RW, RG, ÉT, JA), pp. 459–483.
- ICSE-2011-AldrichGHMNSSSTW #programming language
- Permission-based programming languages (JA, RG, MH, MM, KN, DS, SS, JS, ÉT, RW), pp. 828–831.
- OOPSLA-2011-SunshineNSAT
- First-class state change in plaid (JS, KN, SS, JA, ÉT), pp. 713–732.
- PLATEAU-2011-JaspanA #developer #empirical #protocol
- Are object protocols burdensome?: an empirical study of developer forums (CJ, JA), pp. 51–56.
- ECOOP-2009-BierhoffBA #api #protocol
- Practical API Protocol Checking with Access Permissions (KB, NEB, JA), pp. 195–219.
- ECOOP-2009-JaspanA #framework #interactive
- Checking Framework Interactions with Relationships (CJ, JA), pp. 27–51.
- ESOP-2009-MalayeriA #empirical #type system
- Is Structural Subtyping Useful? An Empirical Study (DM, JA), pp. 95–111.
- OOPSLA-2009-Abi-AntounA #analysis #architecture #consistency #runtime #using
- Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations (MAA, JA), pp. 321–340.
- OOPSLA-2009-MalayeriA #inheritance #multi #named
- CZ: multiple inheritance without diamonds (DM, JA), pp. 21–40.
- ASE-2008-JaspanQA #fault #logic
- Error Reporting Logic (CJ, TQ, JA), pp. 138–147.
- ECOOP-2008-MalayeriA #type system
- Integrating Nominal and Structural Subtyping (DM, JA), pp. 260–284.
- OOPSLA-2008-BeckmanBA #type system #verification
- Verifying correct usage of atomic blocks and typestate (NEB, KB, JA), pp. 227–244.
- PASTE-2008-Abi-AntounA #architecture #case study #runtime
- A field study in static extraction of runtime architectures (MAA, JA), pp. 22–28.
- WICSA-2008-Aldrich #architecture #using
- Using Types to Enforce Architectural Structure (JA), pp. 211–220.
- ASE-2007-Abi-AntounA #execution #object-oriented #source code #tool support
- Tool support for the compile-time execution structure of object-oriented programs with ownership annotations (MAA, JA), pp. 543–544.
- ECOOP-2007-Aldrich #architecture #object-oriented
- Assuring Object-Oriented Architecture (JA), p. 450.
- ESEC-FSE-2007-AldrichBGLS #component #specification #verification
- Specification and verification of component-based systems 2007 (JA, MB, DG, GTL, NS), pp. 609–610.
- OOPSLA-2007-BierhoffA #alias #composition #type system
- Modular typestate checking of aliased objects (KB, JA), pp. 301–320.
- ASE-2006-Abi-AntounANSG #architecture #difference
- Differencing and Merging of Architectural Views (MAA, JA, NHN, BRS, DG), pp. 47–58.
- ECOOP-2005-Aldrich #composition #reasoning
- Open Modules: Modular Reasoning About Advice (JA), pp. 144–168.
- ECOOP-2005-SalzmanA #multi #prototype
- Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model (LS, JA), pp. 312–336.
- ESEC-FSE-2005-BierhoffA #lightweight #specification #type system
- Lightweight object specification with typestates (KB, JA), pp. 217–226.
- ICSE-2005-Abi-AntounAGSNT #architecture #implementation #modelling
- Modeling and implementing software architecture with acme and archJava (MAA, JA, DG, BRS, NHN, TT), pp. 676–677.
- PLDI-2005-KrishnaswamiA #encapsulation #higher-order
- Permission-based ownership: encapsulating state in higher-order typed languages (NRK, JA), pp. 96–106.
- WICSA-2005-Abi-AntounAGSN #architecture #automation #concept #implementation #incremental
- Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures (MAA, JA, DG, BRS, NHN), pp. 265–268.
- ECOOP-2004-AldrichC #alias #policy
- Ownership Domains: Separating Aliasing Policy from Mechanism (JA, CC), pp. 1–25.
- ICSE-2004-YanGSAK #architecture #named
- DiscoTect: A System for Discovering Architectures from Running Systems (HY, DG, BRS, JA, RK), pp. 470–479.
- ECOOP-2003-AldrichSCN #abstraction
- Language Support for Connector Abstractions (JA, VS, CC, DN), pp. 74–102.
- ECOOP-2002-AldrichCN #architecture #reasoning
- Architectural Reasoning in ArchJava (JA, CC, DN), pp. 334–367.
- ICSE-2002-AldrichCN #architecture #implementation #named
- ArchJava: connecting software architecture to implementation (JA, CC, DN), pp. 187–197.
- OOPSLA-2002-AldrichKC #alias #comprehension
- Alias annotations for program understanding (JA, VK, CC), pp. 311–330.
- SAS-1999-AldrichCSE #analysis #java #source code
- Static Analyses for Eliminating Unnecessary Synchronization from Java Programs (JA, CC, EGS, SJE), pp. 19–38.
- GPCE-2016-OmarA #design #implementation #programmable #semantics
- Programmable semantic fragments: the design and implementation of typy (CO, JA), pp. 81–92.
- ECOOP-2016-MilitaoAC #protocol
- Composing Interfering Abstract Protocols (FM, JA, LC), p. 26.
- ECOOP-2017-MelicherSPA
- A Capability-Based Module System for Authority Control (DM, YS, AP, JA), p. 27.
- Onward-2018-CoblenzAMS #design #programming language
- Interdisciplinary programming language design (MJC, JA, BAM, JS), pp. 133–146.
- PLATEAU-2019-KambhatlaCOSAM #case study #programming language #safety #usability
- A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language (GK, MJC, RO, JS, JA, BAM), p. 11.
- POPL-2017-OmarVHAH #bidirectional #calculus #editing #named
- Hazelnut: a bidirectionally typed structure editor calculus (CO, IV, MH, JA, MAH), pp. 86–99.
- POPL-2020-MackayPAG #decidability #dependent type #type system
- Decidable subtyping for path dependent types (JM, AP, JA, LG), p. 27.