The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jonathan Aldrich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jonathan Aldrich
    Open Modules: Modular Reasoning About Advice. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:144-168 [Conf]
  2. Jonathan Aldrich, Craig Chambers
    Ownership Domains: Separating Aliasing Policy from Mechanism. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2004, pp:1-25 [Conf]
  3. Jonathan Aldrich, Craig Chambers, David Notkin
    Architectural Reasoning in ArchJava. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2002, pp:334-367 [Conf]
  4. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
    Language Support for Connector Abstractions. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2003, pp:74-102 [Conf]
  5. Lee Salzman, Jonathan Aldrich
    Prototypes with Multiple Dispatch: An Expressive and Dynamic Object Model. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2005, pp:312-336 [Conf]
  6. Donna Malayeri, Jonathan Aldrich
    Practical Exception Specifications. [Citation Graph (0, 0)][DBLP]
    Advanced Topics in Exception Handling Techniques, 2006, pp:200-220 [Conf]
  7. Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng
    Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:676-677 [Conf]
  8. Jonathan Aldrich, Craig Chambers, David Notkin
    ArchJava: connecting software architecture to implementation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2002, pp:187-197 [Conf]
  9. Hong Yan, David Garlan, Bradley R. Schmerl, Jonathan Aldrich, Rick Kazman
    DiscoTect: A System for Discovering Architectures from Running Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:470-479 [Conf]
  10. Marwan Abi-Antoun, Jonathan Aldrich, Nagi H. Nahas, Bradley R. Schmerl, David Garlan
    Differencing and Merging of Architectural Views. [Citation Graph (0, 0)][DBLP]
    ASE, 2006, pp:47-58 [Conf]
  11. Marwan Abi-Antoun, Jonathan Aldrich
    Bringing ownership domains to mainstream Java. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:702-703 [Conf]
  12. Marwan Abi-Antoun, Jonathan Aldrich
    A static analysis for extracting runtime views from annotated object-oriented code. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:734-735 [Conf]
  13. Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
    Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:6-7 [Conf]
  14. Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Tony Tseng
    Modeling and implementing software architecture with acme and archJava. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:156-157 [Conf]
  15. Jonathan Aldrich, Valentin Kostadinov, Craig Chambers
    Alias annotations for program understanding. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:311-330 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2006, pp:940-942 [Conf]
  17. Neel Krishnaswami, Jonathan Aldrich
    Permission-based ownership: encapsulating state in higher-order typed languages. [Citation Graph (0, 0)][DBLP]
    PLDI, 2005, pp:96-106 [Conf]
  18. Jonathan Aldrich, Craig Chambers, Emin Gün Sirer, Susan J. Eggers
    Static Analyses for Eliminating Unnecessary Synchronization from Java Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1999, pp:19-38 [Conf]
  19. Kevin Bierhoff, Jonathan Aldrich
    Lightweight object specification with typestates. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:217-226 [Conf]
  20. Marwan Abi-Antoun, Jonathan Aldrich, David Garlan, Bradley R. Schmerl, Nagi H. Nahas
    Semi-Automated Incremental Synchronization between Conceptual and Implementation Level Architectures. [Citation Graph (0, 0)][DBLP]
    WICSA, 2005, pp:265-268 [Conf]
  21. Jonathan Aldrich, Vibha Sazawal, Craig Chambers, David Notkin
    Architecture-centric programming for adaptive systems. [Citation Graph (0, 0)][DBLP]
    WOSS, 2002, pp:93-95 [Conf]
  22. Marwan Abi-Antoun, Jonathan Aldrich, Wesley Coelho
    A case study in re-engineering to enforce architectural control flow and data sharing. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:2, pp:240-264 [Journal]
  23. Jonathan Aldrich, Emin Gün Sirer, Craig Chambers, Susan J. Eggers
    Comprehensive synchronization elimination for Java. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:47, n:2-3, pp:91-120 [Journal]
  24. Bradley R. Schmerl, Jonathan Aldrich, David Garlan, Rick Kazman, Hong Yan
    Discovering Architectures from Running Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2006, v:32, n:7, pp:454-466 [Journal]
  25. Jonathan Aldrich
    Assuring Object-Oriented Architecture. [Citation Graph (0, 0)][DBLP]
    ECOOP, 2007, pp:450- [Conf]
  26. Kevin Bierhoff, Jonathan Aldrich
    Modular typestate checking of aliased objects. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2007, pp:301-320 [Conf]
  27. Ciera Jaspan, Jonathan Aldrich
    Checking framework plugins. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:795-796 [Conf]
  28. Donna Malayeri, Jonathan Aldrich
    Combining structural subtyping and external dispatch. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2007, pp:789-790 [Conf]
  29. Jonathan Aldrich, Mike Barnett, Dimitra Giannakopoulou, Gary T. Leavens, Natasha Sharygina
    Specification and verification of component-based systems 2007. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:609-610 [Conf]

  30. Checking Framework Interactions with Relationships. [Citation Graph (, )][DBLP]


  31. Practical API Protocol Checking with Access Permissions. [Citation Graph (, )][DBLP]


  32. Integrating Nominal and Structural Subtyping. [Citation Graph (, )][DBLP]


  33. Is Structural Subtyping Useful? An Empirical Study. [Citation Graph (, )][DBLP]


  34. PLURAL: checking protocol compliance under aliasing. [Citation Graph (, )][DBLP]


  35. Tool support for the compile-time execution structure of object-oriented programs with ownership annotations. [Citation Graph (, )][DBLP]


  36. Error Reporting Logic. [Citation Graph (, )][DBLP]


  37. Verifying correct usage of atomic blocks and typestate. [Citation Graph (, )][DBLP]


  38. Tool support for the static extraction of sound hierarchical representations of runtime object graphs. [Citation Graph (, )][DBLP]


  39. Tool support for statically checking the structural conformance of an object-oriented system to its runtime architecture. [Citation Graph (, )][DBLP]


  40. CZ: multiple inheritance without diamonds. [Citation Graph (, )][DBLP]


  41. Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations. [Citation Graph (, )][DBLP]


  42. Concurrency by default: using permissions to express dataflow in stateful programs. [Citation Graph (, )][DBLP]


  43. Typestate-oriented programming. [Citation Graph (, )][DBLP]


  44. A field study in static extraction of runtime architectures. [Citation Graph (, )][DBLP]


  45. Specification and verification of component-based systems 2007. [Citation Graph (, )][DBLP]


  46. Static extraction of sound hierarchical runtime object graphs. [Citation Graph (, )][DBLP]


  47. Design patterns in separation logic. [Citation Graph (, )][DBLP]


  48. Verifying event-driven programs using ramified frame properties. [Citation Graph (, )][DBLP]


  49. Using Types to Enforce Architectural Structure. [Citation Graph (, )][DBLP]


  50. Differencing and merging of architectural views. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002