|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Saurabh Joshi, Shuvendu K. Lahiri, Akash Lal |
Underspecified harnesses and interleaved bugs.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic analysis via semantic reinterpretation. |
STTT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, G. Ramalingam |
Reference count analysis with shallow aliasing. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya V. Thakur, Junghee Lim, Akash Lal, Amanda Burton, Evan Driscoll, Matt Elder, Tycho Andersen, Thomas W. Reps |
Directed Proof Generation for Machine Code. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Junghee Lim, Aditya V. Thakur, Gogul Balakrishnan, Akash Lal |
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | William R. Harris, Akash Lal, Aditya V. Nori, Sriram K. Rajamani |
Alternation for Termination. |
SAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps |
Reducing concurrent analysis under a context bound to sequential analysis. |
Formal Methods in System Design |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghee Lim, Akash Lal, Thomas W. Reps |
Symbolic Analysis via Semantic Reinterpretation. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Tayssir Touili, Nicholas Kidd, Thomas W. Reps |
Interprocedural Analysis of Concurrent Programs Under a Context Bound. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps |
Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Kidd, Akash Lal, Thomas W. Reps |
Language Strength Reduction. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps |
Solving Multiple Dataflow Queries Using WPDSs. |
SAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Nicholas Kidd, Thomas W. Reps, Tayssir Touili |
Abstract Error Projection. |
SAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Reps, Akash Lal, Nicholas Kidd |
Program Analysis Using Weighted Pushdown Systems. |
FSTTCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | François Fages, Akash Lal |
A constraint programming approach to cutset problems. |
Computers & OR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps |
Improving Pushdown System Model Checking. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Junghee Lim, Marina Polishchuk, Ben Liblit |
Path Optimization in Programs and Its Application to Debugging. |
ESOP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Akash Lal, Thomas W. Reps, Gogul Balakrishnan |
Extended Weighted Pushdown Systems. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gogul Balakrishnan, Thomas W. Reps, Nicholas Kidd, Akash Lal, Junghee Lim, David Melski, Radu Gruian, Suan Hsi Yong, Chi-Hua Chen, Tim Teitelbaum |
Model Checking x86 Executables with CodeSurfer/x86 and WPDS++. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Deepak Garg, Akash Lal, Sanjiva Prasad |
Effective Chemistry for Synchrony and Asynchrony. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")