|
Prof. Dr.-Ing. Mira Mezini | |||||
| University of Technology Darmstadt | ||||||
| Computer Science Department / Software Technology Group | ||||||
| Building S2/02 / Room A212 | ||||||
|
||||||
| Hochschulstr. 10 | ||||||
| 64289 Darmstadt |
My research focuses on developing methods and tools that support programmers in writing software that has a clear modular structure that reflects a clear separation of concerns. Such programs are easier to maintain and evolve, because questions about what a part of the program does, why it does that, and what other parts of the program depend on that behavior become easier to answer. Most of my research has been in programming language design and implementation, but I am also interested in programming environments, design and coding styles, software engineering principles and component technology.
A key theme underlying my current work is aspect-oriented software development (AOSD). This is a new programming paradigm that supports modules for encapsulating crosscutting concerns. Crosscutting modules are units of code that cut across each other's modularity boundaries. The rationale behind AOSD is that this kind of modularity, when properly supported can have significant impact in managing the complexity of today's software systems. My work on AOSD is actually a continuation of the work I did on Variation-Oriented Programming and RONDO as part of my PhD.
On the other side, component models follow similar goals as AOSD. I am interested in finding out how these two approaches interact and possibly complement each other.
Activities
Here are some of my recent activities in the scientific community:
PC member of ECOOP 2001, 2002, 2003, 2004, 2006 PC member of Workshop on Advanced Separation of Concerns, ICSE '01, 2001 PC member of Reflection 2001 Co-Organizer of GI-Workshop on Aspect-Orientation Paderborn, 2001 PC member of Workshop on Advanced Separation of Concerns , ECOOP 2001 PC member of Workshop on Advanced Separation of Concerns , OOPSLA 2001 PC member of First OOPSLA Workshop on Language Mechanisms for Programming Software Components , OOPSLA 2001 Steering committee member of International Conference on Aspect-Oriented Software Development (ASOD) PC member of International Conference on Aspect-Oriented Software Development (ASOD) '02, '03, '04, '06, '07 PC member of 1st International IFIP/ACM Conference on Component Deployment (CD '02) PC member of OOPSLA 2002, 2004 Program Co-Chair of Net.Object Days 2002 Organizing Chair of ECOOP 2003 PC Member of Net.Object Days 2003, 2005 Member of AITO (Association Internationale pour les Technologies Objets) - steering committee of ECOOP Editorial board of LNCS Transactions on Aspect-Oriented Software Development (LNCS TAOSD) PC member of GPCE 2006 PC member of FSE 2006 PC member of VEE 2006 PC Chair of Foundations of Aspect-Oriented Languages FOAL 2006 PC of OOPSLA 07 Essays and Onward tracks PC of Compiler Construction 07 PC of FSE 2008 PC Chair of International Conference on Aspect-Oriented Software Development AOSD 2008
Biography
| 1984-1989 | studied Computer Science, University of Tirana, Albania, 1989: Diploma in Computer Science |
| 1989-1990 | Full-Time Research and Teaching Assistant, Department of Computer Science, University of Tirana, Albania |
| 1990-1992 | Computer Center of the University of Siegen, Germany |
| 1992-1997 | Full-Time Research and Teaching Assistant, College of Electrical Engineering and Computer Science, University of Siegen, Germany |
| 1997 | Ph.D. (Dr.-Ing.) in Computer Science |
| 1997-1998 | Visiting Assistant Professor of Computer Sciene, College of Computer Science, Northeastern University, U.S.A. |
| 1998-2000 | Assistant Professor of Computer Science (C1) College of Electrical Engineering and Computer Science (FB12), University of Siegen, Germany, and Adjunct Assistant Professor of Computer Sciene, College of Computer Science, Northeastern University, U.S.A. |
| 2000-2002 | Associate Professor of Computer Science, College of Computer Science(fb 20), Darmstadt University of Technology |
| 2002- | Full Professor of Computer Science, College of Computer Science(fb 20), Darmstadt University of Technology |
Publications
From Formal Access Control Policies to Runtime Enforcement Aspects
International Symposium on Engineering Secure Software and Systems.
Springer, February 2009
[BibTeX]
Aspect-based Enforcement of Formal Delegation Policies
Proceedings of the third International Conference on Risks and Security of Internet and Systems (CRiSIS), IEEE, October 2008
[BibTeX]
Aspects and Class-based Security
2nd Workshop on Virtual Machines and Intermediate Languages for emerging modularization mechanisms (VMIL), held at OOPSLA 2008, Nashville, TN, USA
[paper.pdf] [BibTeX]
On Evaluating Recommender Systems for API Usages
Proceedings of the 1st International Workshop on Recommender Systems in Software Engineering (RSSE) 2008, November, Atlanta, Georgia, USA
[rsse-eval.pdf] [BibTeX]
Improving Code Recommender Systems using Boolean Factor Analysis and Graphical Models
Proceedings of the 1st International Workshop on Recommender Systems in Software Engineering (RSSE) 2008, November, Atlanta, Georgia, USA
[rsse-gm.pdf] [BibTeX]
Language Support for Model-Driven Development.
Science of Computer Programming, Elsevier, 2008
[cepa-mezini-mda-elsevier.pdf] [BibTeX]
Defining and Continuous Checking of Structural Program Dependencies
ACM/Sigsoft International Conference on Software Engineering (ICSE), 2008
[BibTeX]
Mining Framework Usage Changes from Instantiation Code
ACM/Sigsoft International Conference on Software Engineering (ICSE), ACM, 2008, pages 471-480
[Mining Framework Usage Changes from Instantiation Code.pdf] [BibTeX]
Redundancy-free Residual Dispatch
7th Workshop on Foundations of Aspect-Oriented Languages (FOAL), held at AOSD 2008, Brussels, Belgium
[BibTeX]
Dynamically Linked Domain-Specific Extensions for Advice Languages
3rd Workshop of Domain-Specific Aspect Languages, held at the AOSD, 2008
[DinkelakerMezini2008a.pdf] [BibTeX]
Transactional BPEL Processes with AO4BPEL Aspects
Proceedings of the 5th IEEE European Conference on Web Services (ECOWS), November 2007
[charfietalecows07final.pdf] [BibTeX]
On the Management Requirements of Web Service Compositions
Proceedings of the 2nd ECOWS Workshop on Emerging Web Services Technology (WEWST), November 2007
[wscm-workshop-final.pdf] [BibTeX]
Dependent Classes
ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 2007
[depcls-oopsla07.pdf]
Clustering for Generating Framework Top-Level Views
Proceedings of 14th Conference on Reverse Engineering, October 2007; Vancouver, Canada; IEEE Computer Society Press, pages 239-248.
[Clustering.pdf] [BibTeX]
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants
Proceedings of the 9th International Conference on Coordination Models and Languages (Coordination), Springer, June 2007
[BibTeX]
AO4BPEL: An Aspect-Oriented Extension to BPEL Springer link
World Wide Web Journal (Springer), Special issue on "Recent Advances in Web Services", 2007
[BibTeX]
A Flexible Architecture for Pointcut-Advice Language Implementations
Proceedings of the 1st workshop on Virtual machines and intermediate languages for emerging modularization mechanisms, held at AOSD 2007
[BockischMezini07.pdf] [BibTeX]
Automatic Incrementalization of Prolog based Static Analyses
Proceedings of the Ninth International Symposium on Practical Aspects of Declarative Languages (PADL), Springer, January 2007
[Main.pdf] [BibTeX]
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL
Proceedings of the 4th IEEE European Conference on Web Services (ECOWS), December 2006
[ecows06-final.pdf] [BibTeX]
Aspect-Oriented Workflow Languages
Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS), November 2006
[charfi-mezini-coopis-06-final.pdf] [BibTeX]
Efficient Control Flow Quantification
ACM Sigplan International Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 2006
[OOPSLA-cflow.pdf] [BibTeX]
Adapting Virtual Machine Techniques for Seamless Aspect Support
ACM Sigplan International Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 2006
[OOPSLA-envelopes.pdf] [BibTeX]
Pegasus: First Steps Toward a Naturalistic Programming Language
ACM Sigplan International Conference on Object-oriented Programming, Systems, Languages, and Applications (OOPSLA) 2006, Onward Track.
Important Notes...(NOT COPYRIGHT RELATED NOTES)
The SEXTANT Software Exploration Tool
IEEE Transactions on Software Engineering, Vol. 32, No. 9, pp. 753-768, Sept., 2006. IEEE Link
[BibTeX]
Integrating and Scheduling an Open Set of Static Analyses
21st IEEE/ACM International Conference on Automated Software Engineering
[CalulatingSchedules.pdf] [BibTeX]
Reliable Messaging for BPEL Processes
Proceedings of the 4th International Conference on Web Services (ICWS), September 2006
[charfia_reliable.pdf] [BibTeX]
FrUiT: IDE Support for Framework Understanding
Proceedings of the 2006 OOPSLA Workshop on Eclipse Technology eXchange, Portland, USA, ACM Press
[FrUiT (OOPSLA etx Workshop).pdf] [BibTeX]
Multidimensional Virtual Classes
Techinical Report TR TUD-ST-2006-03, 2006
- superceded by our OOPSLA'07 paper
[multivc06.pdf]
An Overview of CaesarJ
Transactions on Aspect-Oriented Software Development I. LNCS, Vol. 3880, Feb 2006, pp. 135 - 173
[overview-of-caesarj-2005.pdf] [BibTeX]
QScope: an Open, Extensible Framework for Measuring Software Projects
In Proceedings of 10th European Conference on Software Maintenance and Reengineering CSMR'06, IEEE Computer Society Press
[QScope.pdf] [BibTeX]
Dynamic Virtual Join Point Dispatch
SPLAT Workshop 2006
[DynamicVirtualJoinPointDispatch.pdf] [BibTeX]
Incremental Confined Types Analysis
Sixth Workshop on Language Descriptions, Tools and Applications (LDTA 2006), Elsevier ENTCS, vol. 164, Issue 2
[BibTeX]
A Comparison of Program Generation with Aspect-Oriented Programming
Proceedings of the EU-NSF Strategic Research Workshop on Unconventional Programming Paradigms. Springer Verlag LNCS 3566
[BibTeX]
eAssignment - A Case for EMF
In Proceedings of the 2005 OOPSLA Workshop on Eclipse Technology eXchange, October 2005; San Diego, California, USA; ACM Press, Pages 110-114
This paper won the best student paper award!
[eAssignment-etx.pdf] [BibTeX]
Virtual Machine Support for Aspects with Advice Instance Tables.
L'Objet, Vol. 11, No. 3/2005
This is the extended journal version of the JFDLPA'04 paper on the same topic.
[BibTeX]
Towards More Flexibility in Software Visualization Tools
In Proceedings of the 3rd IEEE International Workshop on Visualizing Software for Program Understanding and Analysis, September 2005; Budapest, Hungary; IEEE Computer Society, Pages 64-69
[FlexibleSoftwareVisualization.pdf] [BibTeX]
Comprehensive Software Understanding with Sextant
In Proceedings of the 21st IEEE International Conference on Software Maintenance, September 2005; Budapest, Hungary; IEEE Computer Society, Pages 315-324
Please note that this paper is outdated by a more comprehensive description of Sextant, published in the IEEE Transactions on Software Engineering.
[Sextant.pdf] [BibTeX]
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts
European Conference on Object-Oriented Programming (ECOOP), Springer LNCS, 2005
[soc-w-paap-124.pdf]
Expressive Pointcuts for Increased Modularity
European Conference on Object-Oriented Programming (ECOOP), Springer LNCS, 2005
[ecoop05paper.pdf] [BibTeX]
Using Aspects for Security Engineering of Web Service Compositions
IEEE International Conference on Web Services (ICWS), July 2005
[charfi-mezini-icws-05-final.pdf] [BibTeX]
Envelope-based Weaving for Faster Aspect Compilers
Proc. of Net.ObjectDays 2005 (NODe)
[NODe-2005.pdf] [BibTeX]
An Execution Layer for Aspect-Oriented Programming Languages
ACM/USENIX Conference on Virtual Execution Environments (VEE'05)
[vee05.pdf] [BibTeX]
Middleware Services for Web Service Compositions
Short Paper at the International World Wide Web Conference (WWW 2005), May 2005
[charfi-mezini-www05.pdf] [BibTeX]
Aspect-Oriented Programming and Modular Reasoning
ACM International Conference on Software Engineering (ICSE) 2005
[aopmr34-sumbitted-icse-05.pdf]
Aspect-Oriented Programming and Modular Reasoning
In ACM SIGSOFT International Conference on Software Engineering (ICSE 05). St. Louis, Missouri, May 2005
[aopmr-submitted.pdf]
Using Annotations to Check Structural Properties of Classes
Proceedings of Fundamental Approaches to Software Engineering (FASE 2005), April 2005; Edinburgh, Scotland; Springer LNCS
[Annotations.pdf] [BibTeX]
Towards exploring cross-cutting concerns
Linking Aspect Technology and Evolution (LATE) Workshop @ AOSD 2005, March 2005; Chicago, IL, USA
[ConcernExploration.pdf] [BibTeX]
MobCon: A Generative Middleware Framework for Java Mobile Applications.
Hawaii International Conference on System Sciences (HICSS-38), 2005 IEEE Link
[cepa-mezini-hicss38.pdf] [BibTeX]
Untangling Crosscutting Models with Caesar
Chapter 8 in Aspect-Oriented Software Development; Addison-Wesley, 2004
Pointcuts as Functional Queries
In The Second ASIAN Symposium on Programming Languages and Systems (APLAS 2004), Springer, LNCS
[PQL.pdf] [BibTeX]
Variability Management with Feature-Oriented Programming and Aspects
Foundations of Software Engineering (FSE-12), ACM SIGSOFT, 2004.
[fse.pdf]
Declaring and Enforcing Dependencies Between .NET Custom Attributes
In Proc. of the Third International Conference on Generative Programming and Component Engineering (GPCE'04) (LNCS 3286 / 2004)
[cepa-mezini-gpce04.pdf] [BibTeX]
Hybrid Web Service Composition: Business Processes Meet Business Rules
In Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC 2004). New York City, U.S.A. November, 2004
[charfi-mezini-icsoc-04.pdf] [BibTeX]
Micro-Measurements for Dynamic Aspect-Oriented Systems
Proc. of Net.ObjectDays 2004 (NODe), LNCS 3263
[NODe-2004.pdf] [BibTeX]
Aspect-Oriented Web Service Composition with AO4BPEL
In Proc. of the European Conference on Web Services ECOWS 2004, LNCS 3250. Erfurt, Germany, September 2004.
[charfi-mezini-ecows-04.pdf] [BibTeX]
Alice: Modularization of Middleware using Aspect-Oriented Programming
Software Engineering and Middleware (SEM) 2004, 20-21 September 2004, Linz, Austria
Springer Website
[Alice.pdf] [BibTeX]
Virtual Machine Support for Aspects with Advice Instance Tables.
First French Workshop on Aspect-Oriented Programming, Paris, France, Sep. 14th, 2004.
[JFDLPA04.pdf]
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments
In Proceedings of 11th IEEE Working Conference on Reverse Engineering; November 2004, Delft, Netherlands
[XIRC.pdf] [BibTeX]
Enforcing System-Wide Properties
In Proceedings of Australian Software Engineering Conference 2004, IEEE Computer Society Press, Pages 158-167
[IRC.pdf] [BibTeX]
Proceedings of the 2004 Dynamic Aspects Workshop
co-located with AOSD 2004, Lancaster, UK
[Proc-2004-Dynamic-Aspects.pdf] [BibTeX]
Virtual Machine Support for Dynamic Join Points
in Proceedings of International Conference on Aspect-Oriented Software Development (AOSD'04)
[Steamloom.pdf] [BibTeX]
The Convergence of AOP and Active Databases: Towards Reactive Middleware
in Proceedings of 2nd International Conference on Generative Programming and Component Engineering (GPCE), LNCS 2830, pp. 169-188
[gpce03.pdf] [BibTeX]
On Aspectualizing Component Models
in Software Practice and Experience, Volume 33, Issue 10, pp. 957-974, Wiley Publishers, 2003
[spe.pdf]
Modules for Crosscutting Models
Invited Paper at 8th International Conference on Reliable Software Technologies, LNCS 2655, Toulouse, France, June 16-20, 2003
[ada03.pdf]
Towards Aspect-Aware Execution Models
Technical Report TUD-ST-2003-01
[ObjectModel-TR.pdf] [BibTeX]
Objects, Components, Architectures, Services, and Applications for a Networked World
Springer Verlag Lecture Notes in Computer Science (LNCS), Vol. 2591, 2003
Conquering Aspects with Caesar
in (M. Aksit ed.) Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD), March 17-21, 2003, Boston, USA. ACM Press, pp. 90-100
[aosd03.pdf]
Komponentenbasierte Softwaresysteme: Historischer Abriss
in Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien in den Ingenieurwissenschaften; 1/2003, TU Darmstadt, ISSN 1434-7768
Towards Event-Based Aspect-Oriented Runtime Environments
Technical Report TUD-ST-2002-01
[TR-TUD-ST-2002-01.pdf] [BibTeX]
Integrating Independent Components with On-Demand Remodularisation
Proceedings of the 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOSPLA), Seattle, Washington, USA, November 4-8, 2002, Sigplan Notices, 37 (11), pp. 52 - 67
[oopsla02.pdf] [BibTeX]
Engineering Event-Based Systems with Scopes
in Proceedings of the 16th European Conference on Object-Oriented Programming (ECOOP), Malaga, Spain. Springer Verlag, LNCS 2374
[ecoop02_last.pdf] [BibTeX]
Object-Oriented Composition Untangled
in Proceedings of ACM 16th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '01), Tampa, Sigplan Notices, Vol. 36, No. 10
[oopsla01.pdf]
Component Integration with Plug-and-Play Adapters
in M. Aksit (ed.) "Software Architectures and Component Technology: The State of the Art in Software Development", Kluwer Academic Publishers
[pca.pdf]
LAC: Aspectual Components in Lua
In Workshop on Advanced Separation of Concerns, International Conference on Software-Engineering 2001 (ICSE '01), Mai, Toronto
[LAC.pdf]
Joint efforts to dispel an approaching modularity crisis
Sixth International Workshop on Component-Oriented Programming (WCOP) 2001, Budapest, Hungary
[wcop01.pdf]
Connectors for bridging mismatches between the components of a software engineering environment
in IEE Proceedings - Software Engineering Special Issue: Aspect-oriented and component-based software engineering June 2001, Vol. 148 Issue 3 (p.99)
Neue Programmierparadigmen: Integrationsorientierte Programmierung
OBJEKTspektrum, (2):48-53, April/March 2001
[BibTeX]
Pirol: A Case-Study for Multi-Dimensional Separation of Concerns in Software-Engineering Environments
in Proceedings of ACM 15th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '00), Minneapolis, Sigplan Notices, Vol. 35, No. 10
[OOPSLA00.pdf]
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung
Softwaretechnik 2000, In Tagungsband der 30. GI-Jahrestagung, Berlin
[PipkaMeziniDruck.pdf]
Reusability of Concerns
in Workshop on Aspects and Dimensions of Concerns, 2000, in conjunction with European Conference on Object-Oriented Programming 2000
Dynamic Component Gluing
in Proceedings of the 1st International Conference on Generative and Component-Based Software Engineering (GCSE '99)}, Erfurt. Lecture Notes on Computer Science 1477. Dynamic Component Gluing
[BibTeX]
A Study of Java's Binary Compatibility
In Proceedings of Smalltalk and Java in Academia and Industry, Erfurt, Lecture Notes on Computer Science
[stja99.pdf]
Detecting Evolution Incompatibilities by Analyzing Java Binaries
in Proceedings of 30th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS USA '99), IEEE Press, pp. 126--135, Santa Barbara, USA
[tools99.pdf]
Dynamic Integration of Concerns
in Workshop on Multi-Dimensional Separation of Concerns in Object-Oriented Systems at ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '99), Denver, USA
Modeling Behavior with Personalities
in Proceedings of the International Conference on Software Engineering and Knowledge Engineering (SEKE '99), Kaiserslautern
[personalities.pdf] [BibTeX]
Separation of Concerns with Adaptive Plug-n-Play Components
Dagstuhl Seminar on Component-Based Programming under Different Paradigms
Adaptive Plug-and-Play Components for Evolutionary Software Development
In Proceedings of ACM 13th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '98), Vancouver, Sigplan Notices, Vol. 33, No. 10., pp. 97-116.
[OOPSLA98.ps.gz]
Towards Variational Object-Oriented Programming: The Rondo Model
Technical Report, Darmstadt University of Technology.
[rondo.pdf] [BibTeX]
Variational Object-Oriented Programming Beyond Classes and Inheritance
Book 260 pages, Kluwer Academic Publishers.
[Book98.zip]
Micro-Frameworks and Personalities
Workshop on Pragmatic Issues in Framework Design at ACM 13th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '98), Vancouver, BC, Canada.
Maintaining the Consistency of Class Libraries During Their Evolution
in Proceedings of ACM 12th Annual Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA '97), Atlanta, October 1997, Sigplan Notices, Vol. 32, No. 10, pp. 1--22
[mezini97maintaining.pdf]
Dynamic Object Modification Without Name Collisions
in Proceedings of the 11th European Conference on Object-Oriented Programming (ECOOP '97), Finland, Lecture Notes in Computer Science No. 1241, pp. 190--219, Springer Verlag
[ecoop97.ps]
Incremental Redefinition of Open Implementations
Chap. 16, in Zimmermann C., editor, Advances in Object-Oriented Metalevel Architectures and Reflection, pp. 265--290, CRC Press
[IncRedef.ps.Z]
Dynamic Metaclass Construction for an Explicit Specialization Interface
In Kiczales G., editor, Proceedings of the 1996 International Conference on Reflection, pp. 203--219, San Francisco, USA
[refl96.pdf]
Supporting Evolving Objects Without Giving Up Classes
In Mingins C., Duke, R., and Meyer B. editors, Proceedings of the 18th International Conference on Technology of Object-Oriented Languages and Systems, pp. 181--195, Melbourne, Australia
A Framework for Supporting Subject-Oriented Programming
Workshop on Subjectivity at the ACM Annual Conference on Object-Oriented Programming, Systems, Languages and Applications OOPSLA '94, Portland

