Publications
Found 17 results
Filters: Author 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, pp. 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, pp. 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, pp. 694-707.
, “Towards a Circular Economy of Industrial Software”, in Proceedings of the 27th CIRP Life Cycle Engineering Conference (LCE), 2020, pp. 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, pp. 12:1-12:28.
, “Language-integrated Privacy-aware Distributed Queries”, Proceedings of the ACM on Programming Languages, vol. 3, no. OOPSLA, 2019.
, “A Systematic Evaluation of Static API-Misuse Detectors”, IEEE Transactions on Software Engineering, vol. 45, no. 12, pp. 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, pp. 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, pp. 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, pp. 91-102.
, “Lattice Based Modularization of Static Analyses”, in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops (SOAP), 2018, pp. 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, pp. 112-123.
, “Opportunistic Named Functions in Disruption-tolerant Emergency Networks”, in Proceedings of the 15th ACM International Conference on Computing Frontiers (CF), 2018, pp. 129-137.
, “Reactive Programming Experience with REScala”, in Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming (Programming), 2018, pp. 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, pp. 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, pp. 81-86.
, “Versatile Event Correlation with Algebraic Effects”, ACM on Programming Languages, vol. 2, no. ICFP, pp. 67:1-67:31, 2018.
,