133 citations · 150 across the 12 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
DateSAT: A Framework for Solving Date and Period Constraints
Leyi Cui, Shrey Tiwari, Rohan Padhye
Dates and calendar periods (i.e., days, months, years) appear frequently in tasks involving analysis of software, data, and documents. Prior research has shown that computer logic…
cs.SE2026
Fuzzing with Agents? Generators Are All You Need
Vasudev Vikram, Rohan Padhye
Modern generator-based fuzzing techniques combine lightweight input generators with coverage-guided mutation as a method of exploring deep execution paths in a target program. A co…