Scott Stoller's Home Page
Research Interests | Resume | Publications | Courses | Software | Journals and Conferences | Kids
Research Interests | Resume | Publications | Courses | Software | Journals and Conferences | Kids
My primary research interest is methods and tools for design, analysis, testing, and verification of software, especially software for concurrent systems and distributed systems, including specialized techniques for ensuring fault-tolerance and security. My research also includes work on program optimization and incremental computation.
| Spring | 2006 | CSE590: Distributed Systems |
| Spring | 2006 | CSE306: Operating Systems |
| Fall | 2005 | CSE394: Security Policy Frameworks |
| Spring | 2005 | CSE591: Security Policy Frameworks |
| Spring | 2004 | CSE308/ISE308: Software Engineering |
| Spring | 2004 | CSE526: Principles of Programming Languages |
| Spring | 2003 | CSE667: Design and Analysis Research Seminar |
| Spring | 2003 | CSE526: Principles of Programming Languages |
| Fall | 2002 | CSE308/ISE308: Software Engineering |
| Spring | 2002 | CSE647: Reliable (Distributed) Software |
| Fall | 2001 | CSE533: Network Programming |
| Spring | 2001 | ISE440: Information System Design: Object-Oriented Modeling, Analysis, and Design |
| Fall | 2000 | CSE647: Testing and Verification of Software |
Centralization and RMI-Removal Transformations for Java
Java Checker, a state-space exploration tool for concurrent Java programs.
Nachos-dfs: Nachos-3.4 plus Distributed
File System Project
Version 2.1 released on 21 December 1999. The code has been cleaned up!
It runs under Linux and Solaris!
International Journal on Software Tools for Technlogy Transfer, Member of Editorial Board.
8th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2007), Program Committee member
2006 Haifa Verification Conference, Program Committee member
2006 Workshop on Formal Aspects of Testing and Runtime Verification (FATES/RV 2006), Program Committee member
TV'06: Workshop on Multithreading in Hardware and Software: Formal Approaches to Design and Verification, Program Committee member
Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD 2006), Program Committee member
ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation (PLDI), Program Committee member
13th International SPIN Workshop on Model Checking Software (SPIN 2006), Program Committee member
7th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2006), Program Committee member
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, Associate Professor | Telephone: 631-632-1627 |
| Computer Science Department | FAX: 631-632-8334 |
| Computer Science Bldg, Room 1429 | myLastName@cs.sunysb.edu |
| SUNY at Stony Brook | http://www.cs.sunysb.edu/~stoller/ |
|
Stony Brook,
NY 11794-4400 | My GnuPG Public Key and PGP Public Key |