Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDMira 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