Scott Stoller

Rank/Position Title:

Associate Professor

Home Page:

http://www.cs.sunysb.edu/~stoller

Date of original appointment to this faculty, followed by dates and ranks of advancement:

• September 2000: original appointment as Assistant Professor
• September 2003: promotion to Associate Professor with tenure

Degrees:

Conferences, workshops, and professional development:

• 7th National Colloquium for Information Systems Security Education, 2003
• Stony Brook Workshop on Information Assurance Education, 2004
• Third Russian National Conference on Mathematics and Information Technology Security (MaBIT), 2004
• Workshop on Issues in the Theory of Security (WITS), 2004
• Third International Workshop on Automated Verification of Infinite-State Systems (AVIS)
• 11th SPIN Workshop on Verification of Software, 2004; Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), 2004
• 15th International Conference on Computer-Aided Verification (CAV), 2003
• 17th IFIP World Computer Congress, 2002
• 14th International Conference on Computer-Aided Verification (CAV), International Symposium on Software Testing and Analysis (ISSTA), 2002

Other related computing experience:

Assistant Professor, Indiana University, Bloomington, Indiana, August 1996--August 2000.

Department, college, and/or university committee membership:

Faculty Recruiting Committee, 2001-present.

Principal publications of the last five years.

The following are selected journal publications. Conference publications are omitted due to space limitations.

• Scott D. Stoller and Fred B. Schneider. Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods in System Design, to appear.
• Yanhong A. Liu, Scott D. Stoller, Ning Li, and Tom Rothamel. Optimizing Aggregate Array Computations in Loops. ACM Transactions on Programming Languages and Systems, to appear.
• Yanhong A. Liu and Scott D. Stoller. Eliminating Dead Code on Recursive Data. Science of Computer Programming, 47:221-242, 2003.
• Yanhong A. Liu and Scott D. Stoller. Dynamic programming via static incrementalization. Higher-Order and Symbolic Computation, 16(1-2):37-62, March-June 2003.
• Scott D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. International Journal on Software Tools for Technology Transfer, 4(1):71-91, October 2002.
• Scott D. Stoller. Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing, 13(2):85--98, April 2000.
• Scott D. Stoller. Leader election in asynchronous distributed systems. IEEE Transactions on Computers, 49(3):283-284, March 2000.

Other scholarly activity: grants, sabbaticals, software development, etc.:

Selected grants:

• Principal Investigator, {\it Generating Efficient Trust Management Software from Policies}, with Yanhong A. Liu. Office of Naval Research, Special Competition for Critical Infrastructure Protection (CIP) and High Confidence, Adaptable Software (SW) of the Multidisplinary Research Program of the University Research Initiative (MURI), 2004--2006.
• Co-Principal Investigator, Capacity Expansion in Information Assurance, with R. Sekar (Principal Investigator), Yow-Jian Lin, I.V. Ramakrishnan, Erez Zadok. National Science Foundation, Federal Cyber Corps: Scholarship for Service, 2003—2005. This grant supports the development of courses and courseware for undergraduate and graduate concentrations in Information Assurance.
• co-Principal Investigator, Scholarship for Service, with R. Sekar (Principal Investigator), Tzi-cker Chiueh, I.V. Ramakrishnan, and Erez Zadok. National Science Foundation, Federal Cyber Corps: Scholarship for Service, 2004--2008.
• This grant provides scholarships for undergraduate and graduate students specializing in information assurance.
• co-Principal Investigator, Model Checking for Detecting Computer System Vulnerabilities, with C.R. Ramakrishnan (Principal Investigator), I.V. Ramakrishnan, R. Sekar, and S. Smolka. National Science Foundation, Information Technology Research (ITR), 2002--2006.
• Principal Investigator, Checking Critical Software for Concurrent Distributed Open Secure Systems. Office of Naval Research, Young Investigator Program, 2002-2005.
• Principal Investigator Automated Analysis of Security and Fault-Tolerance of Distributed Systems. National Science Foundation, CAREER Award, 1999-2003.

Scientific, professional, and honor societies of which you are a member:

ACM SIGSOFT, Sigma Xi (former member)

Honors and awards:

• NASA Turning Goals Into Reality Award for Engineering Innovation, 2003. Awarded to the Java PathFinder Team. I am named as a team member for my contributions.
• Teaching Excellence Recognition Award, Indiana University, 1999.

Courses taught this and last academic year term-by-term

Academic advising:

• I am the primary advisor for 4 Ph.D. students. I am a secondary advisor for a few other Ph.D. students. I supervised research projects by 2 M.S. students.
• As the Undergraduate Research Liaison for Computer Science, I advise several undergraduates (typically 6--8) each semester on prospective research projects and often on other academic issues.
• As the faculty advisor to the Stony Brook Computer Science Society (student chapter of ACM) and the Stony Brook chapter of the Computer Science Honor Society (Upsilon Pi Epsilon), I typically talk to 20 or more undergraduates each semester, and often advise them on academic and career issues.
• Assigned advisor for 18 undergraduate students during 2004/2005 academic year.

Brief description of major research and scholarly activities:

• My research is on: (1) methods and tools for design, analysis, testing, and verification of software, especially software for concurrent systems and distributed systems; and (2) program analysis and optimization, especially analysis of resource usage (time and space) and optimizations based on incremental computation.
• My major research activities are supervising research projects by students, writing grant proposals and papers, and reviewing. Selected papers and grants are listed above.