2 citations · 3 across the 12 of their papers we have counts for
7 papers · 1 filter
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…
Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers
Yuxin Qiu, Ben Limpanukorn, Seongmin Lee +3
Deep learning (DL) compilers such as TVM and ONNX-MLIR lower tensor computation graphs into optimized executables for target backends. Testing these compilers has made substantial…
Finding Compiler-Platform Interaction Bugs in Deep Learning Pipelines via Cross-Layer Constraints
Yuxin Qiu, Jiyuan Wang, Ronak Badhe +3
The growing deployment of artificial intelligence (AI) necessitates robust deep learning (DL) compilers, such as TVM and ONNX-MLIR. These compilers take as input high-level AI mode…
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…
ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
Annaëlle Baiget, Jaron Maene, Seongmin Lee +3
Understanding and explaining the structure of generated test inputs is essential for effective software testing and debugging. Existing approaches--including grammar-based fuzzers,…
Change And Cover: Last-Mile, Pull Request-Based Regression Test Augmentation
Zitong Zhou, Matteo Paltenghi, Miryung Kim +1
Software is in constant evolution, with developers frequently submitting pull requests (PRs) to introduce new features or fix bugs. Testing PRs is critical to maintaining software…