Publications

Think locally, act globally: A programming model for decentralized applications.
Haas, Kuessner, Mogk, Mezini, INTERNET (4). 10.1109/MIC.2025.3618947

Prompting neural-guided equation discovery based on residuals.
Brugger, Pfanschilling, Richter, Mezini, Kramer, DIS. 10.1007/978-3-032-05461-6\_7

Scaling up: Revisiting mining android sandboxes at scale for malware classification (replication paper).
Costa, Medeiros, Oliveira, Calássio, Bonifácio, Narasimhan, Mezini, Ribeiro, ECOOP. 10.4230/LIPICS.ECOOP.2025.40

Integrating symbolic execution into the fine-tuning of code-generating LLMs.
Sakharova, Anand, Mezini, NAACL. 10.18653/V1/2025.NAACL-SRW.27

AI-assisted programming: From intelligent code completion to foundation models: A twenty-year journey.
Mezini, SE. 10.18420/SE2025-02

Unimocg: Modular call-graph algorithms for consistent handling of language features.
Helm, Roth, Keidel, Reif, Mezini, SE. 10.18420/SE2025-15

Total recall? How good are static call graphs really?.
Helm, Keidel, Kampkötter, Düsing, Roth, Hermann, Mezini, SE. 10.18420/SE2025-28

AXA: Cross-language analysis through integration of single-language analyses.
Roth, Näumann, Helm, Keidel, Mezini, SE. 10.18420/SE2025-29

Compiling with arrays (artifact).
Richter, Böhler, Weisenburger, Mezini, DARTS (2). 10.4230/DARTS.10.2.18

LoRe: A programming model for verifiably safe local-first software.
Haas, Mogk, Yanakieva, Bieniusa, Mezini, TOPLAS (1). 10.1145/3633769

A critical study of what code-LLMs (do not) learn.
Anand, Verma, Narasimhan, Mezini, ACL. 10.18653/V1/2024.FINDINGS-ACL.939

Transitions in wireless networks: Selected results of collaborative research in MAKI.
Freisleben, Hinz, Hollick, Klein, Mezini, Ortiz, BIRTHDAY. 10.1007/978-3-031-71874-8\_11

Residuals for equation discovery.
Brugger, Pfanschilling, Mezini, Kramer, DIS.

Compiling with arrays.
Richter, Böhler, Weisenburger, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2024.33

A modular soundness theory for the blackboard analysis architecture.
Keidel, Helm, Roth, Mezini, ESOP. 10.1007/978-3-031-57267-8\_14

Incrementalizing polynomial functors.
Böhler, Richter, Mezini, FTFJP. 10.1145/3678721.3686231

Towards trustworthy AI software development assistance.
Maninger, Narasimhan, Mezini, ICSE. 10.1145/3639476.3639770

Unimocg: Modular call-graph algorithms for consistent handling of language features.
Helm, Roth, Keidel, Reif, Mezini, ISSTA. 10.1145/3650212.3652109

Total recall? How good are static call graphs really?.
Helm, Keidel, Kampkötter, Düsing, Roth, Hermann, Mezini, ISSTA. 10.1145/3650212.3652114

AXA: Cross-language analysis through integration of single-language analyses.
Roth, Näumann, Helm, Keidel, Mezini, KBSE. 10.1145/3691620.3696193

Supporting error chains in static analysis for precise evaluation results and enhanced usability.
Wickert, Schlichtig, Vogel, Winter, Mezini, Bodden, WCRE. 10.1109/SANER60148.2024.00076

Total recall? How good are static call graphs really? - companion artifact (version 1.0.0).
Helm, Keidel, Kampkötter, Düsing, Roth, Hermann, Mezini, 10. 10.5281/ZENODO.10888532

Total recall? How good are static call graphs really? - companion artifact (version 2.0.0).
Helm, Keidel, Kampkötter, Düsing, Roth, Hermann, Mezini, 11. 10.5281/ZENODO.13134617

Unimocg: Modular call-graph algorithms for consistent handling of language features - companion artifact (version 1).
Helm, Roth, Keidel, Reif, Mezini, 11. 10.5281/ZENODO.10890011

Stg-tud/ainf-compiling-with-arrays.
Richter, Böhler, Weisenburger, Mezini, 11. 10.4230/ARTIFACTS.22453

Artifact of the paper "AXA: Cross-language analysis through integration of single-language analyses" (version 1).
Roth, Näumann, Helm, Keidel, Mezini, 11. 10.5281/ZENODO.13364691

Artifact of the paper "AXA: Cross-language analysis through integration of single-language analyses" (version 2).
Roth, Näumann, Helm, Keidel, Mezini, 11. 10.5281/ZENODO.13374578

LoRe: A programming model for verifiably safe local-first software (artifact).
Haas, Mogk, Yanakieva, Bieniusa, Mezini, DARTS (2). 10.4230/DARTS.9.2.11

A direct-style effect notation for sequential and parallel programs (artifact).
Richter, Böhler, Weisenburger, Mezini, DARTS (2). 10.4230/DARTS.9.2.17

Algebraic replicated data types: Programming secure local-first software (artifact).
Kuessner, Mogk, Wickert, Mezini, DARTS (2). 10.4230/DARTS.9.2.26

Prisma : A tierless language for enforcing contract-client protocols in decentralized applications.
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini, TOPLAS (3). 10.1145/3604629

Towards code generation from BDD test case specifications: A vision.
Chemnitz, Reichenbach, Aldebes, Naveed, Narasimhan, Mezini, CAIN. 10.1109/CAIN58948.2023.00031

LoRe: A programming model for verifiably safe local-first software (extended abstract).
Haas, Mogk, Yanakieva, Bieniusa, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2023.12

Algebraic replicated data types: Programming secure local-first software.
Kuessner, Mogk, Wickert, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2023.14

A direct-style effect notation for sequential and parallel programs.
Richter, Böhler, Weisenburger, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2023.25

Using rewrite strategies for efficient functional automatic differentiation.
Böhler, Richter, Mezini, FTFJP. 10.1145/3605156.3606456

UnGoML: Automated classification of unsafe usages in go.
Wickert, Damke, Baumgärtner, Hüllermeier, Mezini, MSR. 10.1109/MSR59073.2023.00050

Securing your crypto-API usage through tool support - A usability study.
Krüger, Reif, Wickert, Nadi, Ali, Bodden, Acar, Mezini, Fahl, SECDEV. 10.1109/SECDEV56634.2023.00015

WasmA: A static WebAssembly analysis framework for everyone.
Breitfelder, Roth, Baumgärtner, Mezini, WCRE. 10.1109/SANER56733.2023.00085

Evaluating and improving transformers pre-trained on ASTs for code completion.
Ochs, Narasimhan, Mezini, WCRE. 10.1109/SANER56733.2023.00096

Artifact for paper "a modular soundness theory for the blackboard analysis architecture" (version 1.0).
Keidel, Helm, Roth, Mezini, 10. 10.5281/ZENODO.10418007

Artifact for paper "a modular soundness theory for the blackboard analysis architecture" (version 1.1).
Keidel, Helm, Roth, Mezini, 10. 10.5281/ZENODO.10418484

Prisma: A tierless language for enforcing contract-client protocols in decentralized applications (artifact).
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini, DARTS (2). 10.4230/DARTS.8.2.16

Dependently-typed data plane programming.
Eichholz, Campbell, Krebs, Foster, Mezini, PACMPL (POPL). 10.1145/3498701

Prisma: A tierless language for enforcing contract-client protocols in decentralized applications (extended abstract).
Richter, Kretzler, Weisenburger, Salvaneschi, Faust, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2022.35

CiFi: Versatile analysis of class and field immutability.
Roth, Helm, Reif, Mezini, SE. 10.18420/SE2022-WS-027

jGuard: Programming misuse-resilient APIs.
Binder, Narasimhan, Kernig, Mezini, SLE. 10.1145/3567512.3567526

To fix or not to fix: A critical study of crypto-misuses in the wild.
Wickert, Baumgärtner, Schlichtig, Narasimhan, Mezini, TRUSTCOM. 10.1109/TRUSTCOM56396.2022.00051

Networked systems - 10th international conference, NETYS 2022, virtual event, may 17-19, 2022, proceedings.
NETYS. 10.1007/978-3-031-17436-0

ReactiFi: Reactive programming of wi-fi firmware on mobile devices.
Sterz, Eichholz, Mogk, Baumgärtner, Graubner, Hollick, Mezini, Freisleben, PROGRAMMING (2). 10.22152/PROGRAMMING-JOURNAL.ORG/2021/5/4

CrySL: An extensible approach to validating the correct usage of cryptographic APIs.
Krüger, Späth, Ali, Bodden, Mezini, TSE (11). 10.1109/TSE.2019.2948910

Dealing with variability in API misuse specification.
Bonifácio, Krüger, Narasimhan, Bodden, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2021.19

Python crypto misuses in the wild.
Wickert, Baumgärtner, Breitfelder, Mezini, ESEM. 10.1145/3475716.3484195

Modeling civilian mobility in large-scale disasters.
Zobel, Lieser, Meuser, Baumgärtner, Mezini, Steinmetz, ISCRAM.

Impact of programming languages on machine learning bugs.
Sztwiertnia, Grübel, Chouchane, Sokolowski, Narasimhan, Mezini, ISSTA. 10.1145/3464968.3468408

NerdBug: Automated bug detection in neural networks.
Jafarinejad, Narasimhan, Mezini, ISSTA. 10.1145/3464968.3468409

CiFi: Versatile analysis of class and field immutability.
Roth, Helm, Reif, Mezini, KBSE. 10.1109/ASE51524.2021.9678903

Fex: Assisted identification of domain features from C programs.
Müller, Narasimhan, Mezini, SCAM. 10.1109/SCAM52516.2021.00029

Programming and execution models for next generation code intelligence systems (keynote).
Mezini, SIGSOFT. 10.1145/3468264.3478688

Dealing with variability in API misuse specification (artifact package) (version 1).
Bonifácio, Krüger, Narasimhan, Bodden, Mezini, 10. 10.5281/ZENODO.4697875

Hidden in plain sight: Obfuscated strings threatening your privacy.
Glanz, Müller, Baumgärtner, Reif, Amann, Anthonysamy, Mezini, CCS. 10.1145/3320269.3384745

LoRAgent: A DTN-based location-aware communication system using LoRa.
Baumgärtner, Lieser, Zobel, Bloessl, Steinmetz, Mezini, GHTC. 10.1109/GHTC46280.2020.9342886

A programming model for semi-implicit parallelization of static analyses.
Helm, Kübler, Kölzer, Haller, Eichberg, Salvaneschi, Mezini, ISSTA. 10.1145/3395363.3397367

TACAI: An intermediate representation based on abstract interpretation.
Reif, Kübler, Helm, Hermann, Eichberg, Mezini, PLDI. 10.1145/3394451.3397204

Investigating next steps in static API-misuse detection.
Amann, Nguyen, Nadi, Nguyen, Mezini, SE. 10.18420/SE2020\_32

Modular collaborative program analysis in OPAL.
Helm, Kübler, Reif, Eichberg, Mezini, SIGSOFT. 10.1145/3368089.3409765

Uncovering the hidden dangers: Finding unsafe go code in the wild.
Lauinger, Baumgärtner, Wickert, Mezini, TRUSTCOM. 10.1109/TRUSTCOM50675.2020.00063

Mind the GAP: Security & privacy risks of contact tracing apps.
Baumgärtner, Dmitrienko, Freisleben, Gruler, Höchst, Kühlberg, Mezini, Mitev, Miettinen, Muhamedagic, Nguyen, Penning, Pustelnik, Roos, Sadeghi, Schwarz, Uhl, TRUSTCOM. 10.1109/TRUSTCOM50675.2020.00069

Artifact for modular collaborative program analysis in OPAL (version 3).
Helm, Kübler, Reif, Eichberg, Mezini, 10. 10.5281/ZENODO.3872848

Evaluation results for modular collaborative program analysis in OPAL (version 1).
Helm, Kübler, Reif, Eichberg, Mezini, 10. 10.5281/ZENODO.3972736

A fault-tolerant programming model for distributed interactive applications.
Mogk, Drechsler, Salvaneschi, Mezini, PACMPL (OOPSLA). 10.1145/3360570

Language-integrated privacy-aware distributed queries.
Salvaneschi, Köhler, Sokolowski, Haller, Erdweg, Mezini, PACMPL (OOPSLA). 10.1145/3360593

Comprehensive multiparty session types.
Bejleri, Domnori, Viering, Eugster, Mezini, PROGRAMMING (3). 10.22152/PROGRAMMING-JOURNAL.ORG/2019/3/6

A systematic evaluation of static API-misuse detectors.
Amann, Nguyen, Nadi, Nguyen, Mezini, TSE (12). 10.1109/TSE.2018.2827384

DTN7: An open-source disruption-tolerant networking implementation of bundle protocol 7.
Penning, Baumgärtner, Höchst, Sterz, Mezini, Freisleben, ADHOC-NOW. 10.1007/978-3-030-31831-4\_14

Online reprogrammable multi tenant switches.
Krude, Hofmann, Eichholz, Wehrle, Koch, Mezini, CONEXT. 10.1145/3359993.3366643

How to avoid making a billion-dollar mistake: Type-safe data plane programming with SafeP4.
Eichholz, Campbell, Foster, Salvaneschi, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2019.12

Smart street lights and mobile citizen apps for resilient communication in a digital city.
Baumgärtner, Höchst, Lampe, Mogk, Sterz, Weisenburger, Mezini, Freisleben, GHTC. 10.1109/GHTC46095.2019.9033134

Judge: Identifying, understanding, and evaluating sources of unsoundness in call graphs.
Reif, Kübler, Eichberg, Helm, Mezini, ISSTA. 10.1145/3293882.3330555

A dataset of parametric cryptographic misuses.
Wickert, Reif, Eichberg, Dodhy, Mezini, MSR. 10.1109/MSR.2019.00023

Investigating next steps in static API-misuse detection.
Amann, Nguyen, Nadi, Nguyen, Mezini, MSR. 10.1109/MSR.2019.00053

GRASS: Generic reactive application-specific scheduling.
Blöcher, Eichholz, Weisenburger, Eugster, Mezini, Salvaneschi, OOPSLA. 10.1145/3358503.3361274

Language support for multiple privacy enhancing technologies.
Oak, Mezini, Salvaneschi, PROGRAMMING. 10.1145/3328433.3328446

A unified lattice model and framework for purity analyses.
Helm, Kübler, Eichberg, Reif, Mezini, SE. 10.18420/SE2019-10

Optimizing data plane programs for the network.
Krude, Eichholz, Winck, Wehrle, Mezini, SIGCOMM. 10.1145/3341561.3349590

CrySL: An extensible approach to validating the correct usage of cryptographic APIs (artifact).
Krüger, Späth, Ali, Bodden, Mezini, DARTS (3). 10.4230/DARTS.4.3.6

Versatile event correlation with algebraic effects.
Bracevac, Amin, Salvaneschi, Erdweg, Eugster, Mezini, PACMPL (ICFP). 10.1145/3236762

Thread-safe reactive programming.
Drechsler, Mogk, Salvaneschi, Mezini, PACMPL (OOPSLA). 10.1145/3276477

Exploration of language specifications by compilation to first-order logic.
Grewe, Erdweg, Pacak, Raulf, Mezini, SCP. 10.1016/J.SCICO.2017.08.001

Cooperative decoupled processes.
Bejleri, Mezini, Eugster, Domnori, SQJ (3). 10.1007/S11219-017-9366-6

Opportunistic named functions in disruption-tolerant emergency networks.
Graubner, Lampe, Hochst, Baumgärtner, Mezini, Freisleben, CF. 10.1145/3203217.3203234

Multimodal complex event processing on mobile devices.
Graubner, Thelen, Körber, Sterz, Salvaneschi, Mezini, Seeger, Freisleben, DEBS. 10.1145/3210284.3210289

Fault-tolerant distributed reactive programming.
Mogk, Baumgärtner, Salvaneschi, Freisleben, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2018.1

CrySL: An extensible approach to validating the correct usage of cryptographic APIs.
Krüger, Späth, Ali, Bodden, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2018.10

On the impact of order information in API usage patterns.
Çergani, Mezini, ICSOFT. 10.1007/978-3-030-29157-0\_4

Investigating order information in API-usage patterns: A benchmark and empirical study.
Çergani, Proksch, Nadi, Mezini, ICSOFT. 10.5220/0006839000910102

Incremental overload resolution in object-oriented programming languages.
Szabó, Kuci, Bijman, Mezini, Erdweg, ISSTA. 10.1145/3236454.3236485

Systematic evaluation of the unsoundness of call graph construction algorithms for java.
Reif, Kübler, Eichberg, Mezini, ISSTA. 10.1145/3236454.3236503

Lattice based modularization of static analyses.
Eichberg, Kübler, Helm, Reif, Salvaneschi, Mezini, ISSTA. 10.1145/3236454.3236509

A unified lattice model and framework for purity analyses.
Helm, Kübler, Eichberg, Reif, Mezini, KBSE. 10.1145/3238147.3238226

System description: An infrastructure for combining domain knowledge with automated theorem provers.
Grewe, Erdweg, Pacak, Mezini, PPDP. 10.1145/3236950.3236960

Towards safe modular composition of network functions.
Eichholz, Salvaneschi, Mezini, PROGRAMMING. 10.1145/3191697.3213804

Reactive programming experience with REScala.
Mogk, Salvaneschi, Mezini, PROGRAMMING. 10.1145/3191697.3214337

CodeMatch.
Glanz, Amann, Eichberg, Reif, Mezini, SE.

Call graph construction for java libraries.
Reif, Eichberg, Mezini, SE.

On the positive effect of reactive programming on software comprehension: An empirical study.
Salvaneschi, Proksch, Amann, Nadi, Mezini, TSE (12). 10.1109/TSE.2017.2655524

A co-contextual type checker for featherweight java.
Kuci, Erdweg, Bracevac, Bejleri, Mezini, ECOOP. 10.4230/LIPICS.ECOOP.2017.18

CogniCrypt: Supporting developers in using cryptography.
Krüger, Nadi, Reif, Ali, Mezini, Bodden, Göpfert, Günther, Weinert, Demmler, Kamath, KBSE. 10.1109/ASE.2017.8115707

DTN-RPC: Remote procedure calls for disruption-tolerant networking.
Sterz, Baumgärtner, Mogk, Mezini, Freisleben, NETWORKING. 10.23919/IFIPNETWORKING.2017.8264848

Hermes: Assessment and creation of effective test corpora.
Reif, Eichberg, Hermann, Mezini, PLDI. 10.1145/3088515.3088523

"Jumping through hoops": Why do java developers struggle with cryptography APIs?.
Nadi, Krüger, Mezini, Bodden, SE.

CodeMatch: Obfuscation won’t conceal your repackaged app.
Glanz, Amann, Eichberg, Reif, Hermann, Lerch, Mezini, SIGSOFT. 10.1145/3106237.3106305

Hardening java’s access control by abolishing implicit privilege elevation.
Holzinger, Hermann, Lerch, Bodden, Mezini, SP. 10.1109/SP.2017.16

Enriching in-IDE process information with fine-grained source code history.
Proksch, Nadi, Amann, Mezini, WCRE. 10.1109/SANER.2017.7884626

Cooperative decoupled processes: The e-calculus and linearity.
Bejleri, Mezini, Eugster, AOSD. 10.1145/2889443.2889449

CPL: A core language for cloud computing.
Bracevac, Erdweg, Salvaneschi, Mezini, AOSD. 10.1145/2889443.2889452

Automating proof steps of progress proofs: Comparing vampire and dafny.
Grewe, Erdweg, Mezini, CADE. 10.29007/5ZJP

Debugging reactive programming with reactive inspector.
Salvaneschi, Mezini, ICSE. 10.1145/2889160.2893174

Debugging for reactive programming.
Salvaneschi, Mezini, ICSE. 10.1145/2884781.2884815

Jumping through hoops: Why do java developers struggle with cryptography APIs?.
Nadi, Krüger, Mezini, Bodden, ICSE. 10.1145/2884781.2884790

Evaluating the evaluations of code recommender systems: A reality check.
Proksch, Amann, Nadi, Mezini, KBSE. 10.1145/2970276.2970330

MUBench: A benchmark for API-misuse detectors.
Amann, Nadi, Nguyen, Nguyen, Mezini, MSR. 10.1145/2901739.2903506

A dataset of simplified syntax trees for c#.
Proksch, Amann, Nadi, Mezini, MSR. 10.1145/2901739.2903507

Exploration of language specifications by compilation to first-order logic.
Grewe, Erdweg, Raulf, Mezini, PPDP. 10.1145/2967973.2968606

SecureScala: Scala embedding of secure computations.
Hauck, Savvides, Eugster, Mezini, Salvaneschi, SCALA. 10.1145/2998392.2998403

Intelligent code completion with bayesian networks.
Proksch, Lerch, Mezini, SE.

Getting to know you: Towards a capability model for java.
Hermann, Reif, Eichberg, Mezini, SE.

Hidden truths in dead software paths.
Eichberg, Hermann, Mezini, Glanz, SE.

An empirical study on program comprehension with reactive programming.
Salvaneschi, Amann, Proksch, Mezini, SE.

Addressing scalability in API method call analytics.
Çergani, Proksch, Nadi, Mezini, SIGSOFT. 10.1145/2989238.2989240

Call graph construction for java libraries.
Reif, Eichberg, Hermann, Lerch, Mezini, SIGSOFT. 10.1145/2950290.2950312

A study of visual studio usage in practice.
Amann, Proksch, Nadi, Mezini, WCRE. 10.1109/SANER.2016.39

Abmash: Mashing up legacy web applications by automated imitation of human actions.
Ortac, Monperrus, Mezini, SPE (5). 10.1002/SPE.2249

Intelligent code completion with bayesian networks.
Proksch, Lerch, Mezini, TOSEM (1). 10.1145/2744200

Using vampire in soundness proofs of type systems.
Grewe, Erdweg, Mezini, CADE. 10.29007/22X6

Access-path abstraction: Scaling field-sensitive data-flow analysis with unbounded access paths (T).
Lerch, Späth, Bodden, Mezini, KBSE. 10.1109/ASE.2015.9

Towards secure integration of cryptographic software.
Arzt, Nadi, Ali, Bodden, Erdweg, Mezini, OOPSLA. 10.1145/2814228.2814229

Toward incremental type checking for java.
Kuci, Erdweg, Mezini, OOPSLA. 10.1145/2814189.2817272

Type systems for the masses: Deriving soundness proofs and efficient checkers.
Grewe, Erdweg, Wittmann, Mezini, OOPSLA. 10.1145/2814228.2814239

A co-contextual formulation of type rules and its application to incremental type checking.
Erdweg, Bracevac, Kuci, Krebs, Mezini, OOPSLA. 10.1145/2814270.2814277

Hidden truths in dead software paths.
Eichberg, Hermann, Mezini, Glanz, SIGSOFT. 10.1145/2786805.2786865

Getting to know you: Towards a capability model for java.
Hermann, Reif, Eichberg, Mezini, SIGSOFT. 10.1145/2786805.2786829

JP2: Call-site aware calling context profiling for the java virtual machine.
Sarimbekov, Sewe, Binder, Moret, Mezini, SCP. 10.1016/J.SCICO.2011.11.003

Programming with implicit flows.
Salvaneschi, Eugster, Mezini, SOFTWARE (5). 10.1109/MS.2014.101

Finding bugs in program generators by dynamic analysis of syntactic language constraints.
Erdweg, Vergu, Mezini, Visser, AOSD. 10.1145/2584469.2584474

REScala: Bridging between object-oriented and functional style in reactive applications.
Salvaneschi, Hintz, Mezini, AOSD. 10.1145/2577080.2577083

Blending and reusing rules for architectural degradation prevention.
Gurgel, Bertran, Garcia, Staa, Mezini, Eichberg, Mitschke, AOSD. 10.1145/2577080.2577087

JEScala: Modular coordination with declarative events and joins.
Ham, Salvaneschi, Mezini, Noyé, AOSD. 10.1145/2577080.2577082

Modular specification and dynamic enforcement of syntactic language constraints when generating code.
Erdweg, Vergu, Mezini, Visser, AOSD. 10.1145/2577080.2577089

Towards virtual traits in scala.
Weiel, Maier, Erdweg, Eichberg, Mezini, ECOOP. 10.1145/2637647.2637654

Weaving aspects and business processes through model transformation.
Witteborg, Charfi, Collell, Mezini, ESOCC. 10.1007/978-3-662-44879-3\_4

Method-call recommendations from implicit developer feedback.
Amann, Proksch, Mezini, ICSE. 10.1145/2593728.2593730

Towards standardized evaluation of developer-assistance tools.
Proksch, Amann, Mezini, ICSE. 10.1145/2593822.2593827

Distributed REScala: An update algorithm for distributed reactive programming.
Drechsler, Salvaneschi, Mogk, Mezini, OOPSLA. 10.1145/2660193.2660240

i3QL: Language-integrated live data views.
Mitschke, Erdweg, Köhler, Mezini, Salvaneschi, OOPSLA. 10.1145/2660193.2660242

SPLLIFT - statically analyzing software product lines in minutes instead of years.
Bodden, Tolêdo, Ribeiro, Brabrand, Borba, Mezini, SE.

FlowTwist: Efficient context-sensitive inside-out taint analysis for large codebases.
Lerch, Hermann, Bodden, Mezini, SIGSOFT. 10.1145/2635868.2635878

An empirical study on program comprehension with reactive programming.
Salvaneschi, Amann, Proksch, Mezini, SIGSOFT. 10.1145/2635868.2635895

Incremental concrete syntax for embedded languages with support for separate compilation.
Dinkelaker, Eichberg, Mezini, SCP (6). 10.1016/J.SCICO.2012.12.002

Modular specification and checking of structural dependencies.
Mitschke, Eichberg, Mezini, Garcia, Bertran, TAOSD. 10.1007/978-3-642-55099-7\_6

Towards reactive programming for object-oriented applications.
Salvaneschi, Mezini, TAOSD. 10.1007/978-3-642-55099-7\_7

Detecting missing method calls as violations of the majority rule.
Monperrus, Mezini, TOSEM (1). 10.1145/2430536.2430541

Automated API property inference techniques.
Robillard, Bodden, Kawrykow, Mezini, Ratchford, TSE (5). 10.1109/TSE.2012.63

Understanding multilayered applications for building extensions.
Aly, Charfi, Wu, Mezini, AOSD. 10.1145/2451592.2451594

Reactive behavior in object-oriented applications: An analysis and a research roadmap.
Salvaneschi, Mezini, AOSD. 10.1145/2451436.2451442

Modular specification and checking of structural dependencies.
Mitschke, Eichberg, Mezini, Garcia, Bertran, AOSD. 10.1145/2451436.2451448

Towards distributed reactive programming.
Salvaneschi, Drechsler, Mezini, COORDINATION. 10.1007/978-3-642-38493-6\_16

Finding duplicates of your yet unwritten bug report.
Lerch, Mezini, CSMR. 10.1109/CSMR.2013.17

XPoints: Extension interfaces for multilayered applications.
Aly, Charfi, Erdweg, Mezini, EDOC. 10.1109/EDOC.2013.34

Template constructors for reusable object initialization.
Martin, Mezini, Erdweg, GPCE. 10.1145/2517208.2517212

Building extensions for applications: Towards the understanding of extension possibilities.
Aly, Charfi, Mezini, IWPC. 10.1109/ICPC.2013.6613846

SPL{}^{\mbox{LIFT}}: Statically analyzing software product lines in minutes instead of years.
Bodden, Tolêdo, Ribeiro, Brabrand, Borba, Mezini, PLDI. 10.1145/2491956.2491976

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.
SIGSOFT. 10.1145/2491411

What should developers be aware of? An empirical study on the directives of API documentation.
Monperrus, Eichberg, Tekes, Mezini, ESE (6). 10.1007/S10664-011-9186-4

An aspect-oriented framework for specification and enforcement of non-functional concerns in WS-BPEL.
Charfi, Schmeling, Mezini, IJWGS (4). 10.1504/IJWGS.2012.051527

A survey on non-functional concerns in web services.
Schmeling, Charfi, Heinzl, Mezini, IJWIS (1). 10.1108/17440081211222573

An in-depth look at ALIA4J.
Bockisch, Sewe, Yin, Mezini, Aksit, JOT (1). 10.5381/JOT.2012.11.1.A7

On the extensibility requirements of business applications.
Aly, Charfi, Mezini, AOSD. 10.1145/2162004.2162006

Towards conflict-free composition of non-functional concerns.
Schmeling, Charfi, Martin, Mezini, CAISE. 10.1007/978-3-642-31095-9\_6

A recommendation system for exception handling code.
Barbosa, Garcia, Mezini, ICSE. 10.1109/WEH.2012.6226601

Semi-automatically extracting FAQs to improve accessibility of software development knowledge.
Henß, Monperrus, Mezini, ICSE. 10.1109/ICSE.2012.6227139

Dynamic anomaly detection for more trustworthy outsourced computation.
Alsouri, Sinschek, Sewe, Bodden, Mezini, Katzenbeisser, ISW. 10.1007/978-3-642-33383-5\_11

New scala() instance of java: A comparison of the memory behaviour of java and scala programs.
Sewe, Mezini, Sarimbekov, Ansaloni, Binder, Ricci, Guyer, IWMM. 10.1145/2258996.2259010

Heuristic strategies for recommendation of exception handling code.
Barbosa, Garcia, Mezini, SBES. 10.1109/SBES.2012.22

Turbo DiSL: Partial evaluation for high-level bytecode instrumentation.
Zheng, Ansaloni, Marek, Sewe, Binder, Villazón, Tuma, Qi, Mezini, TOOLS. 10.1007/978-3-642-30561-0\_24

Magic for the masses: Safer high-level low-level programming through customizable static analyses.
Mitschke, Sewe, Mezini, AOSD. 10.1145/1960518.1960522

Event-driven programming with EScala.
Satabin, Mezini, AOSD. 10.1145/1960314.1960336

EScala: Modular event-driven object interactions in scala.
Gasiunas, Satabin, Mezini, Núñez, Noyé, AOSD. 10.1145/1960275.1960303

Composing non-functional concerns in web services.
Schmeling, Charfi, Thome, Mezini, ECOWS. 10.1109/ECOWS.2011.25

Taming reflection: Aiding static analysis in the presence of reflection and custom class loaders.
Bodden, Sewe, Sinschek, Oueslati, Mezini, ICSE. 10.1145/1985793.1985827

Composing non-functional concerns in composite web services.
Schmeling, Charfi, Mezini, ICWS. 10.1109/ICWS.2011.111

Querying source code with natural language.
Kimmig, Monperrus, Mezini, KBSE. 10.1109/ASE.2011.6100076

Naturalistic types.
Knöll, Gasiunas, Mezini, OOPSLA. 10.1145/2048237.2048243

JP2: Collecting dynamic bytecode metrics in JVMs.
Sarimbekov, Binder, Sewe, Mezini, Villazón, OOPSLA. 10.1145/2048147.2048165

Next in line, please!: Exploiting the indirect benefits of inlining by accurately predicting further inlining.
Sewe, Jochem, Mezini, OOPSLA. 10.1145/2095050.2095102

Da capo con scala: Design and analysis of a scala benchmark suite for the java virtual machine.
Sewe, Mezini, Sarimbekov, Binder, OOPSLA. 10.1145/2048066.2048118

Portable and accurate collection of calling-context-sensitive bytecode metrics for the java virtual machine.
Sarimbekov, Sewe, Binder, Moret, Schoeberl, Mezini, PPPJ. 10.1145/2093157.2093160

Incremental concrete syntax for embedded languages.
Dinkelaker, Eichberg, Mezini, SAC. 10.1145/1982185.1982470

An overview of ALIA4J - an execution model for advanced-dispatching languages.
Bockisch, Sewe, Mezini, Aksit, TOOLS. 10.1007/978-3-642-21952-8\_11

Complete and platform-independent calling context profiling for the java virtual machine.
Sarimbekov, Moret, Binder, Sewe, Mezini, ENTCS. 10.1016/J.ENTCS.2011.11.006

ECOOP 2011 - object-oriented programming - 25th european conference, lancaster, UK, july 25-29, 2011 proceedings.
ECOOP. 10.1007/978-3-642-22655-7

Transactions on aspect-oriented software development VIII.
TAOSD. 10.1007/978-3-642-22031-9

An architecture for composing embedded domain-specific languages.
Dinkelaker, Eichberg, Mezini, AOSD. 10.1145/1739230.1739237

Component composition using feature models.
Eichberg, Klose, Mitschke, Mezini, CBSE. 10.1007/978-3-642-13238-4\_12

Aspect-oriented business process modeling with AO4BPMN.
Charfi, Müller, Mezini, ECMDAFA. 10.1007/978-3-642-13595-8\_6

Model-driven engineering of machine executable code.
Eichberg, Monperrus, Kloppenburg, Mezini, ECMDAFA. 10.1007/978-3-642-13595-8\_10

Detecting missing method calls in object-oriented software.
Monperrus, Bruch, Mezini, ECOOP. 10.1007/978-3-642-14107-2\_2

First international workshop on product line approaches in software engineering (PLEASE 2010).
Rubin, Botterweck, Mezini, Maman, Pleuss, ICSE. 10.1145/1810295.1810418

Non-functional concerns in web services: Requirements and state of the art analysis.
Schmeling, Charfi, Mezini, IIWAS. 10.1145/1967486.1967501

Mining subclassing directives to improve framework reuse.
Bruch, Mezini, Monperrus, MSR. 10.1109/MSR.2010.5463347

Headroom-based pretenuring: Dynamically pretenuring objects that live "long enough".
Sewe, Yuan, Sinschek, Mezini, PPPJ. 10.1145/1852761.1852767

IDE 2.0: Collective intelligence in software development.
Bruch, Bodden, Monperrus, Mezini, SIGSOFT. 10.1145/1882362.1882374

Proceedings of the 2010 ICSE workshop on product line approaches in software engineering, PLEASE 2010, cape town, south africa, may 2, 2010.
ICSE.

Transactions on aspect-oriented software development VII - A common case study for aspect-oriented modeling.
TAOSD. 10.1007/978-3-642-16086-8

A holistic approach for access control policies: From formal specification to aspect-based enforcement.
Kallel, Charfi, Mezini, Jmaiel, Sewe, IJICS (3/4). 10.1504/IJICS.2009.031044

Untangling crosscutting concerns in domain-specific languages with domain-specific join points.
Dinkelaker, Monperrus, Mezini, AOSD. 10.1145/1509307.1509309

The art of the meta-aspect protocol.
Dinkelaker, Mezini, Bockisch, AOSD. 10.1145/1509239.1509248

Specifying and monitoring temporal properties in web services compositions.
Kallel, Charfi, Dinkelaker, Mezini, Jmaiel, ECOWS. 10.1109/ECOWS.2009.15

From formal access control policies to runtime enforcement aspects.
Kallel, Charfi, Mezini, Jmaiel, Klose, ESSOS. 10.1007/978-3-642-00199-4\_2

A plug-in architecture for self-adaptive web service compositions.
Charfi, Dinkelaker, Mezini, ICWS. 10.1109/ICWS.2009.125

VM performance evaluation with functional models: An optimist’s outlook.
Sinschek, Sewe, Mezini, OOPSLA. 10.1145/1711506.1711512

Pi: A pattern language.
Knöll, Mezini, OOPSLA. 10.1145/1640089.1640128

Learning from examples to improve code completion systems.
Bruch, Monperrus, Mezini, SIGSOFT. 10.1145/1595696.1595728

Language support for model-driven software development.
Cepa, Mezini, SCP (1). 10.1016/J.SCICO.2008.05.003

Dynamically linked domain-specific extensions for advice languages.
Dinkelaker, Mezini, AOSD. 10.1145/1404927.1404930

Aspect-based enforcement of formal delegation policies.
Kallel, Charfi, Mezini, Jmaiel, CRISIS. 10.1109/CRISIS.2008.4757459

Redundancy-free residual dispatch: Using ordered binary decision diagrams for efficient dispatch.
Sewe, Bockisch, Mezini, FOAL. 10.1145/1394496.1394497

Defining and continuous checking of structural program dependencies.
Eichberg, Kloppenburg, Klose, Mezini, ICSE. 10.1145/1368088.1368142

Mining framework usage changes from instantiation code.
Schäfer, Jonas, Mezini, ICSE. 10.1145/1368088.1368153

Aspects and class-based security: A survey of interactions between advice weaving and the java 2 security model.
Sewe, Bockisch, Mezini, OOPSLA. 10.1145/1507504.1507507

Improving code recommender systems by incorporating domain knowledge and graphical models.
Bruch, Mezini, SIGSOFT. 10.1145/1454247.1454267

On evaluating recommender systems for API usages.
Bruch, Schäfer, Mezini, SIGSOFT. 10.1145/1454247.1454254

AO4BPEL: An aspect-oriented extension to BPEL.
Charfi, Mezini, WWW (3). 10.1007/S11280-006-0016-3

A flexible architecture for pointcut-advice language implementations.
Bockisch, Mezini, AOSD. 10.1145/1230136.1230137

Combining formal methods and aspects for specifying and enforcing architectural invariants.
Kallel, Charfi, Mezini, Jmaiel, COORDINATION. 10.1007/978-3-540-72794-1\_12

Management requirements of web service compositions.
Charfi, Berbner, Mezini, Steinmetz, ECOWS.

On the management requirements of web service compositions.
Charfi, Berbner, Mezini, Steinmetz, ECOWS. 10.1007/978-3-7643-8864-5\_7

Transactional BPEL processes with AO4BPEL aspects.
Charfi, Schmeling, Mezini, ECOWS. 10.1109/ECOWS.2007.17

Dependent classes.
Gasiunas, Mezini, Ostermann, OOPSLA. 10.1145/1297027.1297038

Automatic incrementalization of prolog based static analyses.
Eichberg, Kahl, Saha, Mezini, Ostermann, PADL. 10.1007/978-3-540-69611-7\_7

Clustering for generating framework top-level views.
Schäfer, Aracic, Merz, Mezini, Ostermann, WCRE. 10.1109/WCRE.2007.16

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.
AOSD.

An overview of CaesarJ.
Aracic, Gasiunas, Mezini, Ostermann, TAOSD. 10.1007/11687061\_5

The SEXTANT software exploration tool.
Schäfer, Eichberg, Haupt, Mezini, TSE (9). 10.1109/TSE.2006.94

Middleware support for BPEL workflows in the AO4BPEL engine.
Charfi, Mezini, BPM.

QScope: An open, extensible framework for measuring software projects.
Eichberg, Germanus, Mezini, Mrokon, Schäfer, CSMR. 10.1109/CSMR.2006.42

FrUiT: IDE support for framework understanding.
Bruch, Schäfer, Mezini, ECLIPSE. 10.1145/1188835.1188847

Reliable, secure, and transacted web service compositions with AO4BPEL.
Charfi, Schmeling, Heizenreder, Mezini, ECOWS. 10.1109/ECOWS.2006.32

Reliable messaging for BPEL processes.
Charfi, Schmeling, Mezini, ICWS. 10.1109/ICWS.2006.111

Integrating and scheduling an open set of static analyses.
Eichberg, Mezini, Kloppenburg, Ostermann, Rank, KBSE. 10.1109/ASE.2006.43

Adapting virtual machine techniques for seamless aspect support.
Bockisch, Arnold, Dinkelaker, Mezini, OOPSLA. 10.1145/1167473.1167483

Efficient control flow quantification.
Bockisch, Kanthak, Haupt, Arnold, Mezini, OOPSLA. 10.1145/1167473.1167484

Pegasus: First steps toward a naturalistic programming language.
Knöll, Mezini, OOPSLA. 10.1145/1176617.1176628

Aspect-oriented workflow languages.
Charfi, Mezini, OTM. 10.1007/11914853\_12

Incremental confined types analysis.
Eichberg, Kanthak, Kloppenburg, Mezini, Schuh, ENTCS. 10.1016/J.ENTCS.2006.10.006

Virtual machine support for aspects with advice instance tables.
Haupt, Mezini, LOBJET (3). 10.3166/OBJET.11.3.9-30

eAssignment: A case for EMF.
Bruch, Bockisch, Schäfer, Mezini, ECLIPSE. 10.1145/1117696.1117719

Separation of concerns with procedures, annotations, advice and pointcuts.
Kiczales, Mezini, ECOOP. 10.1007/11531142\_9

Expressive pointcuts for increased modularity.
Ostermann, Mezini, Bockisch, ECOOP. 10.1007/11531142\_10

Using annotations to check structural properties of classes.
Eichberg, Schäfer, Mezini, FASE. 10.1007/978-3-540-31984-9\_18

MobCon: A generative middleware framework for java mobile applications.
Cepa, Mezini, HICSS. 10.1109/HICSS.2005.431

Aspect-oriented programming and modular reasoning.
Kiczales, Mezini, ICSE. 10.1145/1062455.1062482

Comprehensive software understanding with SEXTANT.
Eichberg, Haupt, Mezini, Schäfer, ICSM. 10.1109/ICSM.2005.32

Using aspects for security engineering of web service compositions.
Charfi, Mezini, ICWS. 10.1109/ICWS.2005.126

Envelope-based weaving for faster aspect compilers.
Bockisch, Haupt, Mezini, Mitschke, JIT.

An execution layer for aspect-oriented programming languages.
Haupt, Mezini, Bockisch, Dinkelaker, Eichberg, Krebs, VEE. 10.1145/1064979.1065000

Towards more flexibility in software visualization tools.
Schäfer, Mezini, VISSOFT. 10.1109/VISSOF.2005.1684307

Middleware services for web service compositions.
Charfi, Mezini, WWW. 10.1145/1062745.1062904

Proceedings of the 4th international conference on aspect-oriented software development, AOSD 2005, chicago, illinois, USA, march 14-18, 2005.
AOSD.

Virtual machine support for dynamic join points.
Bockisch, Haupt, Mezini, Ostermann, AOSD. 10.1145/976270.976282

Pointcuts as functional queries.
Eichberg, Mezini, Ostermann, APLAS. 10.1007/978-3-540-30477-7\_25

Enforcing system-wide properties.
Eichberg, Mezini, Schäfer, Beringer, Hamel, ASWEC. 10.1109/ASWEC.2004.1290468

Aspect-oriented web service composition with AO4BPEL.
Charfi, Mezini, ECOWS. 10.1007/978-3-540-30209-4\_13

Declaring and enforcing dependencies between .NET custom attributes.
Cepa, Mezini, GPCE. 10.1007/978-3-540-30175-2\_15

Hybrid web service composition: Business processes meet business rules.
Charfi, Mezini, ICSOC. 10.1145/1035167.1035173

Micro-measurements for dynamic aspect-oriented systems.
Haupt, Mezini, JIT. 10.1007/978-3-540-30196-7\_7

Alice: Modularization of middleware using aspect-oriented programming.
Eichberg, Mezini, SEM. 10.1007/11407386\_5

Variability management with feature-oriented programming and aspects.
Mezini, Ostermann, SIGSOFT. 10.1145/1029894.1029915

A comparison of program generation with aspect-oriented programming.
Mezini, Ostermann, UPP. 10.1007/11527800\_26

XIRC: A kernel for cross-artifact information engineering in software development environments.
Eichberg, Mezini, Ostermann, Schäfer, WCRE. 10.1109/WCRE.2004.45

On aspectualizing component models.
Pichler, Ostermann, Mezini, SPE (10). 10.1002/SPE.534

Modules for crosscutting models.
Mezini, Ostermann, ADAEUROPE. 10.1007/3-540-44947-7\_2

Conquering aspects with caesar.
Mezini, Ostermann, AOSD. 10.1145/643603.643613

The convergence of AOP and active databases: Towards reactive middleware.
Cilia, Haupt, Mezini, Buchmann, GPCE. 10.1007/978-3-540-39815-8\_11

Objects, components, architectures, services, and applications for a networked world, international conference NetObjectDays, NODe 2002, erfurt, germany, october 7-10, 2002, revised papers.
JIT. 10.1007/3-540-36557-5

Engineering event-based systems with scopes.
Fiege, Mezini, Mühl, Buchmann, ECOOP. 10.1007/3-540-47993-7\_14

Integrating independent components with on-demand remodularization.
Mezini, Ostermann, OOPSLA. 10.1145/582419.582426

Connectors for bridging mismatches between the components of a software engineering environment.
Herrmann, Mezini, IEE (3). 10.1049/IP-SEN:20010535

Object-oriented composition untangled.
Ostermann, Mezini, OOPSLA. 10.1145/504282.504303

Weiterentwicklung objektorientierter softwaresysteme: Risiken und deren vermeidung.
Pipka, Mezini, STT (3).

Weiterentwicklung objektorientierter softwaresysteme: Risiken und deren vermeidung.
Pipka, Mezini, GI. 10.1007/978-3-642-58322-3\_32

Building modular object-oriented systems with reusable collaborations (tutorial session).
Lieberherr, Lorenz, Mezini, ICSE. 10.1145/337180.337838

PIROL: A case study for multidimensional separation of concerns in software engineering environments.
Herrmann, Mezini, OOPSLA. 10.1145/353171.353185

Dynamic component gluing.
Seiter, Mezini, Lieberherr, GCSE. 10.1007/3-540-40048-6\_11

Detecting evolution incompatibilities by analyzing java binaries.
Mezini, Pipka, Dittmar, Boot, TOOLS. 10.1109/TOOLS.1999.787542

Variational object-oriented programming beyond classes and inheritance.
Mezini, DAGLIB.

Adaptive plug-and-play components for evolutionary software development.
Mezini, Lieberherr, OOPSLA. 10.1145/286936.286950

Dynamic object evolution without name collisions.
Mezini, ECOOP. 10.1007/BFB0053380

Maintaining the consistency of class libraries during their evolution.
Mezini, OOPSLA. 10.1145/263698.263701

4th workshop for doctoral student in object-oriented systems, held in conjunction with ECOOP’94 (report).
Kielmann, Mezini, Loeffen, SIGPLAN (12). 10.1145/193209.193212