Publications
Found 17 results
Filters: Autor is Mira Mezini [Clear All Filters]
„Fex: Assisted Identification of Domain Features from C Programs“, in Proceedings of the 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021, S. 170-180.
, „Impact of Programming Languages on Machine Learning Bugs“, in Proceedings of the 1st ACM International Workshop on AI and Software Testing/Analysis (AISTA), 2021, S. 9-12.
, „Hidden in Plain Sight: Obfuscated Strings Threatening Your Privacy“, in Proceedings of the 15th ACM Asia Conference on Computer and Communications Security (ASIACCS), 2020, S. 694-707.
, „Towards a Circular Economy of Industrial Software“, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, S. 37-42.
, „How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4“, in Proceedings of the 33rd European Conference on Object-Oriented Programming (ECOOP), 2019, S. 12:1-12:28.
, „Language-integrated Privacy-aware Distributed Queries“, Proceedings of the ACM on Programming Languages, Bd. 3, Nr. OOPSLA, 2019.
, „A Systematic Evaluation of Static API-Misuse Detectors“, IEEE Transactions on Software Engineering, Bd. 45, Nr. 12, S. 1170-1188, 2018.
, „A Unified Lattice Model and Framework for Purity Analyses“, in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, S. 340-350.
, „CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs“, in Proceedings of the 32nd European Conference on Object-Oriented Programming (ECOOP), 2018, S. 10:1-10:27.
, „Investigating Order Information in API-Usage Patterns: A Benchmark and Empirical Study“, in Proceedings of the 13th International Conference on Software Technologies (ICSOFT), 2018, S. 91-102.
, „Lattice Based Modularization of Static Analyses“, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, S. 113-118.
, „Multimodal Complex Event Processing on Mobile Devices“, in Proceedings of the 12th ACM International Conference on Distributed and Event-Based Systems (DEBS), 2018, S. 112-123.
, „Opportunistic Named Functions in Disruption-tolerant Emergency Networks“, in Proceedings of the 15th ACM International Conference on Computing Frontiers (CF), 2018, S. 129-137.
, „Reactive Programming Experience with REScala“, in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming), 2018, S. 105-112.
, „Systematic Evaluation of the Unsoundness of Call Graph Construction Algorithms for Java“, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, S. 107-112.
, „Towards Safe Modular Composition of Network Functions“, in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming), 2018, S. 81-86.
, „Versatile Event Correlation with Algebraic Effects“, ACM on Programming Languages, Bd. 2, Nr. ICFP, S. 67:1-67:31, 2018.
,