Dr.-Ing. Michael Eichberg

Dr.-Ing. Michael Eichberg

I'm the main author of the static analysis framework OPAL.

Short Biography

Aug. 10 – Aug. 19 Member of the Software Technology Group
Mar. 13 – Mar. 14 Member of the expert-team on software architecture and software modernization. (GFFT e.V.)
July 09 – Jul. 10 Interim Professor – Software Engineering
Oct. 08 – June 09 Coordinator of Study Affairs of the CASED Advisory Board
Aug. 08 – Sep. 08 Business IT Consultant – Senacor
May 02 – Jul. 08 Researcher in the Software Technology Group

Publications

Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item type | No grouping
Jump to: 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002
Number of items: 62.

2020

Helm, Dominik ; Kübler, Florian ; Reif, Michael ; Eichberg, Michael (2020):
Modular Collaborative Program Analysis in OPAL.
S. 184-196, ACM, 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020), virtual Conference, 06.-16.11., DOI: 10.1145/3368089.3409765,
[Conference item]

Helm, Dominik ; Kübler, Florian ; Kölzer, Jan Thomas ; Haller, Philipp ; Eichberg, Michael ; Salvaneschi, Guido ; Mezini, Mira (2020):
A Programming Model for Semi-implicit Parallelization of Static Analyses.
S. 428-439, ACM, ISSTA '20: 29th SIGSOFT International Symposium on Software Testing and Analysis, virtual Conference, 18.-22.07., ISBN 978-1-4503-8008-9,
DOI: 10.1145/3395363.3397367,
[Conference item]

Reif, Michael ; Kübler, Florian ; Helm, Dominik ; Hermann, Ben ; Eichberg, Michael ; Mezini, Mira (2020):
TACAI: An Intermediate Representation Based on Abstract Interpretation.
S. 2-7, SOAP 2020-9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, London, UK, June 2020, ISBN 9781450379977,
DOI: 10.1145/3394451.3397204,
[Conference item]

2019

Reif, Michael ; Kübler, Florian ; Eichberg, Michael ; Helm, Dominik ; Mezini, Mira (2019):
Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs.
S. 251-261, 28th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'19), Beijing, China, 15.07.-19.0.7. 2019, ISBN 978-1-4503-6224-5,
DOI: 10.1145/3293882.3330555,
[Conference item]

Wickert, Anna-Katharina ; Reif, Michael ; Eichberg, Michael ; Dodhy, Anam ; Mezini, Mira (2019):
A Dataset of Parametric Cryptographic Misuses.
IEEE, 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR), [Conference item]

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira Becker, Steffen ; Bogicevic, Ivan ; Herzwurm, Georg ; Wagner, Stefan (Hrsg.) (2019):
A unified lattice model and framework for purity analyses.
In: Software Engineering and Software Management 2019,
Bonn, Gesellschaft für Informatik e.V., ISSN 16175468, ISBN 9783885796862,
DOI: 10.18420/se2019-10,
[Conference item]

2018

Helm, Dominik ; Kübler, Florian ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira (2018):
A unified lattice model and framework for purity analyses.
In: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, S. 340-350,
ACM, ASE 2018, Corum, Montpellier, France, 3.-7.9.2018, DOI: 10.1145/3238147.3238226,
[Conference item]

Eichberg, Michael ; Kübler, Florian ; Helm, Dominik ; Reif, Michael ; Salvaneschi, Guido ; Mezini, Mira (2018):
Lattice Based Modularization of Static Analyses.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, S. 113-118,
ACM, SOAP 2018, Amsterdam, Netherlands, DOI: 10.1145/3236454.3236509,
[Conference item]

Reif, Michael ; Eichberg, Michael ; Kübler, Florian ; Mezini, Mira (2018):
Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java.
In: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, S. 107-112,
ACM, SOAP 2018, Amsterdam, Netherlands, DOI: 10.1145/3236454.3236503,
[Conference item]

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Mezini, Mira Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018):
CodeMatch: Obfuscation Won't Conceal Your Repackaged App.
In: Software Engineering und Software Management 2018, S. 117-118, Gesellschaft für Informatik, [Book section]

Reif, Michael ; Eichberg, Michael ; Mezini, Mira Tichy, Matthias ; Bodden, Eric ; Kuhrmann, Marco ; Wagner, Stefan ; Steghöfer, Jan-Philipp (Hrsg.) (2018):
Call Graph Construction for Java Libraries.
S. 119-120, Bonn, Gesellschaft für Informatik, Software Engineering und Software Management 2018, Bonn, [Conference item]

2017

Glanz, Leonid ; Amann, Sven ; Eichberg, Michael ; Reif, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2017):
CodeMatch: Obfuscation Won’t Conceal Your Repackaged App.
In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, S. 638-648,
Paderborn, Germany, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ISBN 978-1-4503-5105-8,
DOI: 10.1145/3106237.3106305,
[Conference item]

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Mezini, Mira (2017):
Hermes: assessment and creation of effective test corpora.
In: Proceeding SOAP 2017 Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, S. 43-48, [Book section]

2016

I Pun, Ka ; Steffen, Martin ; Stolz, Volker ; Wickert, Anna-Katharina ; Bodden, Eric ; Eichberg, Michael Larsen, Kim G. ; Srba, Jiří (Hrsg.) (2016):
Don't let data Go astray - A Context-Sensitive Taint Analysis for Concurrent Programs in Go.
S. 37-39, Aalborg, Nordic Workshop on Programming Theory (NWPT'16), [Conference item]

Haller, Philipp ; Geries, Simon ; Eichberg, Michael ; Salvaneschi, Guido (2016):
Reactive Async: Expressive Deterministic Concurrency.
In: Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala,
New York, ACM, SCALA 2016, Amsterdam, Netherlands, 30.-31.10.2016, ISBN 978-1-4503-4648-1,
DOI: 10.1145/2998392.2998396,
[Conference item]

Reif, Michael ; Eichberg, Michael ; Hermann, Ben ; Lerch, Johannes ; Mezini, Mira (2016):
Call graph construction for Java libraries.
S. 474-486, Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, DOI: 10.1145/2950290.2950312,
[Conference item]

2015

Eichberg, Michael ; Hermann, Ben ; Mezini, Mira ; Glanz, Leonid (2015):
Hidden Truths in Dead Software Paths.
In: ESEC/FSE 2015, S. 474-484, New York, NY, USA, ACM, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, ISBN 978-1-4503-3675-8,
[Conference item]

Hermann, Ben ; Reif, Michael ; Eichberg, Michael ; Mezini, Mira (2015):
Getting to Know You: Towards a Capability Model for Java.
In: ESEC/FSE 2015, S. 758-769, New York, NY, USA, ACM, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, New York, NY, USA, ISBN 978-1-4503-3675-8,
[Conference item]

2014

Weiel, Manuel ; Maier, Ingo ; Erdweg, Sebastian ; Eichberg, Michael ; Mezini, Mira (2014):
Towards virtual traits in Scala.
In: Proceedings of the Fifth Anuual Scala Workshop on - SCALA '14, S. 67-75,
[Conference item]

Eichberg, Michael ; Hermann, Ben (2014):
A Software Product Line for Static Analyses: The OPAL Framework.
In: SOAP '14, S. 1-6, New York, NY, USA, ACM, Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis, New York, NY, USA, ISBN 978-1-4503-2919-4,
[Conference item]

2013

Giarrusso, Paolo G. ; Ostermann, Klaus ; Eichberg, Michael ; Mitschke, Ralf ; Rendel, Tillmann ; Kästner, Christian (2013):
Reify your collection queries for modularity and speed!
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 1,
[Conference item]

Mitschke, Ralf ; Eichberg, Michael ; Mezini, Mira ; Garcia, Alessandro ; Macia, Isela (2013):
Modular specification and checking of structural dependencies.
In: Proceedings of the 12th annual international conference on Aspect-oriented software development - AOSD '13, S. 85,
[Conference item]

2012

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2012):
Incremental concrete syntax for embedded languages with support for separate compilation.
In: Science of Computer Programming, S. -, Elsevier, [Book section]

Monperrus, Martin ; Eichberg, Michael ; Tekes, Elif ; Mezini, Mira (2012):
What should developers be aware of? An empirical study on the directives of API documentation.
In: Empirical Software Engineering, S. 1-35. Springer Netherlands, ISSN 1382-3256,
[Article]

2011

Eichberg, Michael ; Sewe, Andreas (2011):
Encoding the Java Virtual Machine's Instruction Set.
In: Electronic Notes in Theoretical Computer Science, 264, In: Proceedings of the Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation, S. 35-50,
Fifth Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2010), Paphos, Cyprus, 27 Mar 2010, ISSN 15710661,
[Conference item]

Eichberg, Michael Gallagher, John ; Gelfond, Michael (Hrsg.) (2011):
Compiling Prolog to Idiomatic Java.
In: Leibniz International Proceedings in Informatics (LIPIcs), 11, S. 84-94, Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Technical Communications of the 27th International Conference on Logic Programming (ICLP'11), Lexington, KY, USA, [Conference item]

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2011):
Incremental Concrete Syntax for Embedded Languages.
In: ACM, In: Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC),
New York, NY, USA, ACM, Proceedings of the 26th ACM Symposium on Applied Computing Technical Track on Programming Languages (PL at SAC), [Conference item]

2010

Eichberg, Michael ; Klose, Karl ; Mitschke, Ralf ; Mezini, Mira (2010):
Component Composition Using Feature Models.
6092, In: Component-Based Software Engineering, S. 200,
ISSN 0302-9743,
[Conference item]

Dinkelaker, Tom ; Eichberg, Michael ; Mezini, Mira (2010):
An Architecture for Composing Embedded Domain-Specific Languages.
In: ACM, In: AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software Development, S. 49-60,
New York, NY, USA, ACM, International Conference on Aspect-Oriented Software Development, ST Malo, France, March 16-19, [Conference item]

Eichberg, Michael ; Monperrus, Martin ; Kloppenburg, Sven ; Mezini, Mira (2010):
Model-Driven Engineering of Machine Executable Code.
In: Proceedings of the 6th European Conference on Modelling Foundations and Applications (ECMFA'2010), S. 104,
[Conference item]

2008

Eichberg, Michael ; Kloppenburg, Sven ; Klose, Karl ; Mezini, Mira (2008):
Defining and continuous checking of structural program dependencies.
In: Proceedings of the 30th International Conference on Software Engineering, S. 391-400, ACM Press, ISBN 978-1-60558-079-1,
[Book section]

Mitschke, Ralf ; Eichberg, Michael (2008):
Supporting the Evolution of Software Product Lines.
ECMDA Traceability Workshop, Berlin, Germany, 09.-12. Jun. 2008, [Conference item]

2007

Eichberg, Michael (2007):
Open Integrated Development and Analysis Environments.
Darmstadt, Technische Universität, TU Darmstadt,
[PhD thesis]

Eichberg, Michael (2007):
Open integrated development and analysis environments.
Darmstadt, Technische Universität, TU Darmstadt,
[PhD thesis]

Eichberg, Michael ; Kahl, Matthias ; Saha, Diptikalyan ; Mezini, Mira ; Ostermann, Klaus (2007):
Automatic Incrementalization of Prolog Based Static Analyses.
In: Lecture Notes In Computer Science, 4354, In: Practical Aspects of Declarative Languages, S. 109-123, Heidelberg/Berlin, Germany, [Book section]

2006

Eichberg, Michael ; Mezini, Mira ; Kloppenburg, Sven ; Ostermann, Klaus ; Rank, B. (2006):
Integrating and Scheduling an Open Set of Static Analyses.
In: Proceedings of the 21st International Conference on Automated Software Engineering, S. 113-122,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE '06), Tokyo, Japan, [Conference item]

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schafer, Thorsten (2006):
QScope : an Open, Extensible Framework for Measuring Software Projects.
In: 'CSMR '06 : Proceedings of the Conference on Software Maintenance and Reengineering', Washington, DC. : IEEE, S. 113-122, [Book section]

Schäfer, Thorsten ; Eichberg, Michael ; Haupt, Michael ; Mezini, Mira (2006):
The SEXTANT software exploration tool.
In: IEEE Transactions on Software Engineering, 32, S. 753-768. [Article]

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2006):
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 164, In: Proceedings of the Sixth Workshop on Language Descriptions, Tools, and Applications (LDTA 2006), Elsevier, [Book section]

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006):
QScope: an Open, Extensible Framework for Measuring Software Projects.
In: CSMR '06: Proceedings of the Conference on Software Maintenance and Reengineering, S. 113--122,
IEEE Computer Society, ISBN 0-7695-2536-9,
[Conference item]

Eichberg, Michael ; Germanus, Daniel ; Mezini, Mira ; Mrokon, Lukas ; Schäfer, Thorsten (2006):
QScope: an Open, Extensible Framework for Measuring Software Projects.
In: Proceedings of 10th European Conference on Software Maintenance and Reengineering (CSMR),
IEEE Computer Society, [Conference item]

2005

Eichberg, Michael ; Mezini, Mira (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
3437, In: SEM '04: 4th International Workshop of Software Engineering and Middleware, S. 47--63,
Springer-Verlag GmbH, ISBN 3-540-25328-9,
[Conference item]

Eichberg, Michael ; Mezini, Mira ; Haupt, Michael ; Schäfer, Thorsten (2005):
Comprehensive software understanding with Sextant.
In: Proceedings of the 21st IEEE International Conference on Software Maintenance : [Budapest, Hungary, 26 - 29 September 2005] / sponsored by University of Szeged. In cooperation with Reengineering Forum. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Eichberg, Michael ; Schäfer, Thorsten ; Mezini, Mira (2005):
Using annotations to check structural properties of classes.
In: Fundamental approaches to software engineering : 8th International Conference, FASE 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4 - 8, 2005; proceedings / Maura Cerioli (ed.). -, Berlin ; Heidelberg [u.a.], Springer, [Conference item]

Eichberg, Michael (2005):
Component-based software development with aspect-oriented programming.
In: Journal of Object Technology, 4, S. 33-38. [Article]

Eichberg, Michael (2005):
BAT2XML : XML-based Java bytecode representation.
In: Electronic Notes in Theoretical Computer Science, 141, S. 93-107. [Article]

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005):
An execution layer for aspect-oriented programmjing languages.
In: VEE'05 : proceedings of the First ACM/USENIX International Conference on Virtual Execution Environments; June 11 - 12, 2005, Chicago, Illinois, USA. - New York, NY : ACM Pr., 2005 ISBN: 1-59593-047-7, New York, NY, ACM Pr., [Conference item]

Schäfer, Thorsten ; Eichberg, Michael ; Mezini, Mira (2005):
Towards exploring cross-cutting concerns.
In: Proceedings of the Workshop on Linking Aspect Technology and Evolution,
AOSD '05 Workshop on Linking Aspect Technology and Evolution (LATE), Chicago, IL, USA, [Conference item]

Eichberg, Michael (2005):
BAT2XML: XML-based Java Bytecode Representation.
141, In: Electronic Notes in Theoretical Computer Science, (1), S. 93--107. Elsevier, [Article]

Haupt, Michael ; Mezini, Mira ; Bockisch, Christoph ; Dinkelaker, Tom ; Eichberg, Michael ; Krebs, Michael (2005):
An execution layer for aspect-oriented programming languages.
In: VEE '05: Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments, S. 142--152,
ACM Press, Chicago, IL, USA, ISBN 1-59593-047-7,
[Conference item]

Eichberg, Michael (2005):
BAT2XML: XML-based Java Bytecode Representation.
141, In: Electronic Notes in Theoretical Computer Science, (1), S. 93--107. Elsevier, [Article]

Eichberg, Michael ; Mezini, Mira Gschwind, Thomas ; Mascolo, Cecilia (Hrsg.) (2005):
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
In: Lecture Notes in Computer Science, 3437, In: Software Engineering and Middleware: 4th International Workshop, SEM 2004, S. 47-63, Berlin ; Heidelberg, Springer-Verlag GmbH, ISBN 3-540-25328-9,
[Book section]

2004

Eichberg, Michael (2004):
The Proxy Inter-Type Declaration.
(NU-CCIS-04-04), [Report]

Eichberg, Michael ; Mezini, Mira ; Schäfer, Thorsten ; Beringer, Claus ; Hamel, Karl Matthias (2004):
Enforcing system-wide properties.
In: : Proceedings / 2004 Australian Software Engineering Conference, 2004 : 13 - 16 April 2004, [Melbourne, Australia] / [sponsored by Australian Computer Society, ACS ... Ed. by Paul Strooper]. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S., Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus ; Schäfer, Thorsten (2004):
XIRC : a kernel for cross-artifact information engineering in software development environments.
In: Working Conference on Reverse Engineering ; 11 (Delft) : 2004.11.08-12 WCRE 2004 ; 11 (Delft) : 2004.11.08-12 .- Los Alamitos, Calif. [u.a.] : IEEE Computer Society, 2004, S. 182-191 ISBN 0-7695-2243-2, Los Alamitos, Calif. [u.a.], IEEE Computer Society, [Conference item]

Eichberg, Michael ; Mezini, Mira (2004):
Alice : modularization of middleware using aspect-oriented programming.
In: Software engineering and middleware : 4th international workshop, SEM 2004, Linz, Austria, September 20 - 21, 2004 ; revised selected papers / Thomas Gschwind; Cecilia Mascolo (eds.). - Berlin [u.a.] : Springer, 2005, S. 47-63 (Lecture notes in computer s, Berlin [u.a.], Springer, [Conference item]

Eichberg, Michael ; Mezini, Mira ; Ostermann, Klaus (2004):
Pointcuts as functional queries.
In: Programming languages and systems : second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4 - 6, 2004 ; proceedings / Wei-Ngan Chin (ed.). - Berlin [u.a.] : Springer, 2004. - S. 366-381 (Lecture notes in computer science ; 3302) ISBN -540-23724-0, Berlin [u.a.], Springer, [Conference item]

Eichberg, Michael ; Schäfer, Thorsten (2004):
XIRC: cross-artifact information retrieval [GPCE].
In: OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, S. 43--44,
ACM Press, Vancouver, BC, CANADA, ISBN 1-58113-833-4,
[Conference item]

Eichberg, Michael ; Schäfer, Thorsten (2004):
XIRC: cross-artifact information retrieval [GPCE].
In: OOPSLA Companion, S. 43-44,
[Conference item]

Eichberg, Michael Coady, Yvonne ; Lorenz, David (Hrsg.) (2004):
The Proxy Inter-Type Declaration.
(NU-CCIS-04-04), [Report]

2003

Mezini, Mira ; Eichberg, Michael ; Haupt, Michael (2003):
Komponentenbasierte Softwaresysteme: Historischer Abriss.
In: Thema Forschung: Vom Wort zum Bauelement - Komponententechnologien in den Ingenieurwissenschaften, [Article]

2002

Eichberg, Michael (2002):
MDA and programming languages.
In: OOPSLA <17, 2002, Seattle, Wash.> / Workshop on Generative Techniques in the Context of Model Driven Architecture: Conference proceedings November 4-8, 2002 ...- New York: ACM Pr., 2002, New York, ACM Pr., [Conference item]

This list was generated on Wed Nov 25 06:51:12 2020 CET.