4 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.PL2022
DFI: An Interprocedural Value-Flow Analysis Framework that Scales to Large Codebases
Min-Yih Hsu, Felicitas Hetzelt, Michael Franz
Context- and flow-sensitive value-flow information is an important building block for many static analysis tools. Unfortunately, current approaches to compute value-flows do not sc…
cs.DB2015★ 4 cited
repAIrC: A Tool for Ensuring Data Consistency by Means of Active Integrity Constraints
Luís Cruz-Filipe, Michael Franz, Artavazd Hakhverdyan +3
Consistency of knowledge repositories is of prime importance in organization management. Integrity constraints are a well-known vehicle for specifying data consistency requirements…
cs.OS1999★ 3 cited
Perpetual Adaptation of Software to Hardware: An Extensible Architecture for Providing Code Optimization as a Central System Service
Thomas Kistler, Michael Franz
We present an open architecture for just-in-time code generation and dynamic code optimization that is flexible, customizable, and extensible. While previous research has primarily…