Dinakar Dhurjati
Dinakar Dhurjati
Staff Engineer, Qualcomm Research Silicon Valley
Verified email at qti.qualcomm.com
Title
Cited by
Cited by
Year
A fast automaton-based method for detecting anomalous program behaviors
R Sekar, M Bendre, D Dhurjati, P Bollineni
Proceedings 2001 IEEE Symposium on Security and Privacy. S&P 2001, 144-155, 2000
8352000
Automated test input generation for web applications
G Wassermann, D Yu, A Chander, D Dhurjati, H Inamura
US Patent 8,302,080, 2012
2672012
Backwards-compatible array bounds checking for C with very low overhead
D Dhurjati, V Adve
Proceedings of the 28th international conference on Software engineering …, 2006
2462006
Dynamic test input generation for web applications
G Wassermann, D Yu, A Chander, D Dhurjati, H Inamura, Z Su
Proceedings of the 2008 international symposium on Software testing and …, 2008
2192008
Secure virtual architecture: A safe execution environment for commodity operating systems
J Criswell, A Lenharth, D Dhurjati, V Adve
Proceedings of twenty-first ACM SIGOPS symposium on Operating systems …, 2007
1962007
SAFECode: Enforcing alias analysis for weakly typed languages
D Dhurjati, S Kowshik, V Adve
ACM SIGPLAN Notices 41 (6), 144-157, 2006
1882006
Memory safety without runtime checks or garbage collection
D Dhurjati, S Kowshik, V Adve, C Lattner
Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and …, 2003
1402003
Efficiently detecting all dangling pointer uses in production servers
D Dhurjati, V Adve
International Conference on Dependable Systems and Networks (DSN'06), 269-280, 2006
1132006
Nested kernel: An operating system architecture for intra-kernel privilege separation
N Dautenhahn, T Kasampalis, W Dietz, J Criswell, V Adve
Proceedings of the Twentieth International Conference on Architectural …, 2015
942015
Ensuring code safety without runtime checks for real-time control systems
S Kowshik, D Dhurjati, V Adve
Proceedings of the 2002 International Conference on Compilers, Architecture …, 2002
842002
Scaling up superoptimization
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the Twenty-First International Conference on Architectural …, 2016
752016
Memory safety without garbage collection for embedded applications
D Dhurjati, S Kowshik, V Adve, C Lattner
ACM Transactions on Embedded Computing Systems (TECS) 4 (1), 73-111, 2005
622005
Path-sensitive dataflow analysis with iterative refinement
D Dhurjati, M Das, Y Yang
International Static Analysis Symposium, 425-442, 2006
342006
Method for test suite reduction through system call coverage criterion
D Dhurjati, A Chander, H Inamura
US Patent App. 12/204,654, 2009
282009
Energy-Efficient Run-Time Offloading of Dynamically Generated Code in Heterogenuous Multiprocessor Systems
SAK Gathala, D Dhurjati, A Ermolinskiy, CA Vick
US Patent App. 13/961,122, 2015
182015
Formal specification and analysis of timing properties in software systems
M AlTurki, D Dhurjati, D Yu, A Chander, H Inamura
International Conference on Fundamental Approaches to Software Engineering …, 2009
162009
Optimal test input sequence generation for finite state models and pushdown systems
A Chander, D Dhurjati, K Sen, D Yu
2011 Fourth IEEE International Conference on Software Testing, Verification …, 2011
152011
Greenthumb: Superoptimizer construction framework
PM Phothilimthana, A Thakur, R Bodik, D Dhurjati
Proceedings of the 25th International Conference on Compiler Construction …, 2016
142016
Data Protection Using Virtual Resource Views
M Christodorescu, D Dhurjati, N Islam
US Patent App. 15/076,936, 2017
132017
Directed testing for property violations
D Dhurjati, A Chander, H Inamura
US Patent 8,468,499, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20