Mira Mezini

342 papers A* 19A 54B 17C 24Misc 2Journal 94Unranked 123
YearRankTypeTitle / Venue / Authors
2026 J jnl
Analysis of Long Range Dependency Understanding in State Space Models.
CoRR
Srividya Ravikumar, Abhinav Anand, Shweta Verma, Mira Mezini
2026 J jnl
DeCo: A Core Calculus for Incremental Functional Programming with Generic Data Types.
CoRR
Timon Böhler, Tobias Reinhard, David Richter, Mira Mezini
2026 J jnl
Towards Understanding What State Space Models Learn About Code.
CoRR
Jiali Wu, Abhinav Anand, Shweta Verma, Mira Mezini
2025 C conf
AI-assisted Programming: From Intelligent Code Completion to Foundation Models: A Twenty-Year Journey.
Software Engineering
Mira Mezini
2025 C conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
Software Engineering
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2025 J jnl
Adaptable Hindsight Experience Replay for Search-Based Learning.
CoRR
Alexandros Vazaios, Jannis Brugger, Cedric Derstroff, Kristian Kersting, Mira Mezini
2025 J jnl
Benchmarking LLMs in Web API Integration Tasks.
CoRR
Daniel Maninger, Leon Chemnitz, Amir Molzam Sharifloo, Jannis Brugger, Mira Mezini
2025 — conf
Benchmarking Web API Integration Code Generation.
AIware
Daniel Maninger, Leon Chemnitz, Amir Molzam Sharifloo, Jannis Brugger, Mira Mezini
2025 A* conf
CodeSSM: Towards State Space Models for Code Understanding.
EMNLP
Shweta Verma, Abhinav Anand, Mira Mezini
2025 J jnl
CodeSSM: Towards State Space Models for Code Understanding.
CoRR
Shweta Verma, Abhinav Anand, Mira Mezini
2025 — conf
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs.
NAACL (Student Research Workshop)
Marina Sakharova, Abhinav Anand, Mira Mezini
2025 J jnl
Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs.
CoRR
Marina Sakharova, Abhinav Anand, Mira Mezini
2025 J jnl
Neural-Guided Equation Discovery.
CoRR
Jannis Brugger, Mattia Cerrato, David Richter, Cedric Derstroff, Daniel Maninger, Mira Mezini, Stefan Kramer
2025 J jnl
PRDTs: Composable Knowledge-Based Consensus Protocols with Replicated Data Types.
CoRR
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
2025 B conf
Prompting Neural-Guided Equation Discovery Based on Residuals.
DS
Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer
2025 J jnl
Prompting Neural-Guided Equation Discovery Based on Residuals.
CoRR
Jannis Brugger, Viktor Pfanschilling, David Richter, Mira Mezini, Stefan Kramer
2025 A conf
Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification (Replication Paper).
ECOOP
Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, Márcio Ribeiro
2025 J jnl
Scaling Up: Revisiting Mining Android Sandboxes at Scale for Malware Classification.
CoRR
Francisco Handrick da Costa, Ismael Medeiros, Leandro Oliveira, João Calássio, Rodrigo Bonifácio, Krishna Narasimhan, Mira Mezini, Márcio Ribeiro
2025 J jnl
Think Locally, Act Globally: A Programming Model for Decentralized Applications.
IEEE Internet Comput.
Julian Haas, Christian Kuessner, Ragnar Mogk, Mira Mezini
2025 C conf
Total Recall? How Good Are Static Call Graphs Really?
Software Engineering
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2025 C conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
Software Engineering
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2025 — conf
Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks.
AIware
Amir Molzam Sharifloo, Maedeh Heydari, Parsa Kazerooni, Daniel Maninger, Mira Mezini
2025 J jnl
Where Do LLMs Still Struggle? An In-Depth Analysis of Code Generation Benchmarks.
CoRR
Amir Molzam Sharifloo, Maedeh Heydari, Parsa Kazerooni, Daniel Maninger, Mira Mezini
2024 — conf
A Critical Study of What Code-LLMs (Do Not) Learn.
ACL (Findings)
Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini
2024 J jnl
A Critical Study of What Code-LLMs (Do Not) Learn.
CoRR
Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini
2024 — conf
A Modular Soundness Theory for the Blackboard Analysis Architecture.
ESOP (2)
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
2024 A* conf
AXA: Cross-Language Analysis through Integration of Single-Language Analyses.
ASE
Tobias Roth, Julius Näumann, Dominik Helm, Sven Keidel, Mira Mezini
2024 J jnl
Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the Unknown.
CoRR
Cedric Derstroff, Jannis Brugger, Jannis Blüml, Mira Mezini, Stefan Kramer, Kristian Kersting
2024 J jnl
Compiling with Arrays (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 A conf
Compiling with Arrays.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 J jnl
Compiling with Arrays.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2024 J jnl
Distributed Locking as a Data Type.
CoRR
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
2024 — conf
Incrementalizing Polynomial Functors.
FTfJP@ECOOP
Timon Böhler, David Richter, Mira Mezini
2024 J jnl
LoRe: A Programming Model for Verifiably Safe Local-first Software.
ACM Trans. Program. Lang. Syst.
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
2024 J jnl
Problem Solving Through Human-AI Preference-Based Cooperation.
CoRR
Subhabrata Dutta, Timo Kaufmann, Goran Glavas, Ivan Habernal, Kristian Kersting, Frauke Kreuter, Mira Mezini, Iryna Gurevych, Eyke Hüllermeier, Hinrich Schütze
2024 — conf
Residuals for Equation Discovery.
DS (LB)
Jannis Brugger, Viktor Pfanschilling, Mira Mezini, Stefan Kramer
2024 A conf
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.
SANER
Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
2024 J jnl
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability.
CoRR
Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
2024 A conf
Total Recall? How Good Are Static Call Graphs Really?
ISSTA
Dominik Helm, Sven Keidel, Anemone Kampkötter, Johannes Düsing, Tobias Roth, Ben Hermann, Mira Mezini
2024 — conf
Towards Trustworthy AI Software Development Assistance.
NIER@ICSE
Daniel Maninger, Krishna Narasimhan, Mira Mezini
2024 — conf
Transitions in Wireless Networks: Selected Results of Collaborative Research in MAKI.
From Multimedia Communications to the Future Internet
Bernd Freisleben, Oliver Hinz, Matthias Hollick, Anja Klein, Mira Mezini, Andrea Ortiz
2024 A conf
Unimocg: Modular Call-Graph Algorithms for Consistent Handling of Language Features.
ISSTA
Dominik Helm, Tobias Roth, Sven Keidel, Michael Reif, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact).
Dagstuhl Artifacts Ser.
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 A conf
A Direct-Style Effect Notation for Sequential and Parallel Programs.
ECOOP
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
A Direct-Style Effect Notation for Sequential and Parallel Programs.
CoRR
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
2023 J jnl
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact).
Dagstuhl Artifacts Ser.
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini
2023 A conf
Algebraic Replicated Data Types: Programming Secure Local-First Software.
ECOOP
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini
2023 A conf
Evaluating and improving transformers pre-trained on ASTs for Code Completion.
SANER
Marcel Ochs, Krishna Narasimhan, Mira Mezini
2023 J jnl
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact).
Dagstuhl Artifacts Ser.
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
2023 A conf
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract).
ECOOP
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
2023 J jnl
LoRe: A Programming Model for Verifiably Safe Local-First Software.
CoRR
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
2023 J jnl
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications.
ACM Trans. Program. Lang. Syst.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2023 — conf
Securing Your Crypto-API Usage Through Tool Support - A Usability Study.
SecDev
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
2023 B conf
Towards Code Generation from BDD Test Case Specifications: A Vision.
CAIN
Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini
2023 J jnl
Towards Code Generation from BDD Test Case Specifications: A Vision.
CoRR
Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini
2023 J jnl
Towards Trustworthy AI Software Development Assistance.
CoRR
Daniel Maninger, Krishna Narasimhan, Mira Mezini
2023 J jnl
UNGOML: Automated Classification of unsafe Usages in Go.
CoRR
Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini
2023 A conf
UnGoML: Automated Classification of unsafe Usages in Go.
MSR
Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini
2023 — conf
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
FTfJP@ECOOP
Timon Böhler, David Richter, Mira Mezini
2023 J jnl
Using Rewrite Strategies for Efficient Functional Automatic Differentiation.
CoRR
Timon Böhler, David Richter, Mira Mezini
2023 A conf
WasmA: A Static WebAssembly Analysis Framework for Everyone.
SANER
Florian Breitfelder, Tobias Roth, Lars Baumgärtner, Mira Mezini
2022 J jnl
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite.
CoRR
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
2022 C conf
CiFi: Versatile Analysis of Class and Field Immutability.
Software Engineering
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2022 J jnl
Dependently-Typed Data Plane Programming.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 J jnl
Dependently-typed data plane programming.
Proc. ACM Program. Lang.
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 — ed.
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings
NETYS
Mohammed-Amine Koulali, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact).
Dagstuhl Artifacts Ser.
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 A conf
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract).
ECOOP
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 J jnl
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version).
CoRR
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
2022 B conf
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild.
TrustCom
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
2022 J jnl
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild.
CoRR
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
2022 B conf
jGuard: Programming Misuse-Resilient APIs.
SLE
Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini
2021 A* conf
CiFi: Versatile Analysis of Class and Field Immutability.
ASE
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
2021 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
IEEE Trans. Software Eng.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2021 A conf
Dealing with Variability in API Misuse Specification.
ECOOP
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2021 J jnl
Dealing with Variability in API Misuse Specification.
CoRR
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
2021 C conf
Fex: Assisted Identification of Domain Features from C Programs.
SCAM
Patrick Müller, Krishna Narasimhan, Mira Mezini
2021 J jnl
Fex: Assisted Identification of Domain Features from C Programs.
CoRR
Patrick Müller, Krishna Narasimhan, Mira Mezini
2021 — conf
Impact of programming languages on machine learning bugs.
AISTA@ISSTA
Sebastian Sztwiertnia, Maximilian Grübel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini
2021 — conf
Modeling Civilian Mobility in Large-Scale Disasters.
ISCRAM
Julian Zobel, Patrick Lieser, Tobias Meuser, Lars Baumgärtner, Mira Mezini, Ralf Steinmetz
2021 — conf
NerdBug: automated bug detection in neural networks.
AISTA@ISSTA
Foad Jafarinejad, Krishna Narasimhan, Mira Mezini
2021 — conf
Programming and execution models for next generation code intelligence systems (keynote).
ESEC/SIGSOFT FSE
Mira Mezini
2021 A conf
Python Crypto Misuses in the Wild.
ESEM
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini
2021 J jnl
Python Crypto Misuses in the Wild.
CoRR
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini
2021 J jnl
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
Art Sci. Eng. Program.
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
2020 A conf
A programming model for semi-implicit parallelization of static analyses.
ISSTA
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
2020 A conf
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
AsiaCCS
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
2020 J jnl
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy.
CoRR
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
2020 — conf
Investigating Next Steps in Static API-Misuse Detection.
SE
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
2020 — conf
LoRAgent: A DTN-based Location-aware Communication System using LoRa.
GHTC
Lars Baumgärtner, Patrick Lieser, Julian Zobel, Bastian Bloessl, Ralf Steinmetz, Mira Mezini
2020 B conf
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.
TrustCom
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, Dermot Frederik Pustelnik, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl
2020 J jnl
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps.
CoRR
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, Filipp Roos, Ahmad-Reza Sadeghi, Michael Schwarz, Christian Uhl
2020 J jnl
Modular Collaborative Program Analysis in OPAL.
CoRR
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 — conf
Modular collaborative program analysis in OPAL.
ESEC/SIGSOFT FSE
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
2020 J jnl
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices.
CoRR
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
2020 — conf
TACAI: an intermediate representation based on abstract interpretation.
SOAP@PLDI
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
2020 B conf
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
TrustCom
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini
2020 J jnl
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild.
CoRR
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini
2019 J jnl
A Systematic Evaluation of Static API-Misuse Detectors.
IEEE Trans. Software Eng.
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
2019 — conf
A Unified Lattice Model and Framework for Purity Analyses.
SE/SWM
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2019 A conf
A dataset of parametric cryptographic misuses.
MSR
Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini
2019 J jnl
A fault-tolerant programming model for distributed interactive applications.
Proc. ACM Program. Lang.
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
2019 J jnl
Comprehensive Multiparty Session Types.
CoRR
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
2019 J jnl
Comprehensive Multiparty Session Types.
Art Sci. Eng. Program.
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
2019 — conf
DTN7: An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7.
ADHOC-NOW
Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben
2019 J jnl
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7.
CoRR
Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben
2019 — conf
GRASS: generic reactive application-specific scheduling.
REBLS@SPLASH
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2019 A conf
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
ECOOP
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 J jnl
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 A conf
Investigating next steps in static API-misuse detection.
MSR
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
2019 A conf
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs.
ISSTA
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini
2019 — conf
Language support for multiple privacy enhancing technologies.
Programming
Aditya Oak, Mira Mezini, Guido Salvaneschi
2019 J jnl
Language-integrated privacy-aware distributed queries.
Proc. ACM Program. Lang.
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
2019 — conf
Online Reprogrammable Multi Tenant Switches.
ENCP@CoNEXT
Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini
2019 — conf
Optimizing Data Plane Programs for the Network.
NetPL@SIGCOMM
Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini
2019 — conf
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
GHTC
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
2019 J jnl
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City.
CoRR
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
2019 J jnl
Type-safe, Polyvariadic Event Correlation.
CoRR
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
2018 A* conf
A unified lattice model and framework for purity analyses.
ASE
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
2018 C conf
Call Graph Construction for Java Libraries.
Software Engineering
Michael Reif, Michael Eichberg, Mira Mezini
2018 C conf
CodeMatch.
Software Engineering
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini
2018 J jnl
Cooperative decoupled processes.
Softw. Qual. J.
Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
2018 J jnl
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact).
Dagstuhl Artifacts Ser.
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 A conf
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs.
ECOOP
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2018 J jnl
Exploration of language specifications by compilation to first-order logic.
Sci. Comput. Program.
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
2018 A conf
Fault-tolerant Distributed Reactive Programming.
ECOOP
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
2018 — conf
Incremental overload resolution in object-oriented programming languages.
ISSTA/ECOOP Workshops
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
2018 C conf
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study.
ICSOFT
Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini
2018 — conf
Lattice based modularization of static analyses.
ISSTA/ECOOP Workshops
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
2018 — conf
Multimodal Complex Event Processing on Mobile Devices.
DEBS
Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben
2018 — conf
On the Impact of Order Information in API Usage Patterns.
ICSOFT (Selected Papers)
Ervina Çergani, Mira Mezini
2018 — conf
Opportunistic named functions in disruption-tolerant emergency networks.
CF
Pablo Graubner, Patrick Lampe, Jonas Hochst, Lars Baumgärtner, Mira Mezini, Bernd Freisleben
2018 — conf
Reactive programming experience with REScala.
Programming
Ragnar Mogk, Guido Salvaneschi, Mira Mezini
2018 C conf
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers.
PPDP
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
2018 — conf
Systematic evaluation of the unsoundness of call graph construction algorithms for Java.
ISSTA/ECOOP Workshops
Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini
2018 J jnl
Thread-safe reactive programming.
Proc. ACM Program. Lang.
Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini
2018 — conf
Towards safe modular composition of network functions.
Programming
Matthias Eichholz, Guido Salvaneschi, Mira Mezini
2018 J jnl
Versatile event correlation with algebraic effects.
Proc. ACM Program. Lang.
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017 C conf
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs?
Software Engineering
Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2017 J jnl
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
CoRR
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 A conf
A Co-contextual Type Checker for Featherweight Java .
ECOOP
Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini
2017 J jnl
A Systematic Evaluation of API-Misuse Detectors.
CoRR
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
2017 — conf
CodeMatch: obfuscation won't conceal your repackaged app.
ESEC/SIGSOFT FSE
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann, Johannes Lerch, Mira Mezini
2017 A* conf
CogniCrypt: supporting developers in using cryptography.
ASE
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath
2017 J jnl
CrySL: Validating Correct Usage of Cryptographic APIs.
CoRR
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
2017 B conf
DTN-RPC: Remote procedure calls for disruption-tolerant networking.
Networking
Artur Sterz, Lars Baumgärtner, Ragnar Mogk, Mira Mezini, Bernd Freisleben
2017 A conf
Enriching in-IDE process information with fine-grained source code history.
SANER
Sebastian Proksch, Sarah Nadi, Sven Amann, Mira Mezini
2017 A* conf
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation.
IEEE Symposium on Security and Privacy
Philipp Holzinger, Ben Hermann, Johannes Lerch, Eric Bodden, Mira Mezini
2017 — conf
Hermes: assessment and creation of effective test corpora.
SOAP@PLDI
Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini
2017 J jnl
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study.
IEEE Trans. Software Eng.
Guido Salvaneschi, Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
2016 A conf
A Study of Visual Studio Usage in Practice.
SANER
Sven Amann, Sebastian Proksch, Sarah Nadi, Mira Mezini
2016 A conf
A dataset of simplified syntax trees for C#.
MSR
Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
2016 — conf
Addressing scalability in API method call analytics.
SWAN@SIGSOFT FSE
Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini
2016 C conf
An empirical study on program comprehension with reactive programming.
Software Engineering
Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
2016 — conf
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
Vampire@IJCAR
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2016 J jnl
CPL: A Core Language for Cloud Computing - Technical Report.
CoRR
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 — conf
CPL: a core language for cloud computing.
MODULARITY
Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini
2016 — conf
Call graph construction for Java libraries.
SIGSOFT FSE
Michael Reif, Michael Eichberg, Ben Hermann, Johannes Lerch, Mira Mezini
2016 — conf
Cooperative decoupled processes: the e-calculus and linearity.
MODULARITY
Andi Bejleri, Mira Mezini, Patrick Eugster
2016 A* conf
Debugging for reactive programming.
ICSE
Guido Salvaneschi, Mira Mezini
2016 — conf
Debugging reactive programming with reactive inspector.
ICSE (Companion Volume)
Guido Salvaneschi, Mira Mezini
2016 A* conf
Evaluating the evaluations of code recommender systems: a reality check.
ASE
Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini
2016 C conf
Exploration of language specifications by compilation to first-order logic.
PPDP
Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini
2016 C conf
Getting to know you: towards a capability model for Java.
Software Engineering
Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini
2016 C conf
Hidden Truths in Dead Software Paths.
Software Engineering
Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz
2016 C conf
Intelligent code completion with Bayesian networks.
Software Engineering
Sebastian Proksch, Johannes Lerch, Mira Mezini
2016 A* conf
Jumping through hoops: why do Java developers struggle with cryptography APIs?
ICSE
Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
2016 A conf
MUBench: a benchmark for API-misuse detectors.
MSR
Sven Amann, Sarah Nadi, Hoan Anh Nguyen, Tien N. Nguyen, Mira Mezini
2016 — conf
SecureScala: Scala embedding of secure computations.
SCALA@SPLASH
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi
2015 A conf
A co-contextual formulation of type rules and its application to incremental type checking.
OOPSLA
Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini
2015 J jnl
Abmash: mashing up legacy Web applications by automated imitation of human actions.
Softw. Pract. Exp.
Alper Ortac, Martin Monperrus, Mira Mezini
2015 A* conf
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T).
ASE
Johannes Lerch, Johannes Späth, Eric Bodden, Mira Mezini
2015 — conf
Getting to know you: towards a capability model for Java.
ESEC/SIGSOFT FSE
Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini
2015 — conf
Hidden truths in dead software paths.
ESEC/SIGSOFT FSE
Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz
2015 J jnl
Intelligent Code Completion with Bayesian Networks.
ACM Trans. Softw. Eng. Methodol.
Sebastian Proksch, Johannes Lerch, Mira Mezini
2015 — conf
Toward incremental type checking for Java.
SPLASH (Companion Volume)
Edlira Kuci, Sebastian Erdweg, Mira Mezini
2015 — conf
Towards secure integration of cryptographic software.
Onward!
Steven Arzt, Sarah Nadi, Karim Ali, Eric Bodden, Sebastian Erdweg, Mira Mezini
2015 — conf
Type systems for the masses: deriving soundness proofs and efficient checkers.
Onward!
Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini
2015 — conf
Using Vampire in Soundness Proofs of Type Systems.
Vampire Workshop
Sylvia Grewe, Sebastian Erdweg, Mira Mezini
2014 — conf
An empirical study on program comprehension with reactive programming.
SIGSOFT FSE
Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini
2014 — conf
Blending and reusing rules for architectural degradation prevention.
MODULARITY
Alessandro Cavalcante Gurgel, Isela Macia Bertran, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke
2014 A conf
Distributed REScala: an update algorithm for distributed reactive programming.
OOPSLA
Joscha Drechsler, Guido Salvaneschi, Ragnar Mogk, Mira Mezini
2014 — conf
Finding bugs in program generators by dynamic analysis of syntactic language constraints.
MODULARITY (Companion)
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
2014 — conf
FlowTwist: efficient context-sensitive inside-out taint analysis for large codebases.
SIGSOFT FSE
Johannes Lerch, Ben Hermann, Eric Bodden, Mira Mezini
2014 — conf
JEScala: modular coordination with declarative events and joins.
MODULARITY
Jurgen Michael Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
2014 J jnl
JP2: Call-site aware calling context profiling for the Java Virtual Machine.
Sci. Comput. Program.
Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Mira Mezini
2014 — conf
Method-call recommendations from implicit developer feedback.
CSI-SE
Sven Amann, Sebastian Proksch, Mira Mezini
2014 — conf
Modular specification and dynamic enforcement of syntactic language constraints when generating code.
MODULARITY
Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser
2014 J jnl
Programming with Implicit Flows.
IEEE Softw.
Guido Salvaneschi, Patrick Eugster, Mira Mezini
2014 — conf
REScala: bridging between object-oriented and functional style in reactive applications.
MODULARITY
Guido Salvaneschi, Gerold Hintz, Mira Mezini
2014 C conf
SPLLIFT - Statically Analyzing Software Product Lines in Minutes Instead of Years.
Software Engineering
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2014 — conf
Towards standardized evaluation of developer-assistance tools.
RSSE@ICSE
Sebastian Proksch, Sven Amann, Mira Mezini
2014 — conf
Towards virtual traits in Scala.
SCALA@ECOOP
Manuel Weiel, Ingo Maier, Sebastian Erdweg, Michael Eichberg, Mira Mezini
2014 — conf
Weaving Aspects and Business Processes through Model Transformation.
ESOCC
Heiko Witteborg, Anis Charfi, Daniel Colomer Collell, Mira Mezini
2014 A conf
i3QL: language-integrated live data views.
OOPSLA
Ralf Mitschke, Sebastian Erdweg, Mirko Köhler, Mira Mezini, Guido Salvaneschi
2013 J jnl
Abmash: Mashing Up Legacy Web Applications by Automated Imitation of Human Actions.
CoRR
Alper Ortac, Martin Monperrus, Mira Mezini
2013 J jnl
Automated API Property Inference Techniques.
IEEE Trans. Software Eng.
Martin P. Robillard, Eric Bodden, David Kawrykow, Mira Mezini, Tristan Ratchford
2013 A conf
Building extensions for applications: Towards the understanding of extension possibilities.
ICPC
Mohamed Aly, Anis Charfi, Mira Mezini
2013 J jnl
Detecting Missing Method Calls as Violations of the Majority Rule.
CoRR
Martin Monperrus, Mira Mezini
2013 J jnl
Detecting missing method calls as violations of the majority rule.
ACM Trans. Softw. Eng. Methodol.
Martin Monperrus, Mira Mezini
2013 — conf
Finding Duplicates of Your Yet Unwritten Bug Report.
CSMR
Johannes Lerch, Mira Mezini
2013 J jnl
Incremental concrete syntax for embedded languages with support for separate compilation.
Sci. Comput. Program.
Tom Dinkelaker, Michael Eichberg, Mira Mezini
2013 — ed.
Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013
ESEC/SIGSOFT FSE
Bertrand Meyer, Luciano Baresi, Mira Mezini
2013 J jnl
Modular Specification and Checking of Structural Dependencies.
LNCS Trans. Aspect Oriented Softw. Dev.
Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran
2013 — conf
Modular specification and checking of structural dependencies.
AOSD
Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia Bertran
2013 — conf
Reactive behavior in object-oriented applications: an analysis and a research roadmap.
AOSD
Guido Salvaneschi, Mira Mezini
2013 A* conf
SPL
PLDI
Eric Bodden, Társis Tolêdo, Márcio Ribeiro, Claus Brabrand, Paulo Borba, Mira Mezini
2013 B conf
Template constructors for reusable object initialization.
GPCE
Marko Martin, Mira Mezini, Sebastian Erdweg
2013 C conf
Towards Distributed Reactive Programming.
COORDINATION
Guido Salvaneschi, Joscha Drechsler, Mira Mezini
2013 J jnl
Towards Reactive Programming for Object-Oriented Applications.
LNCS Trans. Aspect Oriented Softw. Dev.
Guido Salvaneschi, Mira Mezini
2013 — conf
Understanding multilayered applications for building extensions.
CoCoS@AOSD
Mohamed Aly, Anis Charfi, Di Wu, Mira Mezini
2013 B conf
XPoints: Extension Interfaces for Multilayered Applications.
EDOC
Mohamed Aly, Anis Charfi, Sebastian Erdweg, Mira Mezini
2012 — conf
A recommendation system for exception handling code.
WEH@ICSE
Eiji Adachi Barbosa, Alessandro F. Garcia, Mira Mezini
2012 J jnl
A survey on non-functional concerns in web services.
Int. J. Web Inf. Syst.
Benjamin Schmeling, Anis Charfi, Steffen Heinzl, Mira Mezini
2012 J jnl
An In-Depth Look at ALIA4J.
J. Object Technol.
Christoph Bockisch, Andreas Sewe, Haihan Yin, Mira Mezini, Mehmet Aksit
2012 J jnl
An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL.
Int. J. Web Grid Serv.
Anis Charfi, Benjamin Schmeling, Mira Mezini
2012 C conf
Dynamic Anomaly Detection for More Trustworthy Outsourced Computation.
ISC
Sami Alsouri, Jan Sinschek, Andreas Sewe, Eric Bodden, Mira Mezini, Stefan Katzenbeisser
2012 — conf
Heuristic Strategies for Recommendation of Exception Handling Code.
SBES
Eiji Adachi Barbosa, Alessandro Garcia, Mira Mezini
2012 — conf
On the extensibility requirements of business applications.
NEMARA@AOSD
Mohamed Aly, Anis Charfi, Mira Mezini
2012 J jnl
Querying Source Code with Natural Language
CoRR
Markus Kimmig, Martin Monperrus, Mira Mezini
2012 J jnl
Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge
CoRR
Stefan Henß, Martin Monperrus, Mira Mezini
2012 A* conf
Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
ICSE
Stefan Henß, Martin Monperrus, Mira Mezini
2012 A conf
Towards Conflict-Free Composition of Non-functional Concerns.
CAiSE
Benjamin Schmeling, Anis Charfi, Marko Martin, Mira Mezini
2012 — conf
Turbo DiSL: Partial Evaluation for High-Level Bytecode Instrumentation.
TOOLS (50)
Yudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma, Zhengwei Qi, Mira Mezini
2012 J jnl
What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation
CoRR
Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini
2012 J jnl
What should developers be aware of? An empirical study on the directives of API documentation.
Empir. Softw. Eng.
Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini
2012 C conf
new Scala() instance of Java: a comparison of the memory behaviour of Java and Scala programs.
ISMM
Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Danilo Ansaloni, Walter Binder, Nathan P. Ricci, Samuel Z. Guyer
2011 — conf
An Overview of ALIA4J - An Execution Model for Advanced-Dispatching Languages.
TOOLS (49)
Christoph Bockisch, Andreas Sewe, Mira Mezini, Mehmet Aksit
2011 — conf
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
Bytecode@ETAPS
Aibek Sarimbekov, Philippe Moret, Walter Binder, Andreas Sewe, Mira Mezini
2011 A conf
Composing Non-functional Concerns in Composite Web Services.
ICWS
Benjamin Schmeling, Anis Charfi, Mira Mezini
2011 — conf
Composing Non-functional Concerns in Web Services.
ECOWS
Benjamin Schmeling, Anis Charfi, Rainer Thome, Mira Mezini
2011 A conf
Da capo con scala: design and analysis of a scala benchmark suite for the java virtual machine.
OOPSLA
Andreas Sewe, Mira Mezini, Aibek Sarimbekov, Walter Binder
2011 A ed.
ECOOP 2011 - Object-Oriented Programming - 25th European Conference, Lancaster, UK, July 25-29, 2011 Proceedings
ECOOP
Mira Mezini
2011 — conf
EScala: modular event-driven object interactions in scala.
AOSD
Vaidas Gasiunas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
2011 — conf
Event-driven programming with EScala.
AOSD (Companion)
Lucas Satabin, Mira Mezini
2011 Misc conf
Incremental concrete syntax for embedded languages.
SAC
Tom Dinkelaker, Michael Eichberg, Mira Mezini
2011 — conf
JP2: collecting dynamic bytecode metrics in JVMs.
OOPSLA Companion
Aibek Sarimbekov, Walter Binder, Andreas Sewe, Mira Mezini, Alex Villazón
2011 — conf
Magic for the masses: safer high-level low-level programming through customizable static analyses.
MISS@AOSD
Ralf Mitschke, Andreas Sewe, Mira Mezini
2011 — conf
Naturalistic types.
Onward!
Roman Knöll, Vaidas Gasiunas, Mira Mezini
2011 — conf
Next in line, please!: exploiting the indirect benefits of inlining by accurately predicting further inlining.
SPLASH Workshops
Andreas Sewe, Jannik Jochem, Mira Mezini
2011 — conf
Portable and accurate collection of calling-context-sensitive bytecode metrics for the Java virtual machine.
PPPJ
Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Martin Schoeberl, Mira Mezini
2011 A* conf
Querying source code with natural language.
ASE
Markus Kimmig, Martin Monperrus, Mira Mezini
2011 A* conf
Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
ICSE
Eric Bodden, Andreas Sewe, Jan Sinschek, Hela Oueslati, Mira Mezini
2011 — ed.
Transactions on Aspect-Oriented Software Development VIII
Trans. Aspect-Oriented Software Development VIII
Shmuel Katz, Mira Mezini, Christa Schwanninger, Wouter Joosen
2010 — conf
An architecture for composing embedded domain-specific languages.
AOSD
Tom Dinkelaker, Michael Eichberg, Mira Mezini
2010 B conf
Aspect-Oriented Business Process Modeling with AO4BPMN.
ECMFA
Anis Charfi, Heiko Müller, Mira Mezini
2010 — conf
Component Composition Using Feature Models.
CBSE
Michael Eichberg, Karl Klose, Ralf Mitschke, Mira Mezini
2010 A conf
Detecting Missing Method Calls in Object-Oriented Software.
ECOOP
Martin Monperrus, Marcel Bruch, Mira Mezini
2010 — conf
First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010).
ICSE (2)
Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss
2010 — conf
Headroom-based pretenuring: dynamically pretenuring objects that live "long enough".
PPPJ
Andreas Sewe, Dingwen Yuan, Jan Sinschek, Mira Mezini
2010 — conf
IDE 2.0: collective intelligence in software development.
FoSER
Marcel Bruch, Eric Bodden, Martin Monperrus, Mira Mezini
2010 A conf
Mining subclassing directives to improve framework reuse.
MSR
Marcel Bruch, Mira Mezini, Martin Monperrus
2010 B conf
Model-Driven Engineering of Machine Executable Code.
ECMFA
Michael Eichberg, Martin Monperrus, Sven Kloppenburg, Mira Mezini
2010 C conf
Non-functional concerns in web services: requirements and state of the art analysis.
iiWAS
Benjamin Schmeling, Anis Charfi, Mira Mezini
2010 — ed.
Proceedings of the 2010 ICSE Workshop on Product Line Approaches in Software Engineering, PLEASE 2010, Cape Town, South Africa, May 2, 2010
PLEASE@ICSE
Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss
2010 — ed.
Transactions on Aspect-Oriented Software Development VII - A Common Case Study for Aspect-Oriented Modeling
Trans. Aspect-Oriented Software Development VII
Shmuel Katz, Mira Mezini, Jörg Kienzle
2009 A conf
A Plug-in Architecture for Self-Adaptive Web Service Compositions.
ICWS
Anis Charfi, Tom Dinkelaker, Mira Mezini
2009 J jnl
A holistic approach for access control policies: from formal specification to aspect-based enforcement.
Int. J. Inf. Comput. Secur.
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Andreas Sewe
2009 — conf
From Formal Access Control Policies to Runtime Enforcement Aspects.
ESSoS
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel, Karl Klose
2009 — conf
Learning from examples to improve code completion systems.
ESEC/SIGSOFT FSE
Marcel Bruch, Martin Monperrus, Mira Mezini
2009 — conf
Specifying and Monitoring Temporal Properties in Web Services Compositions.
ECOWS
Slim Kallel, Anis Charfi, Tom Dinkelaker, Mira Mezini, Mohamed Jmaiel
2009 — conf
The art of the meta-aspect protocol.
AOSD
Tom Dinkelaker, Mira Mezini, Christoph Bockisch
2009 — conf
Untangling crosscutting concerns in domain-specific languages with domain-specific join points.
DSAL@AOSD
Tom Dinkelaker, Martin Monperrus, Mira Mezini
2009 — conf
VM performance evaluation with functional models: an optimist's outlook.
VMIL@SPLASH
Jan Sinschek, Andreas Sewe, Mira Mezini
2009 A conf
pi: a pattern language.
OOPSLA
Roman Knöll, Mira Mezini
2008 C conf
Aspect-based enforcement of formal delegation policies.
CRiSIS
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2008 — conf
Aspects and class-based security: a survey of interactions between advice weaving and the Java 2 security model.
VMIL@SPLASH
Andreas Sewe, Christoph Bockisch, Mira Mezini
2008 A* conf
Defining and continuous checking of structural program dependencies.
ICSE
Michael Eichberg, Sven Kloppenburg, Karl Klose, Mira Mezini
2008 — conf
Dynamically linked domain-specific extensions for advice languages.
DSAL@AOSD
Tom Dinkelaker, Mira Mezini
2008 — conf
Improving code recommender systems by incorporating domain knowledge and graphical models.
RSSE@SIGSOFT FSE
Marcel Bruch, Mira Mezini
2008 J jnl
Language support for model-driven software development.
Sci. Comput. Program.
Vasian Cepa, Mira Mezini
2008 A* conf
Mining framework usage changes from instantiation code.
ICSE
Thorsten Schäfer, Jan Jonas, Mira Mezini
2008 — conf
On evaluating recommender systems for API usages.
RSSE@SIGSOFT FSE
Marcel Bruch, Thorsten Schäfer, Mira Mezini
2008 — conf
Redundancy-free residual dispatch: using ordered binary decision diagrams for efficient dispatch.
FOAL
Andreas Sewe, Christoph Bockisch, Mira Mezini
2007 — conf
A flexible architecture for pointcut-advice language implementations.
VMIL
Christoph Bockisch, Mira Mezini
2007 J jnl
AO4BPEL: An Aspect-oriented Extension to BPEL.
World Wide Web
Anis Charfi, Mira Mezini
2007 C conf
Automatic Incrementalization of Prolog Based Static Analyses.
PADL
Michael Eichberg, Matthias Kahl, Diptikalyan Saha, Mira Mezini, Klaus Ostermann
2007 — conf
Clustering for Generating Framework Top-Level Views.
WCRE
Thorsten Schäfer, Ivica Aracic, Matthias Merz, Mira Mezini, Klaus Ostermann
2007 C conf
Combining Formal Methods and Aspects for Specifying and Enforcing Architectural Invariants.
COORDINATION
Slim Kallel, Anis Charfi, Mira Mezini, Mohamed Jmaiel
2007 A conf
Dependent classes.
OOPSLA
Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
2007 — conf
Management Requirements of Web Service Compositions.
WEWST
Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz
2007 — conf
On the Management Requirements of Web Service Compositions.
WEWST@ECOWS (Final Proceedings)
Anis Charfi, Rainer Berbner, Mira Mezini, Ralf Steinmetz
2007 — ed.
Proceedings of the 1st Workshop on Virtual Machines and Intermediate Languages for Emerging Modularization Mechanisms, VMIL 2007, Vancouver, British Columbia, Canada, March 12-16, 2007
VMIL
Hridesh Rajan, Mira Mezini
2007 — conf
Transactional BPEL Processes with AO4BPEL Aspects.
ECOWS
Anis Charfi, Benjamin Schmeling, Mira Mezini
2006 A conf
Adapting virtual machine techniques for seamless aspect support.
OOPSLA
Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini
2006 J jnl
An Overview of CaesarJ.
LNCS Trans. Aspect Oriented Softw. Dev.
Ivica Aracic, Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
2006 — conf
Aspect-Oriented Workflow Languages.
OTM Conferences (1)
Anis Charfi, Mira Mezini
2006 A conf
Efficient control flow quantification.
OOPSLA
Christoph Bockisch, Sebastian Kanthak, Michael Haupt, Matthew Arnold, Mira Mezini
2006 — conf
FrUiT: IDE support for framework understanding.
ETX
Marcel Bruch, Thorsten Schäfer, Mira Mezini
2006 — conf
Incremental Confined Types Analysis.
LDTA@ETAPS
Michael Eichberg, Sebastian Kanthak, Sven Kloppenburg, Mira Mezini, Tobias Schuh
2006 A* conf
Integrating and Scheduling an Open Set of Static Analyses.
ASE
Michael Eichberg, Mira Mezini, Sven Kloppenburg, Klaus Ostermann, Benjamin Rank
2006 — conf
Middleware Support for BPEL Workflows in the AO4BPEL Engine.
BPM Demos
Anis Charfi, Mira Mezini
2006 — conf
Pegasus: first steps toward a naturalistic programming language.
OOPSLA Companion
Roman Knöll, Mira Mezini
2006 — conf
QScope: an Open, Extensible Framework for Measuring Software Projects.
CSMR
Michael Eichberg, Daniel Germanus, Mira Mezini, Lukas Mrokon, Thorsten Schäfer
2006 A conf
Reliable Messaging for BPEL Processes.
ICWS
Anis Charfi, Benjamin Schmeling, Mira Mezini
2006 — conf
Reliable, Secure, and Transacted Web Service Compositions with AO4BPEL.
ECOWS
Anis Charfi, Benjamin Schmeling, Andreas Heizenreder, Mira Mezini
2006 J jnl
The SEXTANT Software Exploration Tool.
IEEE Trans. Software Eng.
Thorsten Schäfer, Michael Eichberg, Michael Haupt, Mira Mezini
2005 B conf
An execution layer for aspect-oriented programming languages.
VEE
Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, Michael Krebs
2005 A* conf
Aspect-oriented programming and modular reasoning.
ICSE
Gregor Kiczales, Mira Mezini
2005 — conf
Comprehensive Software Understanding with SEXTANT.
ICSM
Michael Eichberg, Michael Haupt, Mira Mezini, Thorsten Schäfer
2005 — conf
Envelope-Based Weaving for Faster Aspect Compilers.
NODe/GSEM
Christoph Bockisch, Michael Haupt, Mira Mezini, Ralf Mitschke
2005 A conf
Expressive Pointcuts for Increased Modularity.
ECOOP
Klaus Ostermann, Mira Mezini, Christoph Bockisch
2005 — conf
Middleware services for web service compositions.
WWW (Special interest tracks and posters)
Anis Charfi, Mira Mezini
2005 — conf
MobCon: A Generative Middleware Framework for Java Mobile Applications.
HICSS
Vasian Cepa, Mira Mezini
2005 — ed.
Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005
AOSD
Mira Mezini, Peri L. Tarr
2005 A conf
Separation of Concerns with Procedures, Annotations, Advice and Pointcuts.
ECOOP
Gregor Kiczales, Mira Mezini
2005 B conf
Towards More Flexibility in Software Visualization Tools.
VISSOFT
Thorsten Schäfer, Mira Mezini
2005 B conf
Using Annotations to Check Structural Properties of Classes.
FASE
Michael Eichberg, Thorsten Schäfer, Mira Mezini
2005 A conf
Using Aspects for Security Engineering of Web Service Compositions.
ICWS
Anis Charfi, Mira Mezini
2005 J jnl
Virtual Machine Support for Aspects with Advice Instance Tables.
Obj. Logiciel Base données Réseaux
Michael Haupt, Mira Mezini
2005 — conf
eAssignment: a case for EMF.
eTX
Marcel Bruch, Christoph Bockisch, Thorsten Schäfer, Mira Mezini
2004 — conf
A Comparison of Program Generation with Aspect-Oriented Programming.
UPP
Mira Mezini, Klaus Ostermann
2004 — conf
Alice: Modularization of Middleware Using Aspect-Oriented Programming.
SEM
Michael Eichberg, Mira Mezini
2004 — conf
Aspect-Oriented Web Service Composition with AO4BPEL.
ECOWS
Anis Charfi, Mira Mezini
2004 B conf
Declaring and Enforcing Dependencies Between .NET Custom Attributes.
GPCE
Vasian Cepa, Mira Mezini
2004 — conf
Enforcing System-Wide Properties.
Australian Software Engineering Conference
Michael Eichberg, Mira Mezini, Thorsten Schäfer, Claus Beringer, Karl Matthias Hamel
2004 A conf
Hybrid web service composition: business processes meet business rules.
ICSOC
Anis Charfi, Mira Mezini
2004 — conf
Micro-measurements for Dynamic Aspect-Oriented Systems.
Net.ObjectDays
Michael Haupt, Mira Mezini
2004 B conf
Pointcuts as Functional Queries.
APLAS
Michael Eichberg, Mira Mezini, Klaus Ostermann
2004 — conf
Variability management with feature-oriented programming and aspects.
SIGSOFT FSE
Mira Mezini, Klaus Ostermann
2004 — conf
Virtual machine support for dynamic join points.
AOSD
Christoph Bockisch, Michael Haupt, Mira Mezini, Klaus Ostermann
2004 — conf
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments.
WCRE
Michael Eichberg, Mira Mezini, Klaus Ostermann, Thorsten Schäfer
2003 — conf
Conquering aspects with Caesar.
AOSD
Mira Mezini, Klaus Ostermann
2003 Misc conf
Modules for Crosscutting Models.
Ada-Europe
Mira Mezini, Klaus Ostermann
2003 — ed.
Objects, Components, Architectures, Services, and Applications for a Networked World, International Conference NetObjectDays, NODe 2002, Erfurt, Germany, October 7-10, 2002, Revised Papers
NetObjectDays
Mehmet Aksit, Mira Mezini, Rainer Unland
2003 J jnl
On aspectualizing component models.
Softw. Pract. Exp.
Roman Pichler, Klaus Ostermann, Mira Mezini
2003 B conf
The Convergence of AOP and Active Databases: Towards Reactive Middleware.
GPCE
Mariano Cilia, Michael Haupt, Mira Mezini, Alejandro P. Buchmann
2002 A conf
Engineering Event-Based Systems with Scopes.
ECOOP
Ludger Fiege, Mira Mezini, Gero Mühl, Alejandro P. Buchmann
2002 A conf
Integrating independent components with on-demand remodularization.
OOPSLA
Mira Mezini, Klaus Ostermann
2001 J jnl
Connectors for bridging mismatches between the components of a software engineering environment.
IEE Proc. Softw.
Stephan Herrmann, Mira Mezini
2001 A conf
Object-Oriented Composition Untangled.
OOPSLA
Klaus Ostermann, Mira Mezini
2000 A* conf
Building modular object-oriented systems with reusable collaborations (tutorial session).
ICSE
Karl J. Lieberherr, David H. Lorenz, Mira Mezini
2000 A conf
PIROL: a case study for multidimensional separation of concerns in software engineering environments.
OOPSLA
Stephan Herrmann, Mira Mezini
2000 — conf
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
GI Jahrestagung
Jens Uwe Pipka, Mira Mezini
2000 J jnl
Weiterentwicklung objektorientierter Softwaresysteme: Risiken und deren Vermeidung.
Softwaretechnik-Trends
Jens Uwe Pipka, Mira Mezini
1999 — conf
Detecting Evolution Incompatibilities by Analyzing Java Binaries.
TOOLS (30)
Mira Mezini, Jens Uwe Pipka, Thorsten Dittmar, Wim Boot
1999 — conf
Dynamic Component Gluing.
GCSE
Linda M. Seiter, Mira Mezini, Karl J. Lieberherr
1998 A conf
Adaptive Plug-and-Play Components for Evolutionary Software Development.
OOPSLA
Mira Mezini, Karl J. Lieberherr
1998 — book
Variational Object-Oriented Programming Beyond Classes and Inheritance.
Mira Mezini
1997 A conf
Dynamic Object Evolution without Name Collisions.
ECOOP
Mira Mezini
1997 A conf
Maintaining the Consistency of Class Libraries During Their Evolution.
OOPSLA
Mira Mezini
1994 J jnl
4th Workshop for Doctoral Student in Object-Oriented Systems, Held in Conjunction with ECOOP'94 (Report).
ACM SIGPLAN Notices
Thilo Kielmann, Mira Mezini, Arjan Loeffen