Suzanne Millstein

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 4

Top Topics

Automatic Programming

Information Flows

Software Systems

Top Venues

ICSE (Companion Volume)

Software Engineering & Management

Publications

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren
DesCert: Design for Certification. CoRR (2022)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (2021)
Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst
Verifying Determinism in Sequential Programs. ICSE (Companion Volume) (2021)
Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst
Lightweight verification of array indexing. ISSTA (2018)
René Just, Michael D. Ernst, Suzanne Millstein
Collaborative Verification of Information Flow for a High-Assurance App Store. Software Engineering & Management (2015)
Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst
Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T). ASE (2015)
Michael D. Ernst, René Just, Suzanne Millstein, Werner Dietl, Stuart Pernsteiner, Franziska Roesner, Karl Koscher, Paulo Barros, Ravi Bhoraskar, Seungyeop Han, Paul Vines, Edward XueJun Wu
Collaborative Verification of Information Flow for a High-Assurance App Store. CCS (2014)