Mira Mezini

Registered user since Thu 15 Jul 2021

Name:Mira Mezini
Bio:

I am a Professor of Computer Science at the Technical University of Darmstadt, Germany.

My research focuses on software development paradigms and tools.

On the paradigms side, I develop programming languages to enable the visions of “software as a service (SaaS)” and “software product-lines” by providing large-scale module concepts with built-in support for adaptability and extensibility.

On the tools side, I work on intelligent software-development environments that guide developers to increase the development productivity and the software quality. Such environment leverage web-based resources to automatically generate and recommend established programming rules and patterns; they also enable architects to explicitly specify such patterns to be enforced during development.

I have (co)authored over 100 scientific publications in renowned publication venues in software engineering and programming languages. I regularly serve on steering committees, program committees, and editorial boards of top tier conferences and journals in software engineering and programming languages.

Country:Germany
Affiliation:TU Darmstadt, Germany
Research interests:Software development paradigms and tools

Contributions

PLDI 2022 Committee Member in PLDI within the PLDI-track
ECOOP 2022 General Chair in Organizers
AISTA 2021 Author of NerdBug: Automated Bug Detection in Neural Networks within the AISTA-track
Author of Impact of Programming Languages on Machine Learning Bugs within the AISTA-track
POPL 2022 Author of Dependently-Typed Data Plane Programming within the POPL-track
ASE 2021 Author of CiFi: Versatile Analysis of Class and Field Immutability within the Artifact Evaluation-track
Author of CiFi: Versatile Analysis of Class and Field Immutability within the Research Papers-track
ICSE 2023 Chair in New Faculty Symposium within the New Faculty Symposium-track
New Faculty and Researcher Symposium Co-chairs in Organising Committee
SPLASH 2021 Committee Member in Review Committee within the OOPSLA-track
ESEM 2021 Author of Python Crypto Misuses in the Wild within the Emerging Results and Vision papers-track
ESEC/FSE 2021 Committee Member in Program Committee within the Research Papers-track
Keynote Speaker of Programming and Execution Models for Next Generation Code Intelligence Systems within the Plenary Events-track
ECOOP 2021 Session Chair of Multiparty Programming and Session Types (time band 1) (part of ECOOP Technical Papers)
Author of Dealing with Variability in API Misuse Specification within the ECOOP Technical Papers-track
PC Member in Program Committee within the ECOOP Technical Papers-track
ECOOP and ISSTA 2021 Presenter of ECOOP 2022 Preview within the 2022 Previews-track
Author of PL/SE for Concurrent / Distributed Systems within the Discussions with Experts-track
Session Chair of PL/SE for Concurrent / Distributed Systems (part of Discussions with Experts)
SOAP 2020 Author of TACAI: An Intermediate Representation based on Abstract Interpretation within the SOAP 2020-track
‹Programming› 2021 Author of ReactiFi: Reactive Programming of Wi-Fi Firmware on Mobile Devices within the Research Papers-track
ICSE 2022 Committee Member in Program Committee within the Technical Track-track
ISSTA 2020 Author of A Programming Model for Semi-implicit Parallelization of Static Analyses within the Technical Papers-track
ESEC/FSE 2020 Author of Modular Collaborative Program Analysis in OPAL within the Research Papers-track
ICFP 2020 Presenter of Award Presentations & Chair Report within the ICFP Program-track
NJR 2019 Author of From analysing programs to testing program analyses: How research relies on and enriches SE knowledge within the NJR 2019-track
REBLS 2019 Author of GRASS: Generic Reactive Application-Specific Scheduling within the REBLS-track
GPCE 2019 Keynote Speaker of Let it Flow: Dataflow abstractions for interactive distributed applications within the GPCE 2019-track
Keynote Speaker in Keynote Speaker within the GPCE 2019-track
MSR 2019 Author of Investigating Next-Steps in Static API-Misuse Detection within the MSR 2019 Technical Papers-track
Author of A Dataset of Parametric Cryptographic Misuses within the MSR 2019 Data Showcase-track
MoreVMs'19 Author of Language Support for Multiple Privacy Enhancing Technologies within the MoreVMs'19-track
SPLASH 2019 Author of Language-Integrated Privacy-Aware Distributed Queries within the Posters-track
Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the Posters-track
Author of A Fault-Tolerant Programming Model for Distributed Interactive Applications within the OOPSLA-track
Author of Language-Integrated Privacy-Aware Distributed Queries within the OOPSLA-track
DLS 2011 Committee Member in Program Committee within the DLS 2011-track
ISSTA 2019 Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track
ECOOP 2019 Author of Type-Safe Data Plane Programming with SafeP4 within the Posters-track
Author of How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 within the Research Papers-track
Author of Interactive Decentralised Software Made Easy within the Summer School-track
‹Programming› 2019 Author of Comprehensive Multiparty Session Types within the Research Papers-track
REBLS 2018 Author of Distributing Thread-Safety for Reactive Programming within the REBLS 2018-track
LIVE 2018 Author of From Debugging Towards Live Tuning of Reactive Applications within the LIVE 2018-track
FTfJP 2018 Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
SOAP 2018 Author of Lattice Based Modularization of Static Analyses within the SOAP-track
Author of Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java within the SOAP-track
PASS 2018 Author of Towards Safe Modular Composition of Network Functions within the PASS 2018-track
PX/18 Author of Reactive Programming Experience with REScala within the PX/18-track
SPLASH 2018 Author of Thread-Safe Reactive Programming within the Artifacts-track
Author of Thread-Safe Reactive Programming within the Posters-track
Author of Thread-Safe Reactive Programming within the OOPSLA-track
HOPL IV Committee Member in Program Committee within the Papers-track
ICSE 2019 Committee Member in Program Board within the Technical Track-track
ICFP 2018 Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
‹Programming› 2018 Committee Member in Program Committee within the Research Papers-track
SOAP 2017 Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track
IC 2017 Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
ESEC/FSE 2018 Author of A Systematic Evaluation of Static API-Misuse Detectors within the Journal-First-track
PLDI 2018 Committee Member in External Program Committee
CurryOn 2017 Author of Modular Composition of Reactive Applications within the Curry On Talks-track
POPL 2018 Committee Member in Program Committee within the Research Papers-track
Modularity 2017 Invited Speaker of Modular Composition of Reactive Applications (from aspects to events and back) within the Modularity Invited Talks-track
Scala 2016 Author of SecureScala: Scala Embedding of Secure Computations within the Scala-track
POPL 2017 ERC member in External Review Committee within the POPL-track
ECOOP 2018 Author of Fault-tolerant Distributed Reactive Programming within the ECOOP Research Papers-track
Author of CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs within the ECOOP Research Papers-track
ECOOP and ISSTA 2018 Author of Fault-tolerant Distributed Reactive Programming within the Posters-track
SPLASH 2017 Committee Member in Program Committee within the OOPSLA-track
ECOOP 2017 Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track
Modularity 2016 Author of Cooperative Decoupled Processes: The E-Calculus and Linearity within the Research Results-track
Author of CPL: A Core Language for Cloud Computing within the Research Results-track
SPLASH 2016 ERC member in External Program Committee within the OOPSLA-track
Onward! 2015 Author of Type Systems for the Masses: Deriving Soundness Proofs and Efficient Checkers within the Onward! Papers-track
Author of Towards Secure Integration of Cryptographic Software within the Onward! Papers-track
Committee Member in Program Committee within the Onward! Essays-track
SPLASH 2015 Committee Member in External Review Committee within the OOPSLA-track
Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
Author of Toward Incremental Type Checking for Java within the Posters-track
SPLASH 2014 Author of i3QL: Language-Integrated Live Data Views within the OOPSLA-track
Presenter of i3QL: Language-Integrated Live Data Views within the OOPSLA Artifacts-track
Committee Member in External Review Committee within the OOPSLA-track
Author of Distributed REScala: An Update Algorithm for Distributed Reactive Programming within the OOPSLA-track
GPCE 2013 Author of Template Constructors for Reusable Object Initialization within the Research Papers-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2011 Author of Naturalistic Types within the Onward! -track
Author of Da Capo con Scala: Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine within the OOPSLA-track