Search results for "Dinakar Dhurjati"

Found 11 publication records. Showing 11 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Ajay Chander, Dinakar Dhurjati, Koushik Sen, Dachuan Yu	Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems.	ICST	2011	DBLP DOI BibTeX RDF
1	Musab AlTurki, Dinakar Dhurjati, Dachuan Yu, Ajay Chander, Hiroshi Inamura	Formal Specification and Analysis of Timing Properties in Software Systems.	FASE	2009	DBLP DOI BibTeX RDF
1	Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su	Dynamic test input generation for web applications.	ISSTA	2008	DBLP DOI BibTeX RDF	directed random testing, web applications, automatic test generation, concolic testing
1	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve	SAFECode: enforcing alias analysis for weakly typed languages.	PLDI	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, alias analysis, region management
1	Dinakar Dhurjati, Vikram S. Adve	Efficiently Detecting All Dangling Pointer Uses in Production Servers.	DSN	2006	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Manuvir Das, Yue Yang	Path-Sensitive Dataflow Analysis with Iterative Refinement.	SAS	2006	DBLP DOI BibTeX RDF
1	Dinakar Dhurjati, Vikram S. Adve	Backwards-compatible array bounds checking for C with very low overhead.	ICSE	2006	DBLP DOI BibTeX RDF	automatic pool allocation, compilers, programming languages, array bounds checking, region management
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without garbage collection for embedded applications.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF	automatic pool allocation, security, Embedded systems, compilers, static analysis, programming languages, region management
1	Dinakar Dhurjati, Sumant Kowshik, Vikram S. Adve, Chris Lattner	Memory safety without runtime checks or garbage collection.	LCTES	2003	DBLP DOI BibTeX RDF	automatic pool allocation, security, embedded systems, compilers, static analysis, programming languages, region management
1	Sumant Kowshik, Dinakar Dhurjati, Vikram S. Adve	Ensuring code safety without runtime checks for real-time control systems.	CASES	2002	DBLP DOI BibTeX RDF	security, real-time, compiler, static analysis, control, programming language

Publications of "Dinakar Dhurjati" ( http://dblp.L3S.de/Authors/Dinakar_Dhurjati )