68 citations · 71 across the 6 of their papers we have counts for
6 papers
CGuard: Efficient Spatial Safety for C
Piyus Kedia, Rahul Purandare, Udit Kumar Agarwal +1
Spatial safety violations are the root cause of many security attacks and unexpected behavior of applications. Existing techniques to enforce spatial safety work broadly at either…
Modeling Functional Similarity in Source Code with Graph-Based Siamese Networks
Nikita Mehrotra, Navdha Agarwal, Piyush Gupta +3
Code clones are duplicate code fragments that share (nearly) similar syntax or semantics. Code clone detection plays an important role in software maintenance, code refactoring, an…
Including Everyone, Everywhere: Understanding Opportunities and Challenges of Geographic Gender-Inclusion in OSS
Gede Artha Azriadi Prana, Denae Ford, Ayushi Rastogi +3
The gender gap is a significant concern facing the software industry as the development becomes more geographically distributed. Widely shared reports indicate that gender differen…
JCoffee: Using Compiler Feedback to Make Partial Code Snippets Compilable
Piyush Gupta, Nikita Mehrotra, Rahul Purandare
Static program analysis tools are often required to work with only a small part of a program's source code, either due to the unavailability of the entire program or the lack of ne…
Replacements and Replaceables: Making the Case for Code Variants
Venkatesh Vinayakarao, Devika Sondhi, Sumit Keswani +2
There are often multiple ways to implement the same requirement in source code. Different implementation choices can result in code snippets that are similar, and have been defined…
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
Monitoring programs for finite state properties is challenging due to high memory and execution time overheads it incurs. Some events if skipped or lost naturally can reduce both o…