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
(102)
Serdar Tasiran
22
Sriram Rajamani
18
Cormac Flanagan
18
Shuvendu Lahiri
16
Thomas A. Henzinger
16
Conferences
(26)
CAV
16
PLDI
6
POPL
6
TACAS
5
ICCAD
3
Journals
(15)
SIGPLAN
13
FMSD
3
TOPLAS
2
ENTCS
2
TPDS
1
Keywords
(197)
Embed
Subscribe
Academic
Authors
Shaz Qadeer
Edit
Shaz Qadeer
Microsoft
Publications: 126
|
Citations: 3263
|
G-Index: 56
|
H-Index: 30
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
,
Programming Languages
,
Hardware & Architecture
View FAQ about top research area and research interests
Collaborated with
102 co-authors
from 1996 to 2011
; Cited by
2729 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(126)
BibTeX
|
RIS
|
RefWorks
Download
Call Invariants
(
Citations: 1
)
Shuvendu K. Lahiri
,
Shaz Qadeer
Published in 2011.
Delay-bounded scheduling
(
Citations: 2
)
Michael Emmi
,
Shaz Qadeer
,
Zvonimir Rakamarić
Published in 2011.
How to Shop for Free Online -- Security Analysis of Cashier-as-a-Service Based Web Stores
(
Citations: 1
)
Rui Wang
,
Shuo Chen
,
XiaoFeng Wang
,
Shaz Qadeer
Conference:
IEEE Symposium on Security and Privacy - S&P
, pp. 465-480, 2011
Practical parallel and concurrent programming
(
Citations: 1
)
Caitlin Sadowski
,
Thomas Ball
,
Judith Bishop
,
Sebastian Burckhardt
,
Ganesh Gopalakrishnan
,
Joseph Mayo
,
Madanlal Musuvathi
,
Shaz Qadeer
,
Stephen Toub
Published in 2011.
Linear maps
(
Citations: 1
)
Shuvendu K. Lahiri
,
Shaz Qadeer
,
David Walker
Conference:
Programming Languages meets Program Verification - PLPV
, pp. 3-14, 2011
Order by:
Citations
(3263 times by 2296 publications)
Parallel symbolic execution for automated real-world software testing
(
Citations: 4
)
Stefan Bucur
,
Vlad Ureche
,
Cristian Zamfir
,
George Candea
Conference:
EuroSys Conference - EUROSYS
, pp. 183-198, 2011
A parametric segmentation functor for fully automatic and scalable array content analysis
(
Citations: 3
)
Patrick Cousot
,
Radhia Cousot
,
Francesco Logozzo
Published in 2011.
Predicate abstraction and refinement for verifying multi-threaded programs
(
Citations: 2
)
Ashutosh Gupta
,
Corneliu Popeea
,
Andrey Rybalchenko
Published in 2011.
The tree width of auxiliary storage
(
Citations: 2
)
P. Madhusudan
,
Gennaro Parlato
Published in 2011.
Boosting Lazy Abstraction for SystemC with Partial Order Reduction
(
Citations: 2
)
Alessandro Cimatti
,
Iman Narasamdya
,
Marco Roveri
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 341-356, 2011
Comments