133 citations · 150 across the 12 of their papers we have counts for
12 papers
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…
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…
On the Freshness of Pinned Dependencies in Maven
Vasudev Vikram, Yuvraj Agarwal, Rohan Padhye
Library dependencies in software ecosystems play a crucial role in the development of software. As newer releases of these libraries are published, developers may opt to pin their…
Fray: An Efficient General-Purpose Concurrency Testing Platform for the JVM (Extended Version)
Ao Li, Byeongjee Kang, Vasudev Vikram +4
Concurrency bugs are hard to discover and reproduce. Prior work has developed sophisticated algorithms to search for concurrency bugs, such as partial order sampling (POS); however…
Software Engineering Methods For AI-Driven Deductive Legal Reasoning
Rohan Padhye
The recent proliferation of generative artificial intelligence (AI) technologies such as pre-trained large language models (LLMs) has opened up new frontiers in computational law.…
Can Large Language Models Write Good Property-Based Tests?
Vasudev Vikram, Caroline Lemieux, Joshua Sunshine +1
Property-based testing (PBT), while an established technique in the software testing research community, is still relatively underused in real-world software. Pain points in writin…
Distributed Execution Indexing
Christopher S. Meiklejohn, Rohan Padhye, Heather Miller
This work-in-progress report presents both the design and partial evaluation of distributed execution indexing, a technique for microservice applications that precisely identifies…
SPIDER: Fuzzing for Stateful Performance Issues in the ONOS Software-Defined Network Controller
Ao Li, Rohan Padhye, Vyas Sekar
Performance issues in software-defined network (SDN) controllers can have serious impacts on the performance and availability of networks. In this paper, we consider a special clas…
Efficient Fuzz Testing for Apache Spark Using Framework Abstraction
Qian Zhang, Jiyuan Wang, Muhammad Ali Gulzar +2
The emerging data-intensive applications are increasingly dependent on data-intensive scalable computing (DISC) systems, such as Apache Spark, to process large data. Despite their…
Growing a Test Corpus with Bonsai Fuzzing
Vasudev Vikram, Rohan Padhye, Koushik Sen
This paper presents a coverage-guided grammar-based fuzzing technique for automatically generating a corpus of concise test inputs for programs such as compilers. We walk-through a…
Semantic Fuzzing with Zest
Rohan Padhye, Caroline Lemieux, Koushik Sen +2
Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed in…
Interprocedural Data Flow Analysis in Soot using Value Contexts
Rohan Padhye, Uday P. Khedker
An interprocedural analysis is precise if it is flow sensitive and fully context-sensitive even in the presence of recursion. Many methods of interprocedural analysis sacrifice pre…