2 papers
cs.SE2025
Caruca: Effective and Efficient Specification Mining for Opaque Software Components
Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya +4
A wealth of state-of-the-art systems demonstrate impressive improvements in performance, security, and reliability on programs composed of opaque components, such as Unix shell com…
cs.PL2024
Making Formulog Fast: An Argument for Unconventional Datalog Evaluation (Extended Version)
Aaron Bembenek, Michael Greenberg, Stephen Chong
By combining Datalog, SMT solving, and functional programming, the language Formulog provides an appealing mix of features for implementing SMT-based static analyses (e.g., refinem…