Search results for "Jianzhou Zhao"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic	Formalizing the LLVM intermediate representation for verified program transformations.	POPL	2012	DBLP DOI BibTeX RDF
1	Limin Jia, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich	Dependent types and program equivalence.	POPL	2010	DBLP DOI BibTeX RDF	dependent types, program equivalence
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	CETS: compiler enforced temporal safety for C.	ISMM	2010	DBLP DOI BibTeX RDF	temporal errors, c, memory safety, dangling pointers
1	Karl Mazurak, Jianzhou Zhao, Steve Zdancewic	Lightweight linear types in system fdegree.	TLDI	2010	DBLP DOI BibTeX RDF	type systems, polymorphism, linear logic
1	Jianzhou Zhao, Qi Zhang, Steve Zdancewic	Relational Parametricity for a Polymorphic Linear Lambda Calculus.	APLAS	2010	DBLP DOI BibTeX RDF
1	Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic	SoftBound: highly compatible and complete spatial memory safety for c.	PLDI	2009	DBLP DOI BibTeX RDF	spatial memory safety, c, buffer overflows
1	Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic	AURA: a programming language for authorization and audit.	ICFP	2008	DBLP DOI BibTeX RDF	access control, type systems, audit, authorization logic
1	Jianzhou Zhao, Jinian Bian, Weimin Wu	Cooperation of SMV and Jeda for the property checking of mixed control and data intensive designs.	CSCWD	2005	DBLP DOI BibTeX RDF
1	Jianzhou Zhao, Jinian Bian, Weimin Wu	PFGASAT- A Genetic SAT Solver Combining Partitioning and Fuzzy Strategie.	COMPSAC	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )

Publications of "Jianzhou Zhao" ( http://dblp.L3S.de/Authors/Jianzhou_Zhao )