10 citations · 10 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024★ 10 cited
Java JIT Testing with Template Extraction
Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah +2
We present LeJit, a template-based framework for testing Java just-in-time (JIT) compilers. Like recent template-based frameworks, LeJit executes a template -- a program with holes…
cs.SE2024
Object Graph Programming
Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach +1
We introduce Object Graph Programming (OGO), which enables reading and modifying an object graph (i.e., the entire state of the object heap) via declarative queries. OGO models the…