Scott Stoller's Home Page

Research Interests

My primary research interests are design, analysis, optimization, testing, and verification of software, with focuses on computer security, concurrency, and incremental computation.

Security Policy Mining is one of my current research topics.




Editorial Board Memberships

Foundations and Trends in Programming Languages

International Journal on Software Tools for Technology Transfer

Program Committee Memberships

16th International Conference on Runtime Verification (RV 2016)

11th International Conference on Information Systems Security (ICISS 2015)

29th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSec 2015)

Multicore Software Engineering, Performance, Applications, and Tools (MUSEPAT) track of the 30th ACM/SIGAPP Symposium on Applied Computing (SAC 2015)

20th ACM Symposium on Access Control Models and Technologies (SACMAT 2015)

15th International Conference on Runtime Verification (RV 2015)

10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015)

Older Research Events


Fall2015 CSE 308 (Sections 1 and 2): Software Engineering
Spring2015 CSE 308 (Section 1): Software Engineering
Fall2014 CSE 535: Asynchronous Systems

Older Courses


To understand recursion, one must first understand recursion.
- Unknown

In theory, there's no difference between theory and practice. In practice, there is.
- Yogi Berra

Scott D. Stoller
Computer Science Building, Room 357 GnuPG Public Key
Mail Code 2424 631-632-1627
Stony Brook University
Stony Brook, NY 11794-2424
Picture of Scott Stoller