4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report). - Thilo Kielmann; Mira Mezini; Arjan Loeffen (ACM SIGPLAN Notices, 1994)

Dynamic Object Evolution without Name Collisions. - Mira Mezini (ECOOP, 1997)

Maintaining the Consistency of Class Libraries During Their Evolution. - Mira Mezini (OOPSLA, 1997)

Variational Object-Oriented Programming Beyond Classes and Inheritance. - Mira Mezini (Springer, 1998)

Adaptive Plug-and-Play Components for Evolutionary Software Development. - Mira Mezini; Karl J. Lieberherr (OOPSLA, 1998)

Dynamic Component Gluing. - Linda M. Seiter; Mira Mezini; Karl J. Lieberherr (GCSE, 1999)

Detecting Evolution Incompatibilities by Analyzing Java Binaries. - Mira Mezini; Jens Uwe Pipka; Thorsten Dittmar; Wim Boot (TOOLS (30), 1999)

Building modular object-oriented systems with reusable collaborations (tutorial session). - Karl J. Lieberherr; David H. Lorenz; Mira Mezini (ICSE, 2000)

PIROL: a case study for multidimensional separation of concerns in software engineering environments. - Stephan Herrmann 001; Mira Mezini (OOPSLA, 2000)

Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung. - Jens Uwe Pipka; Mira Mezini (Softwaretechnik-Trends, 2000)

Object-Oriented Composition Untangled. - Klaus Ostermann; Mira Mezini (OOPSLA, 2001)

Connectors for bridging mismatches between the components of a software engineering environment. - Stephan Herrmann 001; Mira Mezini (IEE Proc. Softw., 2001)

Engineering Event-Based Systems with Scopes. - Ludger Fiege; Mira Mezini; Gero Mühl; Alejandro P. Buchmann (ECOOP, 2002)

Integrating independent components with on-demand remodularization. - Mira Mezini; Klaus Ostermann (OOPSLA, 2002)

Modules for Crosscutting Models. - Mira Mezini; Klaus Ostermann (Ada-Europe, 2003)

Conquering aspects with Caesar. - Mira Mezini; Klaus Ostermann (AOSD, 2003)

The Convergence of AOP and Active Databases: Towards Reactive Middleware. - Mariano Cilia; Michael Haupt; Mira Mezini; Alejandro P. Buchmann (GPCE, 2003)

On aspectualizing component models. - Roman Pichler; Klaus Ostermann; Mira Mezini (Softw. Pract. Exp., 2003)

Virtual machine support for dynamic join points. - Christoph Bockisch; Michael Haupt; Mira Mezini; Klaus Ostermann (AOSD, 2004)

Pointcuts as Functional Queries. - Michael Eichberg; Mira Mezini; Klaus Ostermann (APLAS, 2004)

Enforcing System-Wide Properties. - Michael Eichberg; Mira Mezini; Thorsten Schäfer; Claus Beringer; Karl Matthias Hamel (Australian Software Engineering Conference, 2004)

Aspect-Oriented Web Service Composition with AO4BPEL. - Anis Charfi; Mira Mezini (ECOWS, 2004)

Declaring and Enforcing Dependencies Between .NET Custom Attributes. - Vasian Cepa; Mira Mezini (GPCE, 2004)

Hybrid web service composition: business processes meet business rules. - Anis Charfi; Mira Mezini (ICSOC, 2004)

Micro-measurements for Dynamic Aspect-Oriented Systems. - Michael Haupt; Mira Mezini (Net.ObjectDays, 2004)

Alice: Modularization of Middleware Using Aspect-Oriented Programming. - Michael Eichberg; Mira Mezini (SEM, 2004)

Variability management with feature-oriented programming and aspects. - Mira Mezini; Klaus Ostermann (SIGSOFT FSE, 2004)

A Comparison of Program Generation with Aspect-Oriented Programming. - Mira Mezini; Klaus Ostermann (UPP, 2004)

XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments. - Michael Eichberg; Mira Mezini; Klaus Ostermann; Thorsten Schäfer (WCRE, 2004)

eAssignment: a case for EMF. - Marcel Bruch; Christoph Bockisch; Thorsten Schäfer; Mira Mezini (eTX, 2005)

Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. - Gregor Kiczales; Mira Mezini (ECOOP, 2005)

Expressive Pointcuts for Increased Modularity. - Klaus Ostermann; Mira Mezini; Christoph Bockisch (ECOOP, 2005)

Using Annotations to Check Structural Properties of Classes. - Michael Eichberg; Thorsten Schäfer; Mira Mezini (FASE, 2005)

MobCon: A Generative Middleware Framework for Java Mobile Applications. - Vasian Cepa; Mira Mezini (HICSS, 2005)

Aspect-oriented programming and modular reasoning. - Gregor Kiczales; Mira Mezini (ICSE, 2005)

Comprehensive Software Understanding with SEXTANT. - Michael Eichberg; Michael Haupt; Mira Mezini; Thorsten Schäfer (ICSM, 2005)

Using Aspects for Security Engineering of Web Service Compositions. - Anis Charfi; Mira Mezini (ICWS, 2005)

Envelope-Based Weaving for Faster Aspect Compilers. - Christoph Bockisch; Michael Haupt; Mira Mezini; Ralf Mitschke (NODe/GSEM, 2005)

An execution layer for aspect-oriented programming languages. - Michael Haupt; Mira Mezini; Christoph Bockisch; Tom Dinkelaker; Michael Eichberg; Michael Krebs (VEE, 2005)

Towards More Flexibility in Software Visualization Tools. - Thorsten Schäfer; Mira Mezini (VISSOFT, 2005)

Middleware services for web service compositions. - Anis Charfi; Mira Mezini (WWW (Special interest tracks and posters), 2005)

Virtual Machine Support for Aspects with Advice Instance Tables. - Michael Haupt; Mira Mezini (Obj. Logiciel Base données Réseaux, 2005)

Middleware Support for BPEL Workflows in the AO4BPEL Engine. - Anis Charfi; Mira Mezini (BPM Demos, 2006)

QScope: an Open, Extensible Framework for Measuring Software Projects. - Michael Eichberg; Daniel Germanus; Mira Mezini; Lukas Mrokon; Thorsten Schäfer (CSMR, 2006)

FrUiT: IDE support for framework understanding. - Marcel Bruch; Thorsten Schäfer; Mira Mezini (ETX, 2006)

Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL. - Anis Charfi; Benjamin Schmeling; Andreas Heizenreder; Mira Mezini (ECOWS, 2006)

Reliable Messaging for BPEL Processes. - Anis Charfi; Benjamin Schmeling; Mira Mezini (ICWS, 2006)

Integrating and Scheduling an Open Set of Static Analyses. - Michael Eichberg; Mira Mezini; Sven Kloppenburg; Klaus Ostermann; Benjamin Rank (ASE, 2006)

Adapting virtual machine techniques for seamless aspect support. - Christoph Bockisch; Matthew Arnold; Tom Dinkelaker; Mira Mezini (OOPSLA, 2006)

Efficient control flow quantification. - Christoph Bockisch; Sebastian Kanthak; Michael Haupt; Matthew Arnold; Mira Mezini (OOPSLA, 2006)

Pegasus: first steps toward a naturalistic programming language. - Roman Knöll; Mira Mezini (OOPSLA Companion, 2006)

Aspect-Oriented Workflow Languages. - Anis Charfi; Mira Mezini (OTM Conferences (1), 2006)

Incremental Confined Types Analysis. - Michael Eichberg; Sebastian Kanthak; Sven Kloppenburg; Mira Mezini; Tobias Schuh (LDTA@ETAPS, 2006)

An Overview of CaesarJ. - Ivica Aracic; Vaidas Gasiunas; Mira Mezini; Klaus Ostermann (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

The SEXTANT Software Exploration Tool. - Thorsten Schäfer; Michael Eichberg; Michael Haupt; Mira Mezini (IEEE Trans. Software Eng., 2006)

A flexible architecture for pointcut-advice language implementations. - Christoph Bockisch; Mira Mezini (VMIL, 2007)

Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (COORDINATION, 2007)

Management Requirements of Web Service Compositions. - Anis Charfi; Rainer Berbner; Mira Mezini; Ralf Steinmetz (WEWST, 2007)

Transactional BPEL Processes with AO4BPEL Aspects. - Anis Charfi; Benjamin Schmeling; Mira Mezini (ECOWS, 2007)

Dependent classes. - Vaidas Gasiunas; Mira Mezini; Klaus Ostermann (OOPSLA, 2007)

Automatic Incrementalization of Prolog Based Static Analyses. - Michael Eichberg; Matthias Kahl; Diptikalyan Saha; Mira Mezini; Klaus Ostermann (PADL, 2007)

Clustering for Generating Framework Top-Level Views. - Thorsten Schäfer; Ivica Aracic; Matthias Merz; Mira Mezini; Klaus Ostermann (WCRE, 2007)

AO4BPEL: An Aspect-oriented Extension to BPEL. - Anis Charfi; Mira Mezini (World Wide Web, 2007)

Dynamically linked domain-specific extensions for advice languages. - Tom Dinkelaker; Mira Mezini (DSAL@AOSD, 2008)

Aspect-based enforcement of formal delegation policies. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel (CRiSIS, 2008)

Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch. - Andreas Sewe; Christoph Bockisch; Mira Mezini (FOAL, 2008)

Defining and continuous checking of structural program dependencies. - Michael Eichberg; Sven Kloppenburg; Karl Klose; Mira Mezini (ICSE, 2008)

Mining framework usage changes from instantiation code. - Thorsten Schäfer; Jan Jonas; Mira Mezini (ICSE, 2008)

Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model. - Andreas Sewe; Christoph Bockisch; Mira Mezini (VMIL@SPLASH, 2008)

Improving code recommender systems by incorporating domain knowledge and graphical models. - Marcel Bruch; Mira Mezini (RSSE@SIGSOFT FSE, 2008)

On evaluating recommender systems for API usages. - Marcel Bruch; Thorsten Schäfer; Mira Mezini (RSSE@SIGSOFT FSE, 2008)

Language support for model-driven software development. - Vasian Cepa; Mira Mezini (Sci. Comput. Program., 2008)

The art of the meta-aspect protocol. - Tom Dinkelaker; Mira Mezini; Christoph Bockisch (AOSD, 2009)

Untangling crosscutting concerns in domain-specific languages with domain-specific join points. - Tom Dinkelaker; Martin Monperrus; Mira Mezini (DSAL@AOSD, 2009)

Specifying and Monitoring Temporal Properties in Web Services Compositions. - Slim Kallel; Anis Charfi; Tom Dinkelaker; Mira Mezini; Mohamed Jmaiel (ECOWS, 2009)

From Formal Access Control Policies to Runtime Enforcement Aspects. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Karl Klose (ESSoS, 2009)

A Plug-in Architecture for Self-Adaptive Web Service Compositions. - Anis Charfi; Tom Dinkelaker; Mira Mezini (ICWS, 2009)

pi: a pattern language. - Roman Knöll; Mira Mezini (OOPSLA, 2009)

VM performance evaluation with functional models: an optimist's outlook. - Jan Sinschek; Andreas Sewe; Mira Mezini (VMIL@SPLASH, 2009)

Learning from examples to improve code completion systems. - Marcel Bruch; Martin Monperrus; Mira Mezini (ESEC/SIGSOFT FSE, 2009)

A holistic approach for access control policies: from formal specification to aspect-based enforcement. - Slim Kallel; Anis Charfi; Mira Mezini; Mohamed Jmaiel; Andreas Sewe (Int. J. Inf. Comput. Secur., 2009)

An architecture for composing embedded domain-specific languages. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (AOSD, 2010)

Component Composition Using Feature Models. - Michael Eichberg; Karl Klose; Ralf Mitschke; Mira Mezini (CBSE, 2010)

Aspect-Oriented Business Process Modeling with AO4BPMN. - Anis Charfi; Heiko Müller 004; Mira Mezini (ECMFA, 2010)

Model-Driven Engineering of Machine Executable Code. - Michael Eichberg; Martin Monperrus; Sven Kloppenburg; Mira Mezini (ECMFA, 2010)

Detecting Missing Method Calls in Object-Oriented Software. - Martin Monperrus; Marcel Bruch; Mira Mezini (ECOOP, 2010)

First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010). - Julia Rubin; Goetz Botterweck; Mira Mezini; Itay Maman; Andreas Pleuss (ICSE (2), 2010)

Non-functional concerns in web services: requirements and state of the art analysis. - Benjamin Schmeling; Anis Charfi; Mira Mezini (iiWAS, 2010)

Mining subclassing directives to improve framework reuse. - Marcel Bruch; Mira Mezini; Martin Monperrus (MSR, 2010)

Headroom-based pretenuring: dynamically pretenuring objects that live "long enough". - Andreas Sewe; Dingwen Yuan; Jan Sinschek; Mira Mezini (PPPJ, 2010)

IDE 2.0: collective intelligence in software development. - Marcel Bruch; Eric Bodden; Martin Monperrus; Mira Mezini (FoSER, 2010)

EScala: modular event-driven object interactions in scala. - Vaidas Gasiunas; Lucas Satabin; Mira Mezini; Angel Núñez; Jacques Noyé (AOSD, 2011)

Magic for the masses: safer high-level low-level programming through customizable static analyses. - Ralf Mitschke; Andreas Sewe; Mira Mezini (MISS@AOSD, 2011)

Event-driven programming with EScala. - Lucas Satabin; Mira Mezini (AOSD (Companion), 2011)

Composing Non-functional Concerns in Web Services. - Benjamin Schmeling; Anis Charfi; Rainer Thome; Mira Mezini (ECOWS, 2011)

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. - Eric Bodden; Andreas Sewe; Jan Sinschek; Hela Oueslati; Mira Mezini (ICSE, 2011)

Composing Non-functional Concerns in Composite Web Services. - Benjamin Schmeling; Anis Charfi; Mira Mezini (ICWS, 2011)

Querying source code with natural language. - Markus Kimmig; Martin Monperrus; Mira Mezini (ASE, 2011)

Naturalistic types. - Roman Knöll; Vaidas Gasiunas; Mira Mezini (Onward!, 2011)

JP2: collecting dynamic bytecode metrics in JVMs. - Aibek Sarimbekov; Walter Binder; Andreas Sewe; Mira Mezini; Alex Villazón (OOPSLA Companion, 2011)

Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining. - Andreas Sewe; Jannik Jochem; Mira Mezini (SPLASH Workshops, 2011)

Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine. - Andreas Sewe; Mira Mezini; Aibek Sarimbekov; Walter Binder (OOPSLA, 2011)

Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine. - Aibek Sarimbekov; Andreas Sewe; Walter Binder; Philippe Moret; Martin Schoeberl; Mira Mezini (PPPJ, 2011)

Incremental concrete syntax for embedded languages. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (SAC, 2011)

An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages. - Christoph Bockisch; Andreas Sewe; Mira Mezini; Mehmet Aksit (TOOLS (49), 2011)

Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine. - Aibek Sarimbekov; Philippe Moret; Walter Binder; Andreas Sewe; Mira Mezini (Bytecode@ETAPS, 2011)

On the extensibility requirements of business applications. - Mohamed Aly; Anis Charfi; Mira Mezini (NEMARA@AOSD, 2012)

Towards Conflict-Free Composition of Non-functional Concerns. - Benjamin Schmeling; Anis Charfi; Marko Martin; Mira Mezini (CAiSE, 2012)

A recommendation system for exception handling code. - Eiji Adachi Barbosa; Alessandro F. Garcia 001; Mira Mezini (WEH@ICSE, 2012)

Semi-automatically extracting FAQs to improve accessibility of software development knowledge. - Stefan Henß; Martin Monperrus; Mira Mezini (ICSE, 2012)

Dynamic Anomaly Detection for More Trustworthy Outsourced Computation. - Sami Alsouri; Jan Sinschek; Andreas Sewe; Eric Bodden; Mira Mezini; Stefan Katzenbeisser 001 (ISC, 2012)

new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs. - Andreas Sewe; Mira Mezini; Aibek Sarimbekov; Danilo Ansaloni; Walter Binder; Nathan P. Ricci; Samuel Z. Guyer (ISMM, 2012)

Heuristic Strategies for Recommendation of Exception Handling Code. - Eiji Adachi Barbosa; Alessandro Garcia 001; Mira Mezini (SBES, 2012)

Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation. - Yudi Zheng; Danilo Ansaloni; Lukás Marek; Andreas Sewe; Walter Binder; Alex Villazón; Petr Tuma 001; Zhengwei Qi; Mira Mezini (TOOLS (50), 2012)

What should developers be aware of? An empirical study on the directives of API documentation. - Martin Monperrus; Michael Eichberg; Elif Tekes; Mira Mezini (Empir. Softw. Eng., 2012)

An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL. - Anis Charfi; Benjamin Schmeling; Mira Mezini (Int. J. Web Grid Serv., 2012)

A survey on non-functional concerns in web services. - Benjamin Schmeling; Anis Charfi; Steffen Heinzl; Mira Mezini (Int. J. Web Inf. Syst., 2012)

An In-Depth Look at ALIA4J. - Christoph Bockisch; Andreas Sewe; Haihan Yin; Mira Mezini; Mehmet Aksit (J. Object Technol., 2012)

Understanding multilayered applications for building extensions. - Mohamed Aly; Anis Charfi; Di Wu; Mira Mezini (CoCoS@AOSD, 2013)

Reactive behavior in object-oriented applications: an analysis and a research roadmap. - Guido Salvaneschi; Mira Mezini (AOSD, 2013)

Towards Distributed Reactive Programming. - Guido Salvaneschi; Joscha Drechsler; Mira Mezini (COORDINATION, 2013)

Finding Duplicates of Your Yet Unwritten Bug Report. - Johannes Lerch; Mira Mezini (CSMR, 2013)

XPoints: Extension Interfaces for Multilayered Applications. - Mohamed Aly; Anis Charfi; Sebastian Erdweg; Mira Mezini (EDOC, 2013)

Template constructors for reusable object initialization. - Marko Martin; Mira Mezini; Sebastian Erdweg (GPCE, 2013)

Building extensions for applications: Towards the understanding of extension possibilities. - Mohamed Aly; Anis Charfi; Mira Mezini (ICPC, 2013)

SPLLIFT: statically analyzing software product lines in minutes instead of years. - Eric Bodden; Társis Tolêdo; Márcio Ribeiro 001; Claus Brabrand; Paulo Borba; Mira Mezini (PLDI, 2013)

Incremental concrete syntax for embedded languages with support for separate compilation. - Tom Dinkelaker; Michael Eichberg; Mira Mezini (Sci. Comput. Program., 2013)

Modular Specification and Checking of Structural Dependencies. - Ralf Mitschke; Michael Eichberg; Mira Mezini; Alessandro Garcia 001; Isela Macia Bertran (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Towards Reactive Programming for Object-Oriented Applications. - Guido Salvaneschi; Mira Mezini (LNCS Trans. Aspect Oriented Softw. Dev., 2013)

Detecting missing method calls as violations of the majority rule. - Martin Monperrus; Mira Mezini (ACM Trans. Softw. Eng. Methodol., 2013)

Automated API Property Inference Techniques. - Martin P. Robillard; Eric Bodden; David Kawrykow; Mira Mezini; Tristan Ratchford (IEEE Trans. Software Eng., 2013)

Finding bugs in program generators by dynamic analysis of syntactic language constraints. - Sebastian Erdweg; Vlad A. Vergu; Mira Mezini; Eelco Visser (MODULARITY (Companion), 2014)

Modular specification and dynamic enforcement of syntactic language constraints when generating code. - Sebastian Erdweg; Vlad A. Vergu; Mira Mezini; Eelco Visser (MODULARITY, 2014)

Blending and reusing rules for architectural degradation prevention. - Alessandro Cavalcante Gurgel; Isela Macia Bertran; Alessandro Garcia 001; Arndt von Staa; Mira Mezini; Michael Eichberg; Ralf Mitschke (MODULARITY, 2014)

JEScala: modular coordination with declarative events and joins. - Jurgen Michael Van Ham; Guido Salvaneschi; Mira Mezini; Jacques Noyé (MODULARITY, 2014)

REScala: bridging between object-oriented and functional style in reactive applications. - Guido Salvaneschi; Gerold Hintz; Mira Mezini (MODULARITY, 2014)

Towards virtual traits in Scala. - Manuel Weiel; Ingo Maier; Sebastian Erdweg; Michael Eichberg; Mira Mezini (SCALA@ECOOP, 2014)

Weaving Aspects and Business Processes through Model Transformation. - Heiko Witteborg; Anis Charfi; Daniel Colomer Collell; Mira Mezini (ESOCC, 2014)

Method-call recommendations from implicit developer feedback. - Sven Amann; Sebastian Proksch 001; Mira Mezini (CSI-SE, 2014)

Towards standardized evaluation of developer-assistance tools. - Sebastian Proksch 001; Sven Amann; Mira Mezini (RSSE@ICSE, 2014)

Distributed REScala: an update algorithm for distributed reactive programming. - Joscha Drechsler; Guido Salvaneschi; Ragnar Mogk; Mira Mezini (OOPSLA, 2014)

i3QL: language-integrated live data views. - Ralf Mitschke; Sebastian Erdweg; Mirko Köhler 001; Mira Mezini; Guido Salvaneschi (OOPSLA, 2014)

SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years. - Eric Bodden; Társis Tolêdo; Márcio Ribeiro 001; Claus Brabrand; Paulo Borba; Mira Mezini (Software Engineering, 2014)

FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases. - Johannes Lerch; Ben Hermann; Eric Bodden; Mira Mezini (SIGSOFT FSE, 2014)

JP2: Call-site aware calling context profiling for the Java Virtual Machine. - Aibek Sarimbekov; Andreas Sewe; Walter Binder; Philippe Moret; Mira Mezini (Sci. Comput. Program., 2014)

Programming with Implicit Flows. - Guido Salvaneschi; Patrick Eugster; Mira Mezini (IEEE Softw., 2014)

Using Vampire in Soundness Proofs of Type Systems. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire Workshop, 2015)

Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). - Johannes Lerch; Johannes Späth; Eric Bodden; Mira Mezini (ASE, 2015)

Towards secure integration of cryptographic software. - Steven Arzt; Sarah Nadi; Karim Ali 001; Eric Bodden; Sebastian Erdweg; Mira Mezini (Onward!, 2015)

A co-contextual formulation of type rules and its application to incremental type checking. - Sebastian Erdweg; Oliver Bracevac; Edlira Kuci; Matthias Krebs; Mira Mezini (OOPSLA, 2015)

Type systems for the masses: deriving soundness proofs and efficient checkers. - Sylvia Grewe; Sebastian Erdweg; Pascal Wittmann; Mira Mezini (Onward!, 2015)

Toward incremental type checking for Java. - Edlira Kuci; Sebastian Erdweg; Mira Mezini (SPLASH (Companion Volume), 2015)

Abmash: mashing up legacy Web applications by automated imitation of human actions. - Alper Ortac; Martin Monperrus; Mira Mezini (Softw. Pract. Exp., 2015)

Intelligent Code Completion with Bayesian Networks. - Sebastian Proksch 001; Johannes Lerch; Mira Mezini (ACM Trans. Softw. Eng. Methodol., 2015)

Cooperative decoupled processes: the e-calculus and linearity. - Andi Bejleri; Mira Mezini; Patrick Eugster (MODULARITY, 2016)

CPL: a core language for cloud computing. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (MODULARITY, 2016)

Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. - Sylvia Grewe; Sebastian Erdweg; Mira Mezini (Vampire@IJCAR, 2016)

Debugging for reactive programming. - Guido Salvaneschi; Mira Mezini (ICSE, 2016)

Debugging reactive programming with reactive inspector. - Guido Salvaneschi; Mira Mezini (ICSE (Companion Volume), 2016)

Evaluating the evaluations of code recommender systems: a reality check. - Sebastian Proksch 001; Sven Amann; Sarah Nadi; Mira Mezini (ASE, 2016)

MUBench: a benchmark for API-misuse detectors. - Sven Amann; Sarah Nadi; Hoan Anh Nguyen; Tien N. Nguyen; Mira Mezini (MSR, 2016)

A dataset of simplified syntax trees for C#. - Sebastian Proksch 001; Sven Amann; Sarah Nadi; Mira Mezini (MSR, 2016)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; Michael Raulf; Mira Mezini (PPDP, 2016)

SecureScala: Scala embedding of secure computations. - Markus Hauck; Savvas Savvides; Patrick Eugster; Mira Mezini; Guido Salvaneschi (SCALA@SPLASH, 2016)

Hidden Truths in Dead Software Paths. - Michael Eichberg; Ben Hermann; Mira Mezini; Leonid Glanz (Software Engineering, 2016)

Getting to know you: towards a capability model for Java. - Ben Hermann; Michael Reif; Michael Eichberg; Mira Mezini (Software Engineering, 2016)

An empirical study on program comprehension with reactive programming. - Guido Salvaneschi; Sven Amann; Sebastian Proksch 001; Mira Mezini (Software Engineering, 2016)

Addressing scalability in API method call analytics. - Ervina Çergani; Sebastian Proksch 001; Sarah Nadi; Mira Mezini (SWAN@SIGSOFT FSE, 2016)

Call graph construction for Java libraries. - Michael Reif; Michael Eichberg; Ben Hermann; Johannes Lerch; Mira Mezini (SIGSOFT FSE, 2016)

A Study of Visual Studio Usage in Practice. - Sven Amann; Sebastian Proksch 001; Sarah Nadi; Mira Mezini (SANER, 2016)

CPL: A Core Language for Cloud Computing - Technical Report. - Oliver Bracevac; Sebastian Erdweg; Guido Salvaneschi; Mira Mezini (CoRR, 2016)

A Co-contextual Type Checker for Featherweight Java . - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (ECOOP, 2017)

CogniCrypt: supporting developers in using cryptography. - Stefan Krüger; Sarah Nadi; Michael Reif; Karim Ali 001; Mira Mezini; Eric Bodden; Florian Göpfert; Felix Günther 001; Christian Weinert; Daniel Demmler; Ram Kamath (ASE, 2017)

DTN-RPC: Remote procedure calls for disruption-tolerant networking. - Artur Sterz; Lars Baumgärtner; Ragnar Mogk; Mira Mezini; Bernd Freisleben (Networking, 2017)

Hermes: assessment and creation of effective test corpora. - Michael Reif; Michael Eichberg; Ben Hermann; Mira Mezini (SOAP@PLDI, 2017)

"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? - Sarah Nadi; Stefan Krüger; Mira Mezini; Eric Bodden (Software Engineering, 2017)

CodeMatch: obfuscation won't conceal your repackaged app. - Leonid Glanz; Sven Amann; Michael Eichberg; Michael Reif; Ben Hermann; Johannes Lerch; Mira Mezini (ESEC/SIGSOFT FSE, 2017)

Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. - Philipp Holzinger; Ben Hermann; Johannes Lerch; Eric Bodden; Mira Mezini (IEEE Symposium on Security and Privacy, 2017)

Enriching in-IDE process information with fine-grained source code history. - Sebastian Proksch 001; Sarah Nadi; Sven Amann; Mira Mezini (SANER, 2017)

A Co-contextual Type Checker for Featherweight Java (incl. Proofs). - Edlira Kuci; Sebastian Erdweg; Oliver Bracevac; Andi Bejleri; Mira Mezini (CoRR, 2017)

CrySL: Validating Correct Usage of Cryptographic APIs. - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (CoRR, 2017)

A Systematic Evaluation of API-Misuse Detectors. - Sven Amann; Hoan Anh Nguyen; Sarah Nadi; Tien N. Nguyen; Mira Mezini (CoRR, 2017)

On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. - Guido Salvaneschi; Sebastian Proksch 001; Sven Amann; Sarah Nadi; Mira Mezini (IEEE Trans. Software Eng., 2017)

Opportunistic named functions in disruption-tolerant emergency networks. - Pablo Graubner; Patrick Lampe; Jonas Hochst; Lars Baumgärtner; Mira Mezini; Bernd Freisleben (CF, 2018)

Multimodal Complex Event Processing on Mobile Devices. - Pablo Graubner; Christoph Thelen; Michael Körber; Artur Sterz; Guido Salvaneschi; Mira Mezini; Bernhard Seeger; Bernd Freisleben (DEBS, 2018)

Fault-tolerant Distributed Reactive Programming. - Ragnar Mogk; Lars Baumgärtner; Guido Salvaneschi; Bernd Freisleben; Mira Mezini (ECOOP, 2018)

On the Impact of Order Information in API Usage Patterns. - Ervina Çergani; Mira Mezini (ICSOFT (Selected Papers), 2018)

Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. - Ervina Çergani; Sebastian Proksch 001; Sarah Nadi; Mira Mezini (ICSOFT, 2018)

Lattice based modularization of static analyses. - Michael Eichberg; Florian Kübler; Dominik Helm; Michael Reif; Guido Salvaneschi; Mira Mezini (ISSTA/ECOOP Workshops, 2018)

Systematic evaluation of the unsoundness of call graph construction algorithms for Java. - Michael Reif; Florian Kübler; Michael Eichberg; Mira Mezini (ISSTA/ECOOP Workshops, 2018)

Incremental overload resolution in object-oriented programming languages. - Tamás Szabó; Edlira Kuci; Matthijs Bijman; Mira Mezini; Sebastian Erdweg (ISSTA/ECOOP Workshops, 2018)

System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Mira Mezini (PPDP, 2018)

Towards safe modular composition of network functions. - Matthias Eichholz 001; Guido Salvaneschi; Mira Mezini (Programming, 2018)

Reactive programming experience with REScala. - Ragnar Mogk; Guido Salvaneschi; Mira Mezini (Programming, 2018)

CodeMatch. - Leonid Glanz; Sven Amann; Michael Eichberg; Michael Reif; Mira Mezini (Software Engineering, 2018)

Call Graph Construction for Java Libraries. - Michael Reif; Michael Eichberg; Mira Mezini (Software Engineering, 2018)

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (Dagstuhl Artifacts Ser., 2018)

Versatile event correlation with algebraic effects. - Oliver Bracevac; Nada Amin; Guido Salvaneschi; Sebastian Erdweg; Patrick Eugster; Mira Mezini (Proc. ACM Program. Lang., 2018)

Thread-safe reactive programming. - Joscha Drechsler; Ragnar Mogk; Guido Salvaneschi; Mira Mezini (Proc. ACM Program. Lang., 2018)

Exploration of language specifications by compilation to first-order logic. - Sylvia Grewe; Sebastian Erdweg; André Pacak; Michael Raulf; Mira Mezini (Sci. Comput. Program., 2018)

Cooperative decoupled processes. - Andi Bejleri; Mira Mezini; Patrick Eugster; Elton Domnori (Softw. Qual. J., 2018)

DTN7: An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7. - Alvar Penning; Lars Baumgärtner; Jonas Höchst; Artur Sterz; Mira Mezini; Bernd Freisleben (ADHOC-NOW, 2019)

Online Reprogrammable Multi Tenant Switches. - Johannes Krude; Jaco A. Hofmann; Matthias Eichholz 001; Klaus Wehrle; Andreas Koch 001; Mira Mezini (ENCP@CoNEXT, 2019)

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. - Matthias Eichholz 001; Eric Hayden Campbell; Nate Foster; Guido Salvaneschi; Mira Mezini (ECOOP, 2019)

Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. - Lars Baumgärtner; Jonas Höchst; Patrick Lampe; Ragnar Mogk; Artur Sterz; Pascal Weisenburger; Mira Mezini; Bernd Freisleben (GHTC, 2019)

Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. - Michael Reif; Florian Kübler; Michael Eichberg; Dominik Helm; Mira Mezini (ISSTA, 2019)

A dataset of parametric cryptographic misuses. - Anna-Katharina Wickert; Michael Reif; Michael Eichberg; Anam Dodhy; Mira Mezini (MSR, 2019)

GRASS: generic reactive application-specific scheduling. - Marcel Blöcher; Matthias Eichholz 001; Pascal Weisenburger; Patrick Eugster; Mira Mezini; Guido Salvaneschi (REBLS@SPLASH, 2019)

Language support for multiple privacy enhancing technologies. - Aditya Oak; Mira Mezini; Guido Salvaneschi (Programming, 2019)

A Unified Lattice Model and Framework for Purity Analyses. - Dominik Helm; Florian Kübler; Michael Eichberg; Michael Reif; Mira Mezini (SE/SWM, 2019)

Optimizing Data Plane Programs for the Network. - Johannes Krude; Matthias Eichholz 001; Maximilian Winck; Klaus Wehrle; Mira Mezini (NetPL@SIGCOMM, 2019)

Type-safe, Polyvariadic Event Correlation. - Oliver Bracevac; Guido Salvaneschi; Sebastian Erdweg; Mira Mezini (CoRR, 2019)

A fault-tolerant programming model for distributed interactive applications. - Ragnar Mogk; Joscha Drechsler; Guido Salvaneschi; Mira Mezini (Proc. ACM Program. Lang., 2019)

Language-integrated privacy-aware distributed queries. - Guido Salvaneschi; Mirko Köhler 001; Daniel Sokolowski; Philipp Haller; Sebastian Erdweg; Mira Mezini (Proc. ACM Program. Lang., 2019)

Comprehensive Multiparty Session Types. - Andi Bejleri; Elton Domnori; Malte Viering; Patrick Eugster; Mira Mezini (Art Sci. Eng. Program., 2019)

A Systematic Evaluation of Static API-Misuse Detectors. - Sven Amann; Hoan Anh Nguyen; Sarah Nadi; Tien N. Nguyen; Mira Mezini (IEEE Trans. Software Eng., 2019)

Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. - Leonid Glanz; Patrick Müller; Lars Baumgärtner; Michael Reif; Sven Amann; Pauline Anthonysamy; Mira Mezini (AsiaCCS, 2020)

LoRAgent: A DTN-based Location-aware Communication System using LoRa. - Lars Baumgärtner; Patrick Lieser; Julian Zobel; Bastian Bloessl; Ralf Steinmetz; Mira Mezini (GHTC, 2020)

A programming model for semi-implicit parallelization of static analyses. - Dominik Helm; Florian Kübler; Jan Thomas Kölzer; Philipp Haller; Michael Eichberg; Guido Salvaneschi; Mira Mezini (ISSTA, 2020)

TACAI: an intermediate representation based on abstract interpretation. - Michael Reif; Florian Kübler; Dominik Helm; Ben Hermann; Michael Eichberg; Mira Mezini (SOAP@PLDI, 2020)

Investigating Next Steps in Static API-Misuse Detection. - Sven Amann; Hoan Anh Nguyen; Sarah Nadi; Tien N. Nguyen; Mira Mezini (SE, 2020)

Modular collaborative program analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (ESEC/SIGSOFT FSE, 2020)

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. - Lars Baumgärtner; Alexandra Dmitrienko; Bernd Freisleben; Alexander Gruler; Jonas Höchst; Joshua Kühlberg; Mira Mezini; Richard Mitev; Markus Miettinen; Anel Muhamedagic; Thien Duc Nguyen; Alvar Penning; et al. (TrustCom, 2020)

Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. - Johannes Lauinger; Lars Baumgärtner; Anna-Katharina Wickert; Mira Mezini (TrustCom, 2020)

Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. - Lars Baumgärtner; Alexandra Dmitrienko; Bernd Freisleben; Alexander Gruler; Jonas Höchst; Joshua Kühlberg; Mira Mezini; Markus Miettinen; Anel Muhamedagic; Thien Duc Nguyen; Alvar Penning; Dermot Frederik Pustelnik; et al. (CoRR, 2020)

Artifact for Modular Collaborative Program Analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (Zenodo, 2020)

Evaluation Results for Modular Collaborative Program Analysis in OPAL. - Dominik Helm; Florian Kübler; Michael Reif; Michael Eichberg; Mira Mezini (Zenodo, 2020)

Dealing with Variability in API Misuse Specification. - Rodrigo Bonifácio; Stefan Krüger; Krishna Narasimhan; Eric Bodden; Mira Mezini (ECOOP, 2021)

Python Crypto Misuses in the Wild. - Anna-Katharina Wickert; Lars Baumgärtner; Florian Breitfelder; Mira Mezini (ESEM, 2021)

Modeling Civilian Mobility in Large-Scale Disasters. - Julian Zobel; Patrick Lieser; Tobias Meuser; Lars Baumgärtner; Mira Mezini; Ralf Steinmetz (ISCRAM, 2021)

NerdBug: automated bug detection in neural networks. - Foad Jafarinejad; Krishna Narasimhan; Mira Mezini (AISTA@ISSTA, 2021)

Impact of programming languages on machine learning bugs. - Sebastian Sztwiertnia; Maximilian Grübel; Amine Chouchane; Daniel Sokolowski; Krishna Narasimhan; Mira Mezini (AISTA@ISSTA, 2021)

Fex: Assisted Identification of Domain Features from C Programs. - Patrick Müller; Krishna Narasimhan; Mira Mezini (SCAM, 2021)

Programming and execution models for next generation code intelligence systems (keynote). - Mira Mezini (ESEC/SIGSOFT FSE, 2021)

ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. - Artur Sterz; Matthias Eichholz 001; Ragnar Mogk; Lars Baumgärtner; Pablo Graubner; Matthias Hollick; Mira Mezini; Bernd Freisleben (Art Sci. Eng. Program., 2021)

CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. - Stefan Krüger; Johannes Späth; Karim Ali 001; Eric Bodden; Mira Mezini (IEEE Trans. Software Eng., 2021)

Dealing with Variability in API Misuse Specification (Artifact Package). - Rodrigo Bonifácio; Stefan Krüger; Krishna Narasimhan; Eric Bodden; Mira Mezini (Zenodo, 2021)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ECOOP, 2022)

CiFi: Versatile Analysis of Class and Field Immutability. - Tobias Roth; Dominik Helm; Michael Reif; Mira Mezini (Software Engineering, 2022)

jGuard: Programming Misuse-Resilient APIs. - Simon Binder; Krishna Narasimhan; Svenja Kernig; Mira Mezini (SLE, 2022)

To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. - Anna-Katharina Wickert; Lars Baumgärtner; Michael Schlichtig; Krishna Narasimhan; Mira Mezini (TrustCom, 2022)

CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. - Michael Schlichtig; Anna-Katharina Wickert; Stefan Krüger; Eric Bodden; Mira Mezini (CoRR, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (CoRR, 2022)

Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (Dagstuhl Artifacts Ser., 2022)

Dependently-typed data plane programming. - Matthias Eichholz 001; Eric Hayden Campbell; Matthias Krebs; Nate Foster; Mira Mezini (Proc. ACM Program. Lang., 2022)

Towards Code Generation from BDD Test Case Specifications: A Vision. - Leon Chemnitz; David Reichenbach; Hani Aldebes; Mariam Naveed; Krishna Narasimhan; Mira Mezini (CAIN, 2023)

LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (ECOOP, 2023)

Algebraic Replicated Data Types: Programming Secure Local-First Software. - Christian Kuessner; Ragnar Mogk; Anna-Katharina Wickert; Mira Mezini (ECOOP, 2023)

A Direct-Style Effect Notation for Sequential and Parallel Programs. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (ECOOP, 2023)

Using Rewrite Strategies for Efficient Functional Automatic Differentiation. - Timon Böhler; David Richter 001; Mira Mezini (FTfJP@ECOOP, 2023)

UnGoML: Automated Classification of unsafe Usages in Go. - Anna-Katharina Wickert; Clemens Damke; Lars Baumgärtner; Eyke Hüllermeier; Mira Mezini (MSR, 2023)

Securing Your Crypto-API Usage Through Tool Support - A Usability Study. - Stefan Krüger; Michael Reif; Anna-Katharina Wickert; Sarah Nadi; Karim Ali 001; Eric Bodden; Yasemin Acar; Mira Mezini; Sascha Fahl (SecDev, 2023)

WasmA: A Static WebAssembly Analysis Framework for Everyone. - Florian Breitfelder; Tobias Roth; Lars Baumgärtner; Mira Mezini (SANER, 2023)

Evaluating and improving transformers pre-trained on ASTs for Code Completion. - Marcel Ochs; Krishna Narasimhan; Mira Mezini (SANER, 2023)

LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (Dagstuhl Artifacts Ser., 2023)

Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). - Christian Kuessner; Ragnar Mogk; Anna-Katharina Wickert; Mira Mezini (Dagstuhl Artifacts Ser., 2023)

A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (Dagstuhl Artifacts Ser., 2023)

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. - David Richter 001; David Kretzler; Pascal Weisenburger; Guido Salvaneschi; Sebastian Faust; Mira Mezini (ACM Trans. Program. Lang. Syst., 2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

Artifact for Paper "A Modular Soundness Theory for the Blackboard Analysis Architecture". - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (Zenodo, 2023)

A Critical Study of What Code-LLMs (Do Not) Learn. - Abhinav Anand; Shweta Verma; Krishna Narasimhan; Mira Mezini (ACL (Findings), 2024)

Transitions in Wireless Networks: Selected Results of Collaborative Research in MAKI. - Bernd Freisleben; Oliver Hinz; Matthias Hollick; Anja Klein 002; Mira Mezini; Andrea Ortiz (From Multimedia Communications to the Future Internet, 2024)

Residuals for Equation Discovery. - Jannis Brugger; Viktor Pfanschilling; Mira Mezini; Stefan Kramer 001 (DS (LB), 2024)

Compiling with Arrays. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (ECOOP, 2024)

A Modular Soundness Theory for the Blackboard Analysis Architecture. - Sven Keidel; Dominik Helm; Tobias Roth; Mira Mezini (ESOP (2), 2024)

Incrementalizing Polynomial Functors. - Timon Böhler; David Richter 001; Mira Mezini (FTfJP@ECOOP, 2024)

Towards Trustworthy AI Software Development Assistance. - Daniel Maninger; Krishna Narasimhan; Mira Mezini (NIER@ICSE, 2024)

Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. - Anna-Katharina Wickert; Michael Schlichtig; Marvin Vogel; Lukas Winter; Mira Mezini; Eric Bodden (SANER, 2024)

Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the Unknown. - Cedric Derstroff; Jannis Brugger; Jannis Blüml; Mira Mezini; Stefan Kramer 001; Kristian Kersting (CoRR, 2024)

Distributed Locking as a Data Type. - Julian Haas; Ragnar Mogk; Annette Bieniusa; Mira Mezini (CoRR, 2024)

Problem Solving Through Human-AI Preference-Based Cooperation. - Subhabrata Dutta; Timo Kaufmann; Goran Glavas; Ivan Habernal; Kristian Kersting; Frauke Kreuter; Mira Mezini; Iryna Gurevych; Eyke Hüllermeier; Hinrich Schütze (CoRR, 2024)

Compiling with Arrays (Artifact). - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (Dagstuhl Artifacts Ser., 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

LoRe: A Programming Model for Verifiably Safe Local-first Software. - Julian Haas; Ragnar Mogk; Elena Yanakieva; Annette Bieniusa; Mira Mezini (ACM Trans. Program. Lang. Syst., 2024)

Total Recall? How Good are Static Call Graphs Really? - Companion Artifact. - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Zenodo, 2024)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features - Companion Artifact. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

Artifact of the paper "AXA: Cross-Language Analysis through Integration of Single-Language Analyses". - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Zenodo, 2024)

stg-tud/ainf-compiling-with-arrays. - David Richter 001; Timon Böhler; Pascal Weisenburger; Mira Mezini (DROPS Artifacts, 2024)

Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). - Francisco Handrick da Costa; Ismael Medeiros; Leandro Oliveira; João Calássio; Rodrigo Bonifácio; Krishna Narasimhan; Mira Mezini; Márcio Ribeiro 001 (ECOOP, 2025)

Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs. - Marina Sakharova; Abhinav Anand; Mira Mezini (NAACL (Student Research Workshop), 2025)

Total Recall? How Good Are Static Call Graphs Really? - Dominik Helm; Sven Keidel; Anemone Kampkötter; Johannes Düsing; Tobias Roth; Ben Hermann; Mira Mezini (Software Engineering, 2025)

Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. - Dominik Helm; Tobias Roth; Sven Keidel; Michael Reif; Mira Mezini (Software Engineering, 2025)

AI-assisted Programming: From Intelligent Code Completion to Foundation Models: A Twenty-Year Journey. - Mira Mezini (Software Engineering, 2025)

AXA: Cross-Language Analysis through Integration of Single-Language Analyses. - Tobias Roth; Julius Näumann; Dominik Helm; Sven Keidel; Mira Mezini (Software Engineering, 2025)

Neural-Guided Equation Discovery. - Jannis Brugger; Mattia Cerrato; David Richter 001; Cedric Derstroff; Daniel Maninger; Mira Mezini; Stefan Kramer 001 (CoRR, 2025)

PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types. - Julian Haas; Ragnar Mogk; Annette Bieniusa; Mira Mezini (CoRR, 2025)

CodeSSM: Towards State Space Models for Code Understanding. - Shweta Verma; Abhinav Anand; Mira Mezini (CoRR, 2025)

Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification. - Francisco Handrick da Costa; Ismael Medeiros; Leandro Oliveira; João Calássio; Rodrigo Bonifácio; Krishna Narasimhan; Mira Mezini; Márcio Ribeiro 001 (CoRR, 2025)