Suzanne Millstein

According to our database, Suzanne Millstein authored at least 6 papers between 2014 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

DesCert: Design for Certification.

Natarajan Shankar, Devesh Bhatt, Michael D. Ernst, Minyoung Kim, Srivatsan Varadarajan, Suzanne Millstein, Jorge Navas, Jason Biatek, Huascar Sanchez, Anitha Murugesan, Hao Ren

CoRR, 2022

2021

Verifying Determinism in Sequential Programs.

Rashmi Mudduluru, Jason Waataja, Suzanne Millstein, Michael D. Ernst

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2018

Lightweight verification of array indexing.

Martin Kellogg, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2015

Collaborative Verification of Information Flow for a High-Assurance App Store.

René Just, Michael D. Ernst, Suzanne Millstein

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (T).

Paulo Barros, René Just, Suzanne Millstein, Paul Vines, Werner Dietl, Marcelo d'Amorim, Michael D. Ernst

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

2014

Collaborative Verification of Information Flow for a High-Assurance App Store.

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

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014