Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive 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
- 2023
[j41]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 11:1-11:2 (2023)- [j40]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact). Dagstuhl Artifacts Ser. 9(2): 17:1-17:3 (2023) - [j39]Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software (Artifact). Dagstuhl Artifacts Ser. 9(2): 26:1-26:4 (2023) - [j38]David Richter
, David Kretzler, Pascal Weisenburger, Guido Salvaneschi, Sebastian Faust, Mira Mezini:
Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications. ACM Trans. Program. Lang. Syst. 45(3): 17:1-17:41 (2023) - [c217]Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini:
Towards Code Generation from BDD Test Case Specifications: A Vision. CAIN 2023: 139-144 - [c216]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software (Extended Abstract). ECOOP 2023: 12:1-12:15 - [c215]Christian Kuessner, Ragnar Mogk, Anna-Katharina Wickert, Mira Mezini:
Algebraic Replicated Data Types: Programming Secure Local-First Software. ECOOP 2023: 14:1-14:33 - [c214]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs. ECOOP 2023: 25:1-25:22 - [c213]Timon Böhler, David Richter, Mira Mezini:
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. FTfJP@ECOOP 2023: 51-57 - [c212]Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini:
UnGoML: Automated Classification of unsafe Usages in Go. MSR 2023: 309-321 - [c211]Stefan Krüger, Michael Reif, Anna-Katharina Wickert, Sarah Nadi, Karim Ali, Eric Bodden, Yasemin Acar, Mira Mezini, Sascha Fahl:
Securing Your Crypto-API Usage Through Tool Support - A Usability Study. SecDev 2023: 14-25 - [c210]Florian Breitfelder, Tobias Roth, Lars Baumgärtner, Mira Mezini:
WasmA: A Static WebAssembly Analysis Framework for Everyone. SANER 2023: 753-757 - [c209]Marcel Ochs, Krishna Narasimhan, Mira Mezini:
Evaluating and improving transformers pre-trained on ASTs for Code Completion. SANER 2023: 834-844 - [i31]Julian Haas, Ragnar Mogk, Elena Yanakieva, Annette Bieniusa, Mira Mezini:
LoRe: A Programming Model for Verifiably Safe Local-First Software. CoRR abs/2304.07133 (2023) - [i30]David Richter, Timon Böhler, Pascal Weisenburger, Mira Mezini:
A Direct-Style Effect Notation for Sequential and Parallel Programs. CoRR abs/2305.08496 (2023) - [i29]Leon Chemnitz, David Reichenbach, Hani Aldebes, Mariam Naveed, Krishna Narasimhan, Mira Mezini:
Towards Code Generation from BDD Test Case Specifications: A Vision. CoRR abs/2305.11619 (2023) - [i28]Anna-Katharina Wickert, Clemens Damke, Lars Baumgärtner, Eyke Hüllermeier, Mira Mezini:
UNGOML: Automated Classification of unsafe Usages in Go. CoRR abs/2306.00694 (2023) - [i27]Timon Böhler, David Richter, Mira Mezini:
Using Rewrite Strategies for Efficient Functional Automatic Differentiation. CoRR abs/2307.02447 (2023) - 2022
- [j37]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) - [j36]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) - [c208]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 - [c207]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. Software Engineering 2022: 81-82 - [c206]Simon Binder, Krishna Narasimhan, Svenja Kernig, Mira Mezini:
jGuard: Programming Misuse-Resilient APIs. SLE 2022: 161-174 - [c205]Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini:
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. TrustCom 2022: 315-322 - [e9]Mohammed-Amine Koulali, Mira Mezini:
Networked Systems - 10th International Conference, NETYS 2022, Virtual Event, May 17-19, 2022, Proceedings. Lecture Notes in Computer Science 13464, Springer 2022, ISBN 978-3-031-17435-3 [contents] - [i26]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) - [i25]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) - [i24]Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini:
Dependently-Typed Data Plane Programming. CoRR abs/2206.03457 (2022) - [i23]Anna-Katharina Wickert, Lars Baumgärtner, Michael Schlichtig, Krishna Narasimhan, Mira Mezini:
To Fix or Not to Fix: A Critical Study of Crypto-misuses in the Wild. CoRR abs/2209.11103 (2022) - 2021
- [j35]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) - [j34]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) - [c204]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 - [c203]Anna-Katharina Wickert, Lars Baumgärtner, Florian Breitfelder, Mira Mezini:
Python Crypto Misuses in the Wild. ESEM 2021: 31:1-31:6 - [c202]Julian Zobel, Patrick Lieser, Tobias Meuser, Lars Baumgärtner, Mira Mezini, Ralf Steinmetz:
Modeling Civilian Mobility in Large-Scale Disasters. ISCRAM 2021: 119-132 - [c201]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 - [c200]Foad Jafarinejad, Krishna Narasimhan, Mira Mezini:
NerdBug: automated bug detection in neural networks. AISTA@ISSTA 2021: 13-16 - [c199]Tobias Roth, Dominik Helm, Michael Reif, Mira Mezini:
CiFi: Versatile Analysis of Class and Field Immutability. ASE 2021: 979-990 - [c198]Patrick Müller, Krishna Narasimhan, Mira Mezini:
Fex: Assisted Identification of Domain Features from C Programs. SCAM 2021: 170-180 - [c197]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
- [c196]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 - [c195]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 - [c194]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 - [c193]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 - [c192]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating Next Steps in Static API-Misuse Detection. SE 2020: 109-110 - [c191]Dominik Helm, Florian Kübler, Michael Reif, Michael Eichberg, Mira Mezini:
Modular collaborative program analysis in OPAL. ESEC/SIGSOFT FSE 2020: 184-196 - [c190]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 - [c189]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
- [j33]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) - [j32]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) - [j31]Andi Bejleri, Elton Domnori, Malte Viering, Patrick Eugster, Mira Mezini:
Comprehensive Multiparty Session Types. Art Sci. Eng. Program. 3(3): 6 (2019) - [j30]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) - [c188]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 - [c187]Johannes Krude, Jaco A. Hofmann, Matthias Eichholz, Klaus Wehrle, Andreas Koch, Mira Mezini:
Online Reprogrammable Multi Tenant Switches. ENCP@CoNEXT 2019: 1-8 - [c186]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 - [c185]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 - [c184]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 - [c183]Anna-Katharina Wickert, Michael Reif, Michael Eichberg, Anam Dodhy, Mira Mezini:
A dataset of parametric cryptographic misuses. MSR 2019: 96-100 - [c182]Sven Amann, Hoan Anh Nguyen, Sarah Nadi, Tien N. Nguyen, Mira Mezini:
Investigating next steps in static API-misuse detection. MSR 2019: 265-275 - [c181]Marcel Blöcher, Matthias Eichholz, Pascal Weisenburger, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
GRASS: generic reactive application-specific scheduling. REBLS@SPLASH 2019: 21-30 - [c180]Aditya Oak, Mira Mezini, Guido Salvaneschi:
Language support for multiple privacy enhancing technologies. Programming 2019: 12:1-12:2 - [c179]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 - [c178]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
- [j29]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) - [j28]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) - [j27]Joscha Drechsler, Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Thread-safe reactive programming. Proc. ACM Program. Lang. 2(OOPSLA): 107:1-107:30 (2018) - [j26]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) - [j25]Andi Bejleri, Mira Mezini, Patrick Eugster, Elton Domnori:
Cooperative decoupled processes. Softw. Qual. J. 26(3): 1147-1183 (2018) - [c177]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 - [c176]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 - [c175]Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini:
Fault-tolerant Distributed Reactive Programming. ECOOP 2018: 1:1-1:26 - [c174]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 - [c173]Ervina Çergani, Mira Mezini:
On the Impact of Order Information in API Usage Patterns. ICSOFT (Selected Papers) 2018: 79-103 - [c172]Ervina Çergani, Sebastian Proksch, Sarah Nadi, Mira Mezini:
Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study. ICSOFT 2018: 91-102 - [c171]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 - [c170]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 - [c169]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 - [c168]Dominik Helm, Florian Kübler, Michael Eichberg, Michael Reif, Mira Mezini:
A unified lattice model and framework for purity analyses. ASE 2018: 340-350 - [c167]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 - [c166]Matthias Eichholz, Guido Salvaneschi, Mira Mezini:
Towards safe modular composition of network functions. Programming 2018: 81-86 - [c165]Ragnar Mogk, Guido Salvaneschi, Mira Mezini:
Reactive programming experience with REScala. Programming 2018: 105-112 - [c164]Leonid Glanz, Sven Amann, Michael Eichberg, Michael Reif, Mira Mezini:
CodeMatch. Software Engineering 2018: 117-118 - [c163]Michael Reif, Michael Eichberg, Mira Mezini:
Call Graph Construction for Java Libraries. Software Engineering 2018: 119-120 - 2017
- [j24]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) - [c162]Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini:
A Co-contextual Type Checker for Featherweight Java . ECOOP 2017: 18:1-18:26 - [c161]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 - [c160]Artur Sterz, Lars Baumgärtner, Ragnar Mogk, Mira Mezini, Bernd Freisleben:
DTN-RPC: Remote procedure calls for disruption-tolerant networking. Networking 2017: 1-9 - [c159]Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini:
Hermes: assessment and creation of effective test corpora. SOAP@PLDI 2017: 43-48 - [c158]Sarah Nadi, Stefan Krüger, Mira Mezini, Eric Bodden:
"Jumping Through Hoops": Why do Java Developers Struggle With Cryptography APIs? Software Engineering 2017: 57 - [c157]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 - [c156]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 - [c155]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
- [c154]Andi Bejleri, Mira Mezini, Patrick Eugster:
Cooperative decoupled processes: the e-calculus and linearity. MODULARITY 2016: 82-93 - [c153]Oliver Bracevac, Sebastian Erdweg, Guido Salvaneschi, Mira Mezini:
CPL: a core language for cloud computing. MODULARITY 2016: 94-105 - [c152]Sylvia Grewe, Sebastian Erdweg, Mira Mezini:
Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny. Vampire@IJCAR 2016: 33-45 - [c151]Guido Salvaneschi, Mira Mezini:
Debugging reactive programming with reactive inspector. ICSE (Companion Volume) 2016: 728-730 - [c150]Guido Salvaneschi, Mira Mezini:
Debugging for reactive programming. ICSE 2016: 796-807 - [c149]