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, because masking o…
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…
Properties with Holes: Meta-Property-Based Testing of Data-Intensive Computing Frameworks
Yaoxuan Wu, Ingrid Lee, Ahmad Humayun +2
Data-intensive computing frameworks such as Apache Spark and Flink keep expanding their APIs with new data types, expressions, and operators. Their most damaging bugs return silent…
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…
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…