Concepedia

Dinakar Dhurjati

DD

15

Publications

1.8K

Citations

14

H-Index

2002

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of California, Berkeley

Google (United States)

University of Washington

Qualcomm (United States)

Dinakar Dhurjati is an author at University of Illinois Urbana-Champaign specializing in computer engineering, program analysis, and engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringProgram AnalysisSoftware AnalysisFormal VerificationCompilersFormal MethodsSystem SoftwareHardware Security

Publications per year

2002–2016

15

Publications

15

A fast automaton-based method for detecting anomalous program behaviors

R. Sekar, Mr. Rushant Bendre, Dinakar Dhurjati et al. · 2002 · 560 citations

Software Maintenance, Compact Fsa, Anomaly Detection +24

Backwards-compatible array bounds checking for C with very low overhead

Dinakar Dhurjati, Vikram Adve · 2006 · 223 citations

Program Checking, Engineering, Compiler Technology +26

Dynamic test input generation for web applications

Gary Wassermann, Dachuan Yu, Ajay Chander et al. · 2008 · 172 citations

Engineering, Verification, Web Applications +21

Secure virtual architecture

John Criswell, Andrew Lenharth, Dinakar Dhurjati et al. · 2007 · 156 citations

Engineering, Information Security, Computer Architecture +22

Dinakar Dhurjati, Sumant Kowshik, Vikram Adve · ACM SIGPLAN Notices · 2006 · 113 citations

Engineering, Compiler Technology, Verification +16

Rows per page

1–5 of 15