Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(24)
Thomas W. Reps
20
Nicholas Kidd
8
Junghee Lim
8
Tayssir Touili
3
Gogul Balakrishnan
3
Conferences
(7)
CAV
6
SAS(WSA)
4
TACAS
1
ESOP
1
FSTTCS
1
Journals
(5)
IPL
1
STTT
1
FMSD
1
TR
1
CoR
1
Keywords
(59)
Embed
Subscribe
Academic
Authors
Akash Lal
Edit
Akash Lal
Microsoft
Publications: 27
|
Citations: 213
|
G-Index: 14
|
H-Index: 9
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Data Mining
View FAQ about top research area and research interests
Collaborated with
24 co-authors
from 2004 to 2011
; Cited by
163 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(27)
BibTeX
|
RIS
|
RefWorks
Download
Symbolic analysis via semantic reinterpretation
Junghee Lim
,
Akash Lal
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 61-87, 2011
Directed Proof Generation for Machine Code
(
Citations: 6
)
Aditya V. Thakur
,
Junghee Lim
,
Akash Lal
,
Amanda Burton
,
Evan Driscoll
,
Matt Elder
,
Tycho Andersen
,
Thomas W. Reps
Conference:
Computer Aided Verification - CAV
, pp. 288-305, 2010
There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code
(
Citations: 2
)
Thomas W. Reps
,
Junghee Lim
,
Aditya V. Thakur
,
Gogul Balakrishnan
,
Akash Lal
Conference:
Computer Aided Verification - CAV
, pp. 41-56, 2010
Alternation for Termination
William R. Harris
,
Akash Lal
,
Aditya V. Nori
,
Sriram K. Rajamani
Conference:
Static Analysis Symposium/Workshop on Static Analysis - SAS(WSA)
, pp. 304-319, 2010
Reference count analysis with shallow aliasing
Akash Lal
,
G. Ramalingam
Journal:
Information Processing Letters - IPL
, vol. 111, no. 2, pp. 57-63, 2010
Order by:
Citations
(213 times by 129 publications)
Refinement-Based CFG Reconstruction from Unstructured Programs
(
Citations: 3
)
Sébastien Bardin
,
Philippe Herrmann
,
Franck Védrine
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 54-69, 2011
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
(
Citations: 1
)
Thomas Martin Gawlitza
,
Peter Lammich
,
Markus Müller-Olm
,
Helmut Seidl
,
Alexander Wenner
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 199-213, 2011
Delay-bounded scheduling
(
Citations: 2
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Published in 2011.
Verifying multi-threaded software using smt-based context-bounded model checking
(
Citations: 1
)
Lucas Cordeiro
,
Bernd Fischer
Conference:
International Conference on Software Engineering - ICSE
, pp. 331-340, 2011
A decision procedure for detecting atomicity violations for communicating processes with locks
(
Citations: 1
)
Nicholas Kidd
,
Peter Lammich
,
Tayssir Touili
,
Thomas W. Reps
Journal:
International Journal on Software Tools for Technology Transfer - STTT
, vol. 13, no. 1, pp. 37-60, 2011
Comments