Rahul Kumar

According to our database, Rahul Kumar authored at least 17 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

Assessing the Effectiveness of Syntactic Structure to Learn Code Edit Representations.

Syed Arbaaz Qureshi, Sonu Mehta, Ranjita Bhagwan, Rahul Kumar

CoRR, 2021

Data-driven test selection at scale.

Sonu Mehta, Farima Farmahinifarahani, Ranjita Bhagwan, Suraj Guptha, Sina Jafari, Rahul Kumar, Vaibhav Saini, Anirudh Santhiar

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

2020

Rex: Preventing Bugs and Misconfiguration in Large Services Using Correlated Change Analysis.

Sonu Mehta, Ranjita Bhagwan, Rahul Kumar, Chetan Bansal, Chandra Shekhar Maddila, Balasubramanyan Ashok, Sumit Asthana, Christian Bird, Aditya Kumar

Proceedings of the 17th USENIX Symposium on Networked Systems Design and Implementation, 2020

Angelic Checking within Static Driver Verifier: Towards high-precision defects without (modeling) cost.

Shuvendu K. Lahiri, Akash Lal, Sridhar Gopinath, Alexander Nutz, Vladimir Levin, Rahul Kumar, Nate Deisinger, Jakob Lichtenberg, Chetan Bansal

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

2019

WhoDo: automating reviewer suggestions at scale.

Sumit Asthana, Rahul Kumar, Ranjita Bhagwan, Christian Bird, Chetan Bansal, Chandra Shekhar Maddila, Sonu Mehta, Balasubramanyan Ashok

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

FastLane: test minimization for rapidly deployed large-scale online services.

Adithya Abraham Philip, Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Nachiappan Nagappan

Proceedings of the 41st International Conference on Software Engineering, 2019

Building sankie: an AI platform for DevOps.

Rahul Kumar, Chetan Bansal, Chandra Shekhar Maddila, Nitin Sharma, Shawn Martelock, Ravi Bhargava

Proceedings of the 1st International Workshop on Bots in Software Engineering, 2019

2018

Orca: Differential Bug Localization in Large-Scale Services.

Ranjita Bhagwan, Rahul Kumar, Chandra Shekhar Maddila, Adithya Abraham Philip

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2016

Static Analysis Using the Cloud.

Rahul Kumar, Chetan Bansal, Jakob Lichtenberg

Proceedings of the First International Workshop on Formal Methods for and on the Cloud, 2016

CloudSDV Enabling Static Driver Verifier Using Microsoft Azure.

Rahul Kumar, Thomas Ball, Jakob Lichtenberg, Nate Deisinger, Apoorv Upreti, Chetan Bansal

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

2014

Adtributor: Revenue Debugging in Advertising Systems.

Ranjita Bhagwan, Rahul Kumar, Ramachandran Ramjee, George Varghese, Surjyakanta Mohapatra, Hemanth Manoharan, Piyush Shah

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

MUX: algorithm selection for software model checkers.

Varun Tulsian, Aditya Kanade, Rahul Kumar, Akash Lal, Aditya V. Nori

Proceedings of the 11th Working Conference on Mining Software Repositories, 2014

Online learning versus blended learning: an exploratory study.

Andrew Cross, Balasubramanyan Ashok, Srinath Bala, Edward Cutrell, Naren Datha, Rahul Kumar, Viraj Kumar, Parthasarathy Madhusudan, Siddharth Prakash, Sriram K. Rajamani, Satish Sangameswaran, Deepika Sharma, William Thies

Proceedings of the First (2014) ACM Conference on Learning @ Scale, 2014

2013

The economics of static analysis tools.

Rahul Kumar, Aditya V. Nori

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

Parallelizing top-down interprocedural analyses.

Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2010

SLAM2: Static driver verification with under 4% false alarms.

Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

The Static Driver Verifier Research Platform.

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010