Concepedia

Rahul Agarwal

RA

5

Publications

334

Citations

5

H-Index

2005

Active since

Affiliations

Stony Brook University(Current)

Rahul Agarwal is an author at Stony Brook University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringVerificationHardware Security

Publications per year

2005–2016

5

Publications

5

Automated type-based analysis of data races and atomicity

Amit Sasturkar, Rahul Agarwal, Liqiang Wang et al. · 2005 · 111 citations

Engineering, Verification, Software Engineering +19

Optimized run-time race detection and atomicity checking using partial discovered types

Rahul Agarwal, Amit Sasturkar, Liqiang Wang et al. · 2005 · 72 citations

Program Checking, Engineering, Verification +20

Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

Rahul Agarwal, Scott D. Stoller · 2006 · 61 citations

Engineering, Verification, Software Engineering +19

Cloud computing based smart garbage monitoring system

Jetendra Joshi, Joshitha Reddy, P. Ram Kishore Kumar Reddy et al. · 2016 · 56 citations

Environmental Monitoring, Engineering, Service Monitoring +17

Detection of deadlock potentials in multithreaded programs

Rahul Agarwal, Saddek Bensalem, Eitan Farchi et al. · IBM Journal of Research and Development · 2010 · 34 citations

Engineering, Deadlock Potentials, Software Engineering +20

Rows per page

1–5 of 5