Mira Mezini

ORCID

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 136

Top Venues

Publications

Cedric Derstroff, Jannis Brugger, Jannis Blüml, Mira Mezini, Stefan Kramer, Kristian Kersting
Amplifying Exploration in Monte-Carlo Tree Search by Focusing on the Unknown. CoRR (2024)
Daniel Maninger, Krishna Narasimhan, Mira Mezini
Towards Trustworthy AI Software Development Assistance. NIER@ICSE (2024)
Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. CoRR (2024)
Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini
A Critical Study of What Code-LLMs (Do Not) Learn. CoRR (2024)
Anna-Katharina Wickert, Michael Schlichtig, Marvin Vogel, Lukas Winter, Mira Mezini, Eric Bodden
Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability. SANER (2024)
Abhinav Anand, Shweta Verma, Krishna Narasimhan, Mira Mezini
A Critical Study of What Code-LLMs (Do Not) Learn. ACL (Findings) (2024)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-first Software. ACM Trans. Program. Lang. Syst. 46 (1) (2024)
Julian Haas, Ragnar Mogk, Annette Bieniusa, Mira Mezini
Distributed Locking as a Data Type. CoRR (2024)
Sven Keidel, Dominik Helm, Tobias Roth, Mira Mezini
A Modular Soundness Theory for the Blackboard Analysis Architecture. ESOP (2) (2024)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
Compiling with Arrays. CoRR (2024)
Daniel Maninger, Krishna Narasimhan, Mira Mezini
Towards Trustworthy AI Software Development Assistance. CoRR (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini
Algebraic Replicated Data Types: Programming Secure Local-First Software. ECOOP (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. ECOOP (2023)
Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP (2023)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45 (3) (2023)
Timon Böhler, David Richter, Mira Mezini
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. CoRR (2023)
Marcel Ochs, Krishna Narasimhan, Mira Mezini
Evaluating and improving transformers pre-trained on ASTs for Code Completion. SANER (2023)
Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini
Towards Code Generation from BDD Test Case Specifications: A Vision. CoRR (2023)
Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini
UnGoML: Automated Classification of unsafe Usages in Go. MSR (2023)
Florian Breitfelder, Tobias Roth, Lars Baumgärtner, Mira Mezini
WasmA: A Static WebAssembly Analysis Framework for Everyone. SANER (2023)
David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini
A Direct-Style Effect Notation for Sequential and Parallel Programs. CoRR (2023)
Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini
UNGOML: Automated Classification of unsafe Usages in Go. CoRR (2023)
Timon Böhler, David Richter, Mira Mezini
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. FTfJP@ECOOP (2023)
Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini
Towards Code Generation from BDD Test Case Specifications: A Vision. CAIN (2023)
Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev (2023)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-Typed Data Plane Programming. CoRR (2022)
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. CoRR (2022)
Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini
jGuard: Programming Misuse-Resilient APIs. SLE (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract). ECOOP (2022)
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering (2022)
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6 (POPL) (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR (2022)
David Richter, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version). CoRR (2022)
Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. TrustCom (2022)
Patrick Müller, Krishna Narasimhan, Mira Mezini
Fex: Assisted Identification of Domain Features from C Programs. SCAM (2021)
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
Dealing with Variability in API Misuse Specification. CoRR (2021)
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. Art Sci. Eng. Program. 5 (2) (2021)
Julian Zobel, Patrick Lieser, Tobias Meuser, Lars Baumgärtner, Mira Mezini, Ralf Steinmetz
Modeling Civilian Mobility in Large-Scale Disasters. ISCRAM (2021)
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini
Python Crypto Misuses in the Wild. CoRR (2021)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Trans. Software Eng. 47 (11) (2021)
Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini
Dealing with Variability in API Misuse Specification. ECOOP (2021)
Mira Mezini
Programming and execution models for next generation code intelligence systems (keynote). ESEC/SIGSOFT FSE (2021)
Foad Jafarinejad, Krishna Narasimhan, Mira Mezini
NerdBug: automated bug detection in neural networks. AISTA@ISSTA (2021)
Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini
CiFi: Versatile Analysis of Class and Field Immutability. ASE (2021)
Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini
Python Crypto Misuses in the Wild. ESEM (2021)
Sebastian Sztwiertnia, Maximilian Grübel, Amine Chouchane, Daniel Sokolowski, Krishna Narasimhan, Mira Mezini
Impact of programming languages on machine learning bugs. AISTA@ISSTA (2021)
Patrick Müller, Krishna Narasimhan, Mira Mezini
Fex: Assisted Identification of Domain Features from C Programs. CoRR (2021)
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini
TACAI: an intermediate representation based on abstract interpretation. SOAP@PLDI (2020)
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. CoRR (2020)
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
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. TrustCom (2020)
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
Investigating Next Steps in Static API-Misuse Detection. SE (2020)
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
Mind the GAP: Security & Privacy Risks of Contact Tracing Apps. CoRR (2020)
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. CoRR (2020)
Artur Sterz, Matthias Eichholz, Ragnar Mogk, Lars Baumgärtner, Pablo Graubner, Matthias Hollick, Mira Mezini, Bernd Freisleben
ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices. CoRR (2020)
Dominik Helm, Florian Kübler, Jan Thomas Kölzer, Philipp Haller, Michael Eichberg, Guido Salvaneschi, Mira Mezini
A programming model for semi-implicit parallelization of static analyses. ISSTA (2020)
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
Modular Collaborative Program Analysis in OPAL. CoRR (2020)
Leonid Glanz, Patrick Müller, Lars Baumgärtner, Michael Reif, Sven Amann, Pauline Anthonysamy, Mira Mezini
Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy. AsiaCCS (2020)
Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. TrustCom (2020)
Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini
Modular collaborative program analysis in OPAL. ESEC/SIGSOFT FSE (2020)
Lars Baumgärtner, Patrick Lieser, Julian Zobel, Bastian Bloessl, Ralf Steinmetz, Mira Mezini
LoRAgent: A DTN-based Location-aware Communication System using LoRa. GHTC (2020)
Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben
DTN7: An Open-Source Disruption-tolerant Networking Implementation of Bundle Protocol 7. CoRR (2019)
Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH (2019)
Alvar Penning, Lars Baumgärtner, Jonas Höchst, Artur Sterz, Mira Mezini, Bernd Freisleben
DTN7: An Open-Source Disruption-Tolerant Networking Implementation of Bundle Protocol 7. ADHOC-NOW (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. ECOOP (2019)
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. CoRR (2019)
Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. ISSTA (2019)
Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3 (3) (2019)
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. GHTC (2019)
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
Investigating next steps in static API-misuse detection. MSR (2019)
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
A Unified Lattice Model and Framework for Purity Analyses. SE/SWM (2019)
Aditya Oak, Mira Mezini, Guido Salvaneschi
Language support for multiple privacy enhancing technologies. Programming (2019)
Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini
A Systematic Evaluation of Static API-Misuse Detectors. IEEE Trans. Software Eng. 45 (12) (2019)
Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini
Type-safe, Polyvariadic Event Correlation. CoRR (2019)
Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini
A dataset of parametric cryptographic misuses. MSR (2019)
Guido Salvaneschi, Mirko Köhler, Daniel Sokolowski, Philipp Haller, Sebastian Erdweg, Mira Mezini
Language-integrated privacy-aware distributed queries. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4. CoRR (2019)
Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini
Online Reprogrammable Multi Tenant Switches. ENCP@CoNEXT (2019)
Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini
A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Lars Baumgärtner, Jonas Höchst, Patrick Lampe, Ragnar Mogk, Artur Sterz, Pascal Weisenburger, Mira Mezini, Bernd Freisleben
Smart Street Lights and Mobile Citizen Apps for Resilient Communication in a Digital City. CoRR (2019)
Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle, Mira Mezini
Optimizing Data Plane Programs for the Network. NetPL@SIGCOMM (2019)
Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini
CodeMatch. Software Engineering (2018)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP (2018)
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops (2018)
Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini
Fault-tolerant Distributed Reactive Programming. ECOOP (2018)
Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. ICSOFT (2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. ECOOP (2018)
Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155 (2018)
Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
Cooperative decoupled processes. Softw. Qual. J. 26 (3) (2018)
Matthias Eichholz, Guido Salvaneschi, Mira Mezini
Towards safe modular composition of network functions. Programming (2018)
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2 (ICFP) (2018)
Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini
Systematic evaluation of the unsoundness of call graph construction algorithms for Java. ISSTA/ECOOP Workshops (2018)
Ragnar Mogk, Guido Salvaneschi, Mira Mezini
Reactive programming experience with REScala. Programming (2018)
Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini
A unified lattice model and framework for purity analyses. ASE (2018)
Pablo Graubner, Christoph Thelen, Michael Körber, Artur Sterz, Guido Salvaneschi, Mira Mezini, Bernhard Seeger, Bernd Freisleben
Multimodal Complex Event Processing on Mobile Devices. DEBS (2018)

Mira Mezini.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mira Mezini