logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
M

Manuel Fähndrich

university of california davis

42H-index
124Paper Count
6.1KCitation Count
Published Papers 4
Publication Date
logo
Scaling Static Analyses at Facebook
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-07-24
err121
errOAAI
errDistefano, Dino; Fahndrich, Manuel; Logozzo, Francesco; O'Hearn, Peter W.
errShare
errSave
Abstracting Runtime Heaps for Program Understanding
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-06-01
err15
errOAAI
errMarron, Mark; Sanchez, Cesar; Su, Zhendong; Fahndrich, Manuel
errShare
errSave
Specification and Verification: The Spec# Experience
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-06-01
err96
PREAI
errBarnett, Mike; Faehndrich, Manuel; Leino, K. Rustan M.; Mueller, Peter; Schulte, Wolfram; Venter, Herman
errShare
errSave
Righting software
errIEEE SOFTWARE
IF3
err2004-05-01
err61
PREAI
errLarus, JB; Ball, T; Bas, M; DeLine, R; Fähndrich, M; Pincus, I; Rajamani, SK; Vankatapathy, R
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
Z
Zhendong Su
H-index: 65 · Papers: 275
S
Sriram K. Rajamani
H-index: 55 · Papers: 209
K
K. Rustan M. Leino
H-index: 51 · Papers: 174
P
Peter W. O’Hearn
H-index: 48 · Papers: 148
W
Wolfram Schulte
H-index: 46 · Papers: 239
View more