4 citations · 7 across the 4 of their papers we have counts for
5 papers
Temporal Backtracking Search for Test-time Generative Video Reasoning
Sejoon Jun, Zheng Ding, Huangyuan Su +2
While test-time scaling has revolutionized reasoning in large language models, generative video reasoning remains bottlenecked by a single-shot paradigm. We demonstrate that search…
An Empirical Study of OSS-Fuzz Bugs
Zhen Yu Ding, Claire Le Goues
Continuous fuzzing is an increasingly popular technique for automated quality and security assurance. Google maintains OSS-Fuzz: a continuous fuzzing service for open source softwa…
Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry
Zhen Yu Ding, Benjamin Khakshoor, Justin Paglierani +1
Leaked secrets, such as passwords and API keys, in codebases were responsible for numerous security breaches. Existing heuristic techniques, such as pattern matching, entropy analy…
Patch Quality and Diversity of Invariant-Guided Search-Based Program Repair
Zhen Yu Ding
Most automatic program repair techniques rely on test cases to specify correct program behavior. Due to test cases' frequently incomplete coverage of desired behavior, however, pat…
The State and Future of Genetic Improvement
William B. Langdon, Westley Weimer, Christopher Timperley +9
We report the discussion session at the sixth international Genetic Improvement workshop, GI-2019 @ ICSE, which was held as part of the 41st ACM/IEEE International Conference on So…