NEWS
Institutional Subscription: Comprehensive Analyses to Enhance Your Global and Local Impact
New Feature: Compare Your Institution with the Previous Year
Find a Professional: Explore Experts Across 197 Disciplines in 220 Countries!
Find a Professional
Print Your Certificate
New! Young University / Institution Rankings 2025
New! Art & Humanities Rankings 2025
New! Social Sciences and Humanities Rankings 2025
Highly Cited Researchers 2025
AD
Scientific Index 2025
Scientist Rankings
University Rankings
Subject Rankings
Country Rankings
login
Login
person_add
Register
insights
H-Index Rankings
insights
i10 Productivity Rankings
format_list_numbered
Citation Rankings
subject
University Subject Rankings
school
Young Universities
format_list_numbered
Top 100 Scientists
format_quote
Top 100 Institutions
format_quote
Compare & Choose
local_fire_department
Country Reports
person
Find a Professional
Suzanne Millstein
University of Washington - Seattle / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4850928
Registration, Add Profile,
Premium Membership
Print Your Certificate
Ranking &
Analysis
Job
Experiences (0)
Education
Information (0)
Published Books (0)
Book Chapters (0)
Articles (0)
Presentations (0)
Lessons (0)
Projects (0)
Subject Leaders
Editorship, Referee &
Scientific Board (0 )
Patents /
Designs (0)
Academic Grants
& Awards (0)
Artistic
Activities (0)
Certificate / Course
/ Trainings (0)
Association &
Society Memberships (0)
Contact, Office
& Social Media
person_outline
Suzanne Millstein's MOST POPULAR ARTICLES
1-)
Collaborative verification of information flow for a high-assurance app storeMD Ernst, R Just, S Millstein, W Dietl, S Pernsteiner, F Roesner, ...Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications …, 20141302014
2-)
Static analysis of implicit control flow: Resolving java reflection and android intents (t)P Barros, R Just, S Millstein, P Vines, W Dietl, M d\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'Amorim, MD Ernst2015 30th IEEE/ACM International Conference on Automated Software …, 20151132015
3-)
Lightweight verification of array indexingM Kellogg, V Dort, S Millstein, MD ErnstProceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018142018
4-)
Verifying determinism in sequential programsR Mudduluru, J Waataja, S Millstein, M Ernst2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021102021
5-)
DesCert: Design for certificationN Shankar, D Bhatt, M Ernst, M Kim, S Varadarajan, S Millstein, J Navas, ...arXiv preprint arXiv:2203.15178, 202282022
ARTICLES
Add your articles
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.
Cookie Policy
Accept