Mira Mezini

Not registered as user yet

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

Personal website: http://www.stg.tu-darmstadt.de/staff/mira_mezini/

Research interests: Software development paradigms and tools

Contributions

GPCE 2019Keynote Speaker in Keynote Speaker within the GPCE 2019-track
MSR 2019Author 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'19Author of Language Support for Multiple Privacy Enhancing Technologies within the MoreVMs'19-track
SPLASH 2019Author 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
ISSTA 2019Author of Judge: Identifying, Understanding, and Evaluating Sources of Unsoundness in Call Graphs within the Technical Papers-track
ECOOP 2019Author 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› 2019Author of Comprehensive Multiparty Session Types within the Research Papers-track
REBLS 2018Author of Distributing Thread-Safety for Reactive Programming within the REBLS 2018-track
LIVE 2018Author of From Debugging Towards Live Tuning of Reactive Applications within the LIVE 2018-track
FTfJP 2018Author of Incremental Overload Resolution in Object-Oriented Programming Languages within the FTfJP-track
SOAP 2018Author 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 2018Author of Towards Safe Modular Composition of Network Functions within the PASS 2018-track
PX/18Author of Reactive Programming Experience with REScala within the PX/18-track
SPLASH 2018Author 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 IVCommittee Member in Program Committee within the Papers-track
ICSE 2019Committee Member in Program Board within the Technical Track-track
ICFP 2018Author of Versatile Event Correlation with Algebraic Effects within the Research Papers-track
‹Programming› 2018Committee Member in Program Committee within the Research Papers-track
SOAP 2017Author of Hermes: Assessment and Creation of Effective Test Corpora within the SOAP-track
IC 2017Author of Privacy-aware Distributed Incremental Computation within the IC 2017-track
ESEC/FSE 2018Author of A Systematic Evaluation of Static API-Misuse Detectors within the Journal-First-track
PLDI 2018Committee Member in External Program Committee
CurryOn 2017Author of Modular Composition of Reactive Applications within the Curry On Talks-track
POPL 2018Committee Member in Program Committee within the Research Papers-track
Modularity 2017Invited speaker of Modular Composition of Reactive Applications (from aspects to events and back) within the Modularity Invited Talks-track
Scala 2016Author of SecureScala: Scala Embedding of Secure Computations within the Scala-track
POPL 2017ERC member in External Review Committee within the POPL-track
ECOOP 2018Author 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 ISSTAAuthor of Fault-tolerant Distributed Reactive Programming within the Posters-track
SPLASH 2017Committee Member in Program Committee within the OOPSLA-track
ECOOP 2017Author 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 2016ERC member in External Program Committee within the OOPSLA-track
Onward! 2015Author 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 2015Committee 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 2014Author 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 2013Author of Template Constructors for Reusable Object Initialization within the Research Papers-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track