Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Complexity-guided container replacement synthesis., , , , und . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-31 (2022)Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis., , , , , und . Proc. ACM Program. Lang., 8 (PLDI): 567-592 (2024)DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems., , , , , , und . ASE, Seite 914-925. IEEE, (2023)SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis., , , , , und . ASPLOS (3), Seite 882-899. ACM, (2024)BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning., , , , , und . SP, Seite 36-50. IEEE, (2022)KBX: Verified Model Synchronization via Formal Bidirectional Transformation., , , , , und . CoRR, (2024)Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation., , , , , , und . ACM Trans. Softw. Eng. Methodol., 32 (3): 66:1-66:39 (Mai 2023)Fuzzing SMT solvers via two-dimensional input space exploration., , , , , und . ISSTA, Seite 322-335. ACM, (2021)Demystifying Template-Based Invariant Generation for Bit-Vector Programs., , , , , und . ASE, Seite 673-685. IEEE, (2023)Transcode: Detecting Status Code Mapping Errors in Large-Scale Systems., , , , , , , und . ASE, Seite 829-841. IEEE, (2021)