| 2025 | DIS | Prompting Neural-Guided Equation Discovery Based on Residuals. | Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer |
| 2025 | ECOOP | Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper). | Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, Joo Calssio, Rodrigo Bonifcio, Krishna Narasimhan, Mira Mezini, Mrcio Ribeiro |
| 2025 | EMNLP | CodeSSM: Towards State Space Models for Code Understanding. | Shweta Verma, Abhinav Anand, Mira Mezini |
| 2025 | NAACL | Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs. | Marina Sakharova, Abhinav Anand, Mira Mezini |
| 2024 | ACL | A Critical Study of What Code-LLMs (Do Not) Learn. | Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini |
| 2024 | DIS | Residuals for Equation Discovery. | Jannis Brugger, Viktor Pfanschilling, Mira Mezini, Stefan Kramer |
| 2024 | ECOOP | Compiling with Arrays. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2024 | ESOP | A Modular Soundness Theory for the Blackboard Analysis Architecture. | Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini |
| 2024 | FTfJP | Incrementalizing Polynomial Functors. | Timon Bhler, David Richter, Mira Mezini |
| 2024 | ICSE | Towards Trustworthy AI Software Development Assistance. | Daniel Maninger, Krishna Narasimhan, Mira Mezini |
| 2024 | ISSTA | Total Recall? How Good Are Static Call Graphs Really? | Dominik Helm, Sven Keidel, Anemone Kampktter, Johannes Dsing, Tobias Roth, Ben Hermann, Mira Mezini |
| 2024 | ISSTA | Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features. | Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini |
| 2023 | CAIN | Towards Code Generation from BDD Test Case Specifications: A Vision. | Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini |
| 2023 | ECOOP | LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). | Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini |
| 2023 | ECOOP | Algebraic Replicated Data Types: Programming Secure Local-First Software. | Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini |
| 2023 | ECOOP | A Direct-Style Effect Notation for Sequential and Parallel Programs. | David Richter, Timon Bhler, Pascal Weisenburger, Mira Mezini |
| 2023 | FTfJP | Using Rewrite Strategies for Efficient Functional Automatic Differentiation. | Timon Bhler, David Richter, Mira Mezini |
| 2023 | MSR | UnGoML: Automated Classification of unsafe Usages in Go. | Anna-Katharina Wickert, Clemens Damke, Lars Baumgrtner, Eyke Hllermeier, Mira Mezini |
| 2022 | ECOOP | Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). | David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini |
| 2022 | TrustCom | To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. | Anna-Katharina Wickert, Lars Baumgrtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini |
| 2022 | SLE | jGuard: Programming Misuse-Resilient APIs. | Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini |
| 2021 | ECOOP | Dealing with Variability in API Misuse Specification. | Rodrigo Bonifcio, Stefan Krger, Krishna Narasimhan, Eric Bodden, Mira Mezini |
| 2021 | ESEM | Python Crypto Misuses in the Wild. | Anna-Katharina Wickert, Lars Baumgrtner, Florian Breitfelder, Mira Mezini |
| 2021 | ISSTA | NerdBug: automated bug detection in neural networks. | Foad Jafarinejad, Krishna Narasimhan, Mira Mezini |
| 2021 | ISSTA | Impact of programming languages on machine learning bugs. | Sebastian Sztwiertnia, Maximilian Grbel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini |
| 2021 | SCAM | Fex: Assisted Identification of Domain Features from C Programs. | Patrick Mller, Krishna Narasimhan, Mira Mezini |
| 2020 | CCS | Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. | Leonid Glanz, Patrick Mller, Lars Baumgrtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini |
| 2020 | ISSTA | A programming model for semi-implicit parallelization of static analyses. | Dominik Helm, Florian Kbler, Jan Thomas Klzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini |
| 2020 | PLDI | TACAI: an intermediate representation based on abstract interpretation. | Michael Reif, Florian Kbler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini |
| 2020 | TrustCom | Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. | Lars Baumgrtner, Alexandra Dmitrienko, Bernd Freisleben, Alexander Gruler, Jonas Hchst, Joshua Khlberg, Mira Mezini, Richard Mitev, Markus Miettinen, Anel Muhamedagic, Thien Duc Nguyen, Alvar Penning, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl |
| 2020 | TrustCom | Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. | Johannes Lauinger, Lars Baumgrtner, Anna-Katharina Wickert, Mira Mezini |
| 2019 | CoNEXT | Online Reprogrammable Multi Tenant Switches. | Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini |
| 2019 | ECOOP | How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. | Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini |
| 2019 | ISSTA | Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. | Michael Reif, Florian Kbler, Michael Eichberg, Dominik Helm, Mira Mezini |
| 2019 | MSR | Investigating next steps in static API-misuse detection. | Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini |
| 2019 | MSR | A dataset of parametric cryptographic misuses. | Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini |
| 2019 | OOPSLA | GRASS: generic reactive application-specific scheduling. | Marcel Blcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi |
| 2019 | SIGCOMM | Optimizing Data Plane Programs for the Network. | Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini |
| 2018 | ECOOP | CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. | Stefan Krger, Johannes Spth, Karim Ali, Eric Bodden, Mira Mezini |
| 2018 | ECOOP | Fault-tolerant Distributed Reactive Programming. | Ragnar Mogk, Lars Baumgrtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini |
| 2018 | ICSoft | On the Impact of Order Information in API Usage Patterns. | Ervina ergani, Mira Mezini |
| 2018 | ICSoft | Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. | Ervina ergani, Sebastian Proksch, Sarah Nadi, Mira Mezini |
| 2018 | ISSTA | Lattice based modularization of static analyses. | Michael Eichberg, Florian Kbler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini |
| 2018 | ISSTA | Systematic evaluation of the unsoundness of call graph construction algorithms for Java. | Michael Reif, Florian Kbler, Michael Eichberg, Mira Mezini |
| 2018 | ISSTA | Incremental overload resolution in object-oriented programming languages. | Tams Szab, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg |
| 2018 | PPDP | System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. | Sylvia Grewe, Sebastian Erdweg, Andr Pacak, Mira Mezini |
| 2017 | ECOOP | A Co-contextual Type Checker for Featherweight Java . | Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini |
| 2017 | Networking | DTN-RPC: Remote procedure calls for disruption-tolerant networking. | Artur Sterz, Lars Baumgrtner, Ragnar Mogk, Mira Mezini, Bernd Freisleben |
| 2017 | PLDI | Hermes: assessment and creation of effective test corpora. | Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini |
| 2017 | SP | Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. | Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini |
| 2016 | CADE | Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2016 | ICSE | Jumping through hoops: why do Java developers struggle with cryptography APIs? | Sarah Nadi, Stefan Krger, Mira Mezini, Eric Bodden |
| 2016 | ICSE | Debugging for reactive programming. | Guido Salvaneschi, Mira Mezini |
| 2016 | ICSE | Debugging reactive programming with reactive inspector. | Guido Salvaneschi, Mira Mezini |
| 2016 | MSR | MUBench: a benchmark for API-misuse detectors. | Sven Amann, Sarah Nadi, Hoan Anh Nguyen, Tien N. Nguyen, Mira Mezini |
| 2016 | MSR | A dataset of simplified syntax trees for C#. | Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini |
| 2016 | PPDP | Exploration of language specifications by compilation to first-order logic. | Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini |
| 2015 | CADE | Using Vampire in Soundness Proofs of Type Systems. | Sylvia Grewe, Sebastian Erdweg, Mira Mezini |
| 2015 | OOPSLA | Towards secure integration of cryptographic software. | Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini |
| 2015 | OOPSLA | A co-contextual formulation of type rules and its application to incremental type checking. | Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini |
| 2015 | OOPSLA | Type systems for the masses: deriving soundness proofs and efficient checkers. | Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini |
| 2015 | OOPSLA | Toward incremental type checking for Java. | Edlira Kuci, Sebastian Erdweg, Mira Mezini |
| 2014 | ECOOP | Towards virtual traits in Scala. | Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini |
| 2014 | ICSE | Method-call recommendations from implicit developer feedback. | Sven Amann, Sebastian Proksch, Mira Mezini |
| 2014 | ICSE | Towards standardized evaluation of developer-assistance tools. | Sebastian Proksch, Sven Amann, Mira Mezini |
| 2014 | OOPSLA | Distributed REScala: an update algorithm for distributed reactive programming. | Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini |
| 2014 | OOPSLA | i3QL: language-integrated live data views. | Ralf Mitschke, Sebastian Erdweg, Mirko Khler, Mira Mezini, Guido Salvaneschi |
| 2013 | Coordination | Towards Distributed Reactive Programming. | Guido Salvaneschi, Joscha Drechsler, Mira Mezini |
| 2013 | EDOC | XPoints: Extension Interfaces for Multilayered Applications. | Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini |
| 2013 | GPCE | Template constructors for reusable object initialization. | Marko Martin, Mira Mezini, Sebastian Erdweg |
| 2013 | PLDI | SPL | Eric Bodden, Trsis Toldo, Mrcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini |
| 2012 | CaiSE | Towards Conflict-Free Composition of Non-functional Concerns. | Benjamin Schmeling, Anis Charfi, Marko Martin, Mira Mezini |
| 2012 | ICSE | A recommendation system for exception handling code. | Eiji Adachi Barbosa, Alessandro F. Garcia, Mira Mezini |
| 2012 | ICSE | Semi-automatically extracting FAQs to improve accessibility of software development knowledge. | Stefan Hen, Martin Monperrus, Mira Mezini |
| 2011 | ICSE | Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders. | Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini |
| 2011 | ICWS | Composing Non-functional Concerns in Composite Web Services. | Benjamin Schmeling, Anis Charfi, Mira Mezini |
| 2011 | OOPSLA | Naturalistic types. | Roman Knll, Vaidas Gasiunas, Mira Mezini |
| 2011 | OOPSLA | JP2: collecting dynamic bytecode metrics in JVMs. | Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazn |
| 2011 | OOPSLA | Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining. | Andreas Sewe, Jannik Jochem, Mira Mezini |
| 2011 | OOPSLA | 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 |
| 2011 | SAC | Incremental concrete syntax for embedded languages. | Tom Dinkelaker, Michael Eichberg, Mira Mezini |
| 2010 | ECOOP | Detecting Missing Method Calls in Object-Oriented Software. | Martin Monperrus, Marcel Bruch, Mira Mezini |
| 2010 | IIWAS | Non-functional concerns in web services: requirements and state of the art analysis. | Benjamin Schmeling, Anis Charfi, Mira Mezini |
| 2010 | ICSE | First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010). | Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss |
| 2010 | MSR | Mining subclassing directives to improve framework reuse. | Marcel Bruch, Mira Mezini, Martin Monperrus |
| 2009 | ICWS | A Plug-in Architecture for Self-Adaptive Web Service Compositions. | Anis Charfi, Tom Dinkelaker, Mira Mezini |
| 2009 | OOPSLA | pi: a pattern language. | Roman Knll, Mira Mezini |
| 2009 | OOPSLA | VM performance evaluation with functional models: an optimist's outlook. | Jan Sinschek, Andreas Sewe, Mira Mezini |
| 2008 | CRiSIS | Aspect-based enforcement of formal delegation policies. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2008 | ICSE | Defining and continuous checking of structural program dependencies. | Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini |
| 2008 | ICSE | Mining framework usage changes from instantiation code. | Thorsten Schfer, Jan Jonas, Mira Mezini |
| 2008 | OOPSLA | Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model. | Andreas Sewe, Christoph Bockisch, Mira Mezini |
| 2007 | Coordination | Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants. | Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel |
| 2007 | OOPSLA | Dependent classes. | Vaidas Gasiunas, Mira Mezini, Klaus Ostermann |
| 2007 | PADL | Automatic Incrementalization of Prolog Based Static Analyses. | Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann |
| 2006 | BPM | Middleware Support for BPEL Workflows in the AO4BPEL Engine. | Anis Charfi, Mira Mezini |
| 2006 | ICWS | Reliable Messaging for BPEL Processes. | Anis Charfi, Benjamin Schmeling, Mira Mezini |
| 2006 | OOPSLA | Adapting virtual machine techniques for seamless aspect support. | Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini |
| 2006 | OOPSLA | Efficient control flow quantification. | Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini |
| 2006 | OOPSLA | Pegasus: first steps toward a naturalistic programming language. | Roman Knll, Mira Mezini |
| 2005 | ECOOP | Separation of Concerns with Procedures, Annotations, Advice and Pointcuts. | Gregor Kiczales, Mira Mezini |
| 2005 | ECOOP | Expressive Pointcuts for Increased Modularity. | Klaus Ostermann, Mira Mezini, Christoph Bockisch |
| 2005 | FASE | Using Annotations to Check Structural Properties of Classes. | Michael Eichberg, Thorsten Schfer, Mira Mezini |
| 2005 | ICSE | Aspect-oriented programming and modular reasoning. | Gregor Kiczales, Mira Mezini |
| 2005 | ICWS | Using Aspects for Security Engineering of Web Service Compositions. | Anis Charfi, Mira Mezini |
| 2005 | WWW | Middleware services for web service compositions. | Anis Charfi, Mira Mezini |
| 2005 | VEE | An execution layer for aspect-oriented programming languages. | Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs |
| 2005 | VISSOFT | Towards More Flexibility in Software Visualization Tools. | Thorsten Schfer, Mira Mezini |
| 2004 | APLAS | Pointcuts as Functional Queries. | Michael Eichberg, Mira Mezini, Klaus Ostermann |
| 2004 | GPCE | Declaring and Enforcing Dependencies Between .NET Custom Attributes. | Vasian Cepa, Mira Mezini |
| 2004 | ICSOC | Hybrid web service composition: business processes meet business rules. | Anis Charfi, Mira Mezini |
| 2003 | GPCE | The Convergence of AOP and Active Databases: Towards Reactive Middleware. | Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann |
| 2002 | ECOOP | Engineering Event-Based Systems with Scopes. | Ludger Fiege, Mira Mezini, Gero Mhl, Alejandro P. Buchmann |
| 2002 | OOPSLA | Integrating independent components with on-demand remodularization. | Mira Mezini, Klaus Ostermann |
| 2001 | OOPSLA | Object-Oriented Composition Untangled. | Klaus Ostermann, Mira Mezini |
| 2000 | GI | Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung. | Jens Uwe Pipka, Mira Mezini |
| 2000 | ICSE | Building modular object-oriented systems with reusable collaborations (tutorial session). | Karl J. Lieberherr, David H. Lorenz, Mira Mezini |
| 2000 | OOPSLA | PIROL: a case study for multidimensional separation of concerns in software engineering environments. | Stephan Herrmann, Mira Mezini |
| 1998 | OOPSLA | Adaptive Plug-and-Play Components for Evolutionary Software Development. | Mira Mezini, Karl J. Lieberherr |
| 1997 | ECOOP | Dynamic Object Evolution without Name Collisions. | Mira Mezini |
| 1997 | OOPSLA | Maintaining the Consistency of Class Libraries During Their Evolution. | Mira Mezini |