5 papers
The Parser Already Knows: Lightweight Bias Correction in Constrained Decoding
Işıl Özgü, Yaoxuan Wu, Guy Van den Broeck +1
Grammar Constrained Decoding (GCD) forces Language Models (LMs) to produce syntactically valid outputs by masking out non-conforming tokens at each step. However, rigid masking dis…
Agentic Proof and Property-Based Testing via Property-Templates in Data-Intensive Computing
Seongmin Lee, Yaoxuan Wu, Miryung Kim
As the cost of code generation becomes cheaper with AI, the new bottleneck in software engineering has shifted to intent specification and validation. Overcoming this durability cr…
Operationalizing Property-Based Testing for Data-Intensive Scalable Computing Systems
Yaoxuan Wu, Ingrid Lee, Ahmad Humayun +2
While fuzzing effectively catches crashes, its shallow oracles often miss semantic drifts and optimization-related errors in data-intensive scalable computing (DISC) frameworks. Pr…
PALM: Path-aware LLM-based Test Generation with Comprehension
Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun +2
Symbolic execution is a widely used technique for test generation, offering systematic exploration of program paths through constraint solving. However, it is fundamentally constra…
Targeted Testing of Compiler Optimizations via Grammar-Level Composition Styles
Zitong Zhou, Ben Limpanukorn, Hong Jin Kang +5
Ensuring the correctness of compiler optimizations is critical, but existing fuzzers struggle to test optimizations effectively. First, most fuzzers use optimization pipelines (heu…