|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 18 keywords
|
|
|
|
|
Results
Found 17 publication records. Showing 17 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Arlen Cox, Sriram Sankaranarayanan, Bor-Yuh Evan Chang |
A Bit Too Precise? Bounded Verification of Quantized Digital Filters.  |
TACAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Rival, Bor-Yuh Evan Chang |
Calling context abstraction with shapes. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, Manu Sridharan |
The Flow-Insensitive Precision of Andersen's Analysis in Practice. |
SAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Frohardt, Bor-Yuh Evan Chang, Sriram Sankaranarayanan |
Access Nets: Modeling Access to Physical Spaces. |
VMCAI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Foster |
Mixing type checking and symbolic execution. |
PLDI |
2010 |
DBLP DOI BibTeX RDF |
mix rules, mixed off-the-shelf analysis, symbolic execution, precision, type checking, mix, false alarms |
| 1 | Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival |
Separating Shape Graphs. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Xavier Rival |
Relational inductive shape analysis. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
symbolic abstract domain, shape analysis, materialization, separation logic, inductive definitions, heap analysis |
| 1 | Bor-Yuh Evan Chang, Manu Sridharan |
PML: Toward a High-Level Formal Language for Biological Systems. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Xavier Rival, George C. Necula |
Shape Analysis with Structural Invariant Checkers. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Matthew Harren, George C. Necula |
Analysis of Low-Level Code Using Cooperating Decompilers. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula |
A Framework for Certified Program Analysis and Its Applications to Mobile-Code Safety. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, K. Rustan M. Leino |
Inferring Object Invariants: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs 0002, K. Rustan M. Leino |
Boogie: A Modular Reusable Verifier for Object-Oriented Programs. |
FMCO |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
The open verifier framework for foundational verifiers. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
language-based security, proof-carrying code, typed assembly language |
| 1 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
Type-based verification of assembly language for compiler debugging. |
TLDI |
2005 |
DBLP DOI BibTeX RDF |
abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code |
| 1 | Bor-Yuh Evan Chang, K. Rustan M. Leino |
Abstract Interpretation with Alien Expressions and Heap Structures. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper, Jason Liszka, Tom Murphy VII, Frank Pfenning |
Trustless Grid Computing in ConCert. |
GRID |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #17 of 17 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")