


Остановите войну!
for scientists:
Mira Mezini
Person information

- affiliation: Darmstadt University of Technology, Germany
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [d2]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): 16:1-16:3 (2022) - [j37]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-typed data plane programming. Proc. ACM Program. Lang. 6(POPL): 1-28 (2022) - [c203]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: 35:1-35:4 - [c202]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering 2022: 81-82 - [i25]Michael Schlichtig, Anna-Katharina Wickert, Stefan Krüger, Eric Bodden, Mira Mezini:
CamBench - Cryptographic API Misuse Detection Tool Benchmark Suite. CoRR abs/2204.06447 (2022) - [i24]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 abs/2205.07780 (2022) - [i23]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-Typed Data Plane Programming. CoRR abs/2206.03457 (2022) - 2021
- [j36]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): 4 (2021) - [j35]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): 2382-2400 (2021) - [c201]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. ECOOP 2021: 19:1-19:27 - [c200]Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini:
Python Crypto Misuses in the Wild. ESEM 2021: 31:1-31:6 - [c199]Sebastian Sztwiertnia
, Maximilian Grübel
, Amine Chouchane
, Daniel Sokolowski
, Krishna Narasimhan, Mira Mezini:
Impact of programming languages on machine learning bugs. AISTA@ISSTA 2021: 9-12 - [c198]Foad Jafarinejad, Krishna Narasimhan, Mira Mezini:
NerdBug: automated bug detection in neural networks. AISTA@ISSTA 2021: 13-16 - [c197]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. ASE 2021: 979-990 - [c196]Patrick Müller, Krishna Narasimhan, Mira Mezini:
Fex: Assisted Identification of Domain Features from C Programs. SCAM 2021: 170-180 - [c195]Mira Mezini
:
Programming and execution models for next generation code intelligence systems (keynote). ESEC/SIGSOFT FSE 2021: 1-2 - [i22]Rodrigo Bonifácio, Stefan Krüger, Krishna Narasimhan, Eric Bodden, Mira Mezini:
Dealing with Variability in API Misuse Specification. CoRR abs/2105.04950 (2021) - [i21]Patrick Müller, Krishna Narasimhan, Mira Mezini:
Fex: Assisted Identification of Domain Features from C Programs. CoRR abs/2108.09245 (2021) - [i20]Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini:
Python Crypto Misuses in the Wild. CoRR abs/2109.01109 (2021) - 2020
- [c194]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: 694-707 - [c193]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: 1-8 - [c192]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: 428-439 - [c191]Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann
, Michael Eichberg, Mira Mezini:
TACAI: an intermediate representation based on abstract interpretation. SOAP@PLDI 2020: 2-7 - [c190]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating Next Steps in Static API-Misuse Detection. SE 2020: 109-110 - [c189]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Modular collaborative program analysis in OPAL. ESEC/SIGSOFT FSE 2020: 184-196 - [c188]Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini:
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. TrustCom 2020: 410-417 - [c187]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: 458-467 - [i19]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 abs/2002.04540 (2020) - [i18]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 abs/2006.05914 (2020) - [i17]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 abs/2010.00354 (2020) - [i16]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Modular Collaborative Program Analysis in OPAL. CoRR abs/2010.04476 (2020) - [i15]Johannes Lauinger, Lars Baumgärtner, Anna-Katharina Wickert, Mira Mezini:
Uncovering the Hidden Dangers: Finding Unsafe Go Code in the Wild. CoRR abs/2010.11242 (2020)
2010 – 2019
- 2019
- [j34]Ragnar Mogk, Joscha Drechsler, Guido Salvaneschi, Mira Mezini:
A fault-tolerant programming model for distributed interactive applications. Proc. ACM Program. Lang. 3(OOPSLA): 144:1-144:29 (2019) - [j33]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): 167:1-167:30 (2019) - [j32]Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini:
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3(3): 6 (2019) - [j31]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): 1170-1188 (2019) - [c186]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: 196-209 - [c185]Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle
, Andreas Koch, Mira Mezini:
Online Reprogrammable Multi Tenant Switches. ENCP@CoNEXT 2019: 1-8 - [c184]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: 12:1-12:28 - [c183]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: 1-8 - [c182]Michael Reif, Florian Kübler, Michael Eichberg, Dominik Helm, Mira Mezini:
Judge: identifying, understanding, and evaluating sources of unsoundness in call graphs. ISSTA 2019: 251-261 - [c181]Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini:
A dataset of parametric cryptographic misuses. MSR 2019: 96-100 - [c180]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating next steps in static API-misuse detection. MSR 2019: 265-275 - [c179]Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH 2019: 21-30 - [c178]Aditya Oak, Mira Mezini, Guido Salvaneschi:
Language support for multiple privacy enhancing technologies. Programming 2019: 12:1-12:2 - [c177]Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:
A Unified Lattice Model and Framework for Purity Analyses. SE/SWM 2019: 51-52 - [c176]Johannes Krude, Matthias Eichholz, Maximilian Winck, Klaus Wehrle
, Mira Mezini:
Optimizing Data Plane Programs for the Network. NetPL@SIGCOMM 2019: 1 - [i14]Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini:
Comprehensive Multiparty Session Types. CoRR abs/1902.00544 (2019) - [i13]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 abs/1906.07223 (2019) - [i12]Oliver Bracevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini:
Type-safe, Polyvariadic Event Correlation. CoRR abs/1907.02990 (2019) - [i11]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 abs/1908.10233 (2019) - [i10]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 abs/1908.10237 (2019) - 2018
- [d1]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): 06:1-06:4 (2018) - [j30]Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini:
Versatile event correlation with algebraic effects. Proc. ACM Program. Lang. 2(ICFP): 67:1-67:31 (2018) - [j29]Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Thread-safe reactive programming. Proc. ACM Program. Lang. 2(OOPSLA): 107:1-107:30 (2018) - [j28]Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. Sci. Comput. Program. 155: 146-172 (2018) - [j27]Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori
:
Cooperative decoupled processes. Softw. Qual. J. 26(3): 1147-1183 (2018) - [c175]Pablo Graubner, Patrick Lampe, Jonas Hochst
, Lars Baumgärtner, Mira Mezini, Bernd Freisleben:
Opportunistic named functions in disruption-tolerant emergency networks. CF 2018: 129-137 - [c174]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: 112-123 - [c173]Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini:
Fault-tolerant Distributed Reactive Programming. ECOOP 2018: 1:1-1:26 - [c172]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: 10:1-10:27 - [c171]Ervina Çergani, Mira Mezini:
On the Impact of Order Information in API Usage Patterns. ICSOFT (Selected Papers) 2018: 79-103 - [c170]Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. ICSOFT 2018: 91-102 - [c169]Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg:
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops 2018: 27-33 - [c168]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: 107-112 - [c167]Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini:
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops 2018: 113-118 - [c166]Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:
A unified lattice model and framework for purity analyses. ASE 2018: 340-350 - [c165]Sylvia Grewe, Sebastian Erdweg, André Pacak, Mira Mezini:
System Description: An Infrastructure for Combining Domain Knowledge with Automated Theorem Provers. PPDP 2018: 24:1-24:10 - [c164]Matthias Eichholz, Guido Salvaneschi, Mira Mezini:
Towards safe modular composition of network functions. Programming 2018: 81-86 - [c163]Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Reactive programming experience with REScala. Programming 2018: 105-112 - [c162]Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini:
CodeMatch. Software Engineering 2018: 117-118 - [c161]Michael Reif, Michael Eichberg, Mira Mezini:
Call Graph Construction for Java Libraries. Software Engineering 2018: 119-120 - 2017
- [j26]Guido Salvaneschi
, Sebastian Proksch
, Sven Amann, Sarah Nadi, Mira Mezini:
On the Positive Effect of Reactive Programming on Software Comprehension: An Empirical Study. IEEE Trans. Software Eng. 43(12): 1125-1143 (2017) - [c160]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java . ECOOP 2017: 18:1-18:26 - [c159]Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, Ram Kamath:
CogniCrypt: supporting developers in using cryptography. ASE 2017: 931-936 - [c158]Artur Sterz
, Lars Baumgärtner, Ragnar Mogk, Mira Mezini, Bernd Freisleben:
DTN-RPC: Remote procedure calls for disruption-tolerant networking. Networking 2017: 1-9 - [c157]Michael Reif, Michael Eichberg, Ben Hermann
, Mira Mezini:
Hermes: assessment and creation of effective test corpora. SOAP@PLDI 2017: 43-48 - [c156]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering 2017: 57 - [c155]Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Ben Hermann
, Johannes Lerch, Mira Mezini:
CodeMatch: obfuscation won't conceal your repackaged app. ESEC/SIGSOFT FSE 2017: 638-648 - [c154]Philipp Holzinger, Ben Hermann
, Johannes Lerch, Eric Bodden
, Mira Mezini:
Hardening Java's Access Control by Abolishing Implicit Privilege Elevation. IEEE Symposium on Security and Privacy 2017: 1027-1040 - [c153]Sebastian Proksch, Sarah Nadi, Sven Amann, Mira Mezini:
Enriching in-IDE process information with fine-grained source code history. SANER 2017: 250-260 - [i9]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java (incl. Proofs). CoRR abs/1705.05828 (2017) - [i8]Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini:
CrySL: Validating Correct Usage of Cryptographic APIs. CoRR abs/1710.00564 (2017) - [i7]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
A Systematic Evaluation of API-Misuse Detectors. CoRR abs/1712.00242 (2017) - 2016
- [c152]Andi Bejleri, Mira Mezini, Patrick Eugster:
Cooperative decoupled processes: the e-calculus and linearity. MODULARITY 2016: 82-93 - [c151]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: a core language for cloud computing. MODULARITY 2016: 94-105 - [c150]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR 2016: 33-45 - [c149]Guido Salvaneschi, Mira Mezini:
Debugging reactive programming with reactive inspector. ICSE (Companion Volume) 2016: 728-730 - [c148]Guido Salvaneschi, Mira Mezini:
Debugging for reactive programming. ICSE 2016: 796-807 - [c147]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden
:
Jumping through hoops: why do Java developers struggle with cryptography APIs? ICSE 2016: 935-946 - [c146]Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
Evaluating the evaluations of code recommender systems: a reality check. ASE 2016: 111-121 - [c145]Sven Amann, Sarah Nadi, Hoan Anh Nguyen, Tien N. Nguyen, Mira Mezini:
MUBench: a benchmark for API-misuse detectors. MSR 2016: 464-467 - [c144]Sebastian Proksch, Sven Amann, Sarah Nadi, Mira Mezini:
A dataset of simplified syntax trees for C#. MSR 2016: 476-479 - [c143]Sylvia Grewe, Sebastian Erdweg, Michael Raulf, Mira Mezini:
Exploration of language specifications by compilation to first-order logic. PPDP 2016: 104-117 - [c142]Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
SecureScala: Scala embedding of secure computations. SCALA@SPLASH 2016: 75-84 - [c141]Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent code completion with Bayesian networks. Software Engineering 2016: 25-26 - [c140]Ben Hermann, Michael Reif, Michael Eichberg, Mira Mezini:
Getting to know you: towards a capability model for Java. Software Engineering 2016: 59-60 - [c139]Michael Eichberg, Ben Hermann, Mira Mezini, Leonid Glanz:
Hidden Truths in Dead Software Paths. Software Engineering 2016: 63-64 - [c138]Guido Salvaneschi, Sven Amann, Sebastian Proksch, Mira Mezini:
An empirical study on program comprehension with reactive programming. Software Engineering 2016: 69-70 - [c137]Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Addressing scalability in API method call analytics. SWAN@SIGSOFT FSE 2016: 1-7 - [c136]Michael Reif, Michael Eichberg, Ben Hermann
, Johannes Lerch, Mira Mezini:
Call graph construction for Java libraries. SIGSOFT FSE 2016: 474-486 - [c135]Sven Amann, Sebastian Proksch, Sarah Nadi, Mira Mezini:
A Study of Visual Studio Usage in Practice. SANER 2016: 124-134 - [i6]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: A Core Language for Cloud Computing - Technical Report. CoRR abs/1602.00981 (2016) - 2015
- [j25]Alper Ortac, Martin Monperrus
, Mira Mezini:
Abmash: mashing up legacy Web applications by automated imitation of human actions. Softw. Pract. Exp. 45(5): 581-612 (2015) - [j24]Sebastian Proksch, Johannes Lerch, Mira Mezini:
Intelligent Code Completion with Bayesian Networks. ACM Trans. Softw. Eng. Methodol. 25(1): 3:1-3:31 (2015) - [c134]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Using Vampire in Soundness Proofs of Type Systems. Vampire Workshop 2015: 33-51 - [c133]Johannes Lerch, Johannes Späth, Eric Bodden
, Mira Mezini:
Access-Path Abstraction: Scaling Field-Sensitive Data-Flow Analysis with Unbounded Access Paths (T). ASE 2015: 619-629 - [c132]Steven Arzt
, Sarah Nadi, Karim Ali, Eric Bodden
, Sebastian Erdweg, Mira Mezini:
Towards secure integration of cryptographic software. Onward! 2015: 1-13 - [c131]Edlira Kuci, Sebastian Erdweg, Mira Mezini:
Toward incremental type checking for Java. SPLASH (Companion Volume) 2015: 46-47 - [c130]Sylvia Grewe, Sebastian Erdweg, Pascal Wittmann, Mira Mezini:
Type systems for the masses: deriving soundness proofs and efficient checkers. Onward! 2015: 137-150 - [c129]Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini:
A co-contextual formulation of type rules and its application to incremental type checking. OOPSLA 2015: 880-897 - [c128]Michael Eichberg, Ben Hermann
, Mira Mezini, Leonid Glanz:
Hidden truths in dead software paths. ESEC/SIGSOFT FSE 2015: 474-484 - [c127]Ben Hermann
, Michael Reif, Michael Eichberg, Mira Mezini:
Getting to know you: towards a capability model for Java. ESEC/SIGSOFT FSE 2015: 758-769 - 2014
- [j23]Aibek Sarimbekov, Andreas Sewe, Walter Binder, Philippe Moret, Mira Mezini:
JP2: Call-site aware calling context profiling for the Java Virtual Machine. Sci. Comput. Program. 79: 146-157 (2014) - [j22]Guido Salvaneschi, Patrick Eugster, Mira Mezini:
Programming with Implicit Flows. IEEE Softw. 31(5): 52-59 (2014) - [c126]Sebastian Erdweg, Vlad A. Vergu, Mira Mezini, Eelco Visser:
Finding bugs in program generators by dynamic analysis of syntactic language constraints. MODULARITY (Companion) 2014: 17-20 - [c125]Guido Salvaneschi, Gerold Hintz, Mira Mezini:
REScala: bridging between object-oriented and functional style in reactive applications. MODULARITY 2014: 25-36 - [c124]Alessandro Cavalcante Gurgel, Isela Macia Bertran, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke:
Blending and reusing rules for architectural degradation prevention. MODULARITY 2014: 61-72