Article

Bračevac, Oliver ; Amin, Nada ; Salvaneschi, Guido ; Erdweg, Sebastian ; Eugster, Patrick ; Mezini, Mira (2020)
Versatile Event Correlation with Algebraic Effects.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (ICFP)
doi: 10.25534/tuprints-00014556
Article, Secondary publication, Publisher's Version

Drechsler, Joscha ; Mogk, Ragnar ; Salvaneschi, Guido ; Mezini, Mira (2020)
Thread-Safe Reactive Programming.
In: Proceedings of the ACM on Programming Languages, 2018, 2 (OOPSLA)
doi: 10.25534/tuprints-00014555
Article, Secondary publication, Publisher's Version

Eichberg, Michael ; Kanthak, Sebastian ; Kloppenburg, Sven ; Mezini, Mira ; Schuh, Tobias (2020)
Incremental Confined Types Analysis.
In: Electronic Notes in Theoretical Computer Science, 2006, 164 (2)
doi: 10.25534/tuprints-00014558
Article, Secondary publication, Publisher's Version

Mogk, Ragnar ; Drechsler, Joscha ; Salvaneschi, Guido ; Mezini, Mira (2020)
A Fault-Tolerant Programming Model for Distributed Interactive Applications.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014554
Article, Secondary publication, Publisher's Version

Salvaneschi, Guido ; Köhler, Mirko ; Sokolowski, Daniel ; Haller, Philipp ; Erdweg, Sebastian ; Mezini, Mira (2020)
Language-Integrated Privacy-Aware Distributed Queries.
In: Proceedings of the ACM on Programming Languages, 2019, 3 (OOPSLA)
doi: 10.25534/tuprints-00014553
Article, Secondary publication, Publisher's Version

Sarimbekov, Aibek ; Moret, Philippe ; Binder, Walter ; Sewe, Andreas ; Mezini, Mira (2020)
Complete and Platform-Independent Calling Context Profiling for the Java Virtual Machine.
In: Electronic Notes in Theoretical Computer Science, 2020, 279 (1)
doi: 10.25534/tuprints-00014564
Article, Secondary publication, Publisher's Version

Report

Dinkelaker, Tom ; Wende, Christian ; Lochmann, Henrik (2009)
Implementing and Composing MDSD-Typical DSLs.
Report, Primary publication

Ph.D. Thesis

Aly, Mohamed Abdulazim Mohamed (2014)
An Extension Interface Concept for Multilayered Applications.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Amann, Sven (2018)
A Systematic Approach to Benchmark and Improve Automated Static Detection of Java-API Misuses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bockisch, Christoph-Matthias (2009)
An Efficient and Flexible Implementation of Aspect-Oriented Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Bračevac, Oliver (2019)
Event Correlation with Algebraic Effects - Theory, Design and Implementation.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Cergani, Ervina (2020)
Machine Learning as a Mean to Uncover Latent Knowledge from Source Code.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011658
Ph.D. Thesis, Primary publication

Cichos, Harald (2013)
Modellbasierte Generierung und Reduktion von Testsuiten für Software-Produktlinien.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Dinkelaker, Tom (2011)
Reflective Embedding of Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Drechsler, Joscha (2019)
Concurrency and Distribution in Reactive Programming.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Eichholz, Matthias (2022)
Type-Safe Data Plane Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00022873
Ph.D. Thesis, Primary publication, Publisher's Version

Gasiūnas, Vaidas (2010)
Advanced Object-Oriented Language Mechanisms for Variability Management.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Glanz, Leonid (2020)
Automatic Identification and Recovery of Obfuscated Android Apps.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00014647
Ph.D. Thesis, Primary publication, Publisher's Version

Grewe, Sylvia (2019)
Automating Type Soundness Proofs for Domain-Specific Languages.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Helm, Dominik (2023)
Modular Collaborative Program Analysis.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00023220
Ph.D. Thesis, Primary publication, Publisher's Version

Hermann, Ben (2016)
Full-Stack Static Security Analysis for the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kallel, Slim (2011)
Specifying and Monitoring Non-functional Properties.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kloppenburg, Sven (2009)
Incrementalization of Analyses for Next Generation IDEs.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Kuci, Edlira (2020)
Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00011419
Ph.D. Thesis, Primary publication

Lerch, Johannes (2016)
On the Scalability of Static Program Analysis to Detect Vulnerabilities in the Java Platform.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mitschke, Ralf (2014)
Scalable Automated Incrementalization for Real-Time Static Analyses.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Mogk, Ragnar (2021)
A Programming Paradigm for Reliable Applications in a Decentralized Setting.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019403
Ph.D. Thesis, Primary publication, Publisher's Version

Proksch, Sebastian (2017)
Enriched Event Streams: A General Platform For Empirical Studies On In-IDE Activities Of Software Developers.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Reif, Michael (2021)
Novel Approaches to Systematically Evaluating and Constructing Call Graphs for Java Software.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019286
Ph.D. Thesis, Primary publication, Publisher's Version

Schmeling, Benjamin (2013)
Composing Non-Functional Concerns in Web Services.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Sewe, Andreas (2012)
Design and Analysis of a Scala Benchmark Suite for the Java Virtual Machine.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Van Ham, Jurgen Michael (2015)
Seamless Concurrent Programming of Objects, Aspects and Events.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication

Weisenburger, Pascal (2020)
A Programming Language for Distributed Systems.
Technische Universität Darmstadt
doi: 10.25534/tuprints-00013500
Ph.D. Thesis, Primary publication

Master Thesis

Wolski, André (2024)
Local-First Enterprise Applications.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00027006
Master Thesis, Primary publication, Publisher's Version

Bachelor Thesis

Dinser, Moritz (2021)
An Empirical Study on Reactive Programming.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019901
Bachelor Thesis, Primary publication, Publisher's Version

Hedtke, Moritz (2024)
Optimizing Collaborative Plain Text Editing Algorithms for Decentralized Non-Realtime Text Editing.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00027834
Bachelor Thesis, Primary publication, Publisher's Version

Holst, Lukas (2021)
Dynamic Placement of Continuous Data Processing with Real Time Sensory Readout on IOT Devices.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00020200
Bachelor Thesis, Primary publication, Publisher's Version

Stollenwerk, Vincent (2021)
Integrating Complex Event Processing and Transactional Dataflow.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00019914
Bachelor Thesis, Primary publication, Publisher's Version