|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers.  |
Formal Methods in System Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken, Mooly Sagiv |
Precise and compact modular procedure summaries for heap manipulating programs. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Precise reasoning for programs using containers. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken |
Simplifying Loop Invariant Generation Using Splitter Predicates. |
CAV |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Reasoning about the unknown in static analysis. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Symbolic heap abstraction with demand-driven axiomatization of memory invariants. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Fluid Updates: Beyond Strong vs. Weak Updates. |
ESOP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Cuts from Proofs: A Complete and Practical Technique for Solving Linear Inequalities over Integers. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Sound, complete and scalable path-sensitive analysis. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
path- and context-sensitive analysis, strongest necessary/weakest sufficient conditons, static analysis |
| 1 | Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra |
The CLOSER: automating resource management in java. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
higher-level resource, interest reachability, logical liveness, resource interest graph, resource management |
| 1 | Isil Dillig, Thomas Dillig, Alex Aiken |
Static error detection using semantic inconsistency inference. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, error detection, satisfiability, inconsistency |
| 1 | Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins |
An overview of the saturn project. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
verification, program analysis, boolean satisfiability |
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")