Scott Stoller, Ph.D.


Contact Information

Education

Doctor of Philosophy (Ph.D.) - Computer Science
Cornell University (1996)

Bachelor of Arts (B.A.) - Physics
Princeton University (1990)

Biography

Link to CV

Publications

Ph.D. Thesis

1. Scott D. Stoller. A Method and Tool for Analyzing Fault-Tolerance in Systems. Cornell University, Ithaca, NY, May 1997.

Journal Publications

2. Scott D. Stoller and Thang Bui. Mining Hierarchical Temporal Roles with Multiple Metrics. Journal of Computer Security 26(1):121-142, 2018.

3. Dung Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, and Scott D. Stoller. Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles. Formal Methods in System Design 51(1):62-86, 2017. doi:10.1007/s10703-016-0265-4.

4. Yanhong A. Liu, Scott D. Stoller, and Bo Lin. From Clarity to Efficiency for Distributed Algorithms. ACM Transactions on Programming Languages and Systems 39(3), 2017.

5. Zhongyuan Xu and Scott D. Stoller. Mining Attribute-based Access Control Policies. IEEE Transactions on Dependable and Secure Computing, 12(5):533-545, September-October 2015.

6. Ping Yang, Mikhail Gofman, Scott D. Stoller, and Zijiang Yang. Policy Analysis for Administrative Role Based Access Control without Separate Administration. Journal of Computer Security 23(1), 2015.

7. Puneet Gupta, Scott D. Stoller, and Zhongyuan Xu. Abductive Analysis of Administrative Policies in Rule-based Access Control. IEEE Transactions on Dependable and Secure Computing 11(5):412-424, September-October 2014.

8. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. InterAspect: Aspect-Oriented Instrumentation with GCC. Formal Methods in System Design 41(3):295-320, December 2012.

9. Amit Sasturkar, Ping Yang, Scott D. Stoller, and C. R. Ramakrishnan. Policy Analysis for Administrative Role Based Access Control. Theoretical Computer Science 412(44):6208-6234, October 2011.

10. Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. Software Monitoring with Controllable Overhead. International Journal on Software Tools for Technology Transfer, 2012.

11. Scott D. Stoller, Ping Yang, Mikhail Gofman, and C. R. Ramakrishnan. Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control. Computers & Security 30(2-3):148- 164, March-May 2011.

12. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, and Liqiang Wang. Detection of Deadlock Potentials in Multi-Threaded Programs. IBM Journal of Research and Development 54(5), September/October 2010.

13. Yanhong A. Liu and Scott D. Stoller. From Datalog Rules to Efficient Programs with Time and Space Guarantees. ACM Transactions on Programming Languages and Systems, 31(6):1-38, August 2009.

14. Yaniv Eytani, Klaus Havelund, Scott D. Stoller, and Shmuel Ur. Toward a Framework and Benchmark for Testing Tools for Multi-Threaded Programs. Concurrency and Computation: Practice & Experience, 19(3):267-279, August 2006.

15. Scott D. Stoller and Ernie Cohen. Optimistic Synchronization-Based State-Space Reduction. Formal Methods in System Design, 28(3):263-289, May 2006. 5

16. Liqiang Wang and Scott D. Stoller. Runtime Analysis of Atomicity for Multi-threaded Programs. IEEE Transactions on Software Engineering, 32(2):93-110, February 2006.

17. Scott D. Stoller and Fred B. Schneider. Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods in System Design, 26(2):183-196, March 2005.

18. Yanhong A. Liu, Scott D. Stoller, Ning Li, and Tom Rothamel. Optimizing Aggregate Array Computations in Loops. ACM Transactions on Programming Languages and Systems (TOPLAS), 27(1):91-125, January 2005.

19. Yanhong A. Liu and Scott D. Stoller. Eliminating Dead Code on Recursive Data. Science of Computer Programming, 47(2-3):221-242, May–June 2003.

20. Yanhong A. Liu and Scott D. Stoller. Dynamic Programming via Static Incrementalization. HigherOrder and Symbolic Computation, 16(1-2):37-62, March–June 2003.

21. Scott D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. International Journal on Software Tools for Technology Transfer, 4(1):71-91, October 2002.

22. Yanhong A. Liu, Scott D. Stoller, and Tim Teitelbaum. Strengthening Invariants for Efficient Computation. Science of Computer Programming, 41(2):139-172, October 2001.

23. Scott D. Stoller. Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing, 13(2):85–98, April 2000.

24. Scott D. Stoller. Leader election in asynchronous distributed systems. IEEE Transactions on Computers, 49(3):283-284, March 2000.

25. Yanhong A. Liu, Scott D. Stoller, and Tim Teitelbaum. Static Caching for Incremental Computation. ACM Transactions on Programming Languages and Systems, 20(3):546–585, May 1998.

26. Scott D. Stoller and Fred B. Schneider. Verifying programs that use causally-ordered message-passing. Science of Computer Programming, 24(2):105–128, 1995.

27. Scott D. Stoller. Addendum to “Proof rules for flush channels”. IEEE Transactions on Software Engineering, 20(8):664, August 1994.

28. Scott D. Stoller, William Happer, and Freeman J. Dyson. Transverse spin relaxation in inhomogeneous magnetic fields. Physical Review A, 44(11):7459–7477, 1991.

29. Pao-Lo Liu, Bing-Jin Li, Paul J. Cressman, John R. Debesis, and Scott D. Stoller. Comparison of Measured Losses of Ti:LiNbO3 Channel Waveguide Bends. Photonics Technology Letters 3(8):755– 756, August 1991.

Encyclopedia Articles

30. Scott D. Stoller. Trust Management in Databases. In Henk C. A. van Tilborg and Sushil Jajodia, editors, Encyclopedia of Cryptography and Security, 2nd edition, pages 1326-1327. Springer, 2011.

31. Scott D. Stoller. Computer Communications Software. In John G. Webster, editor, Encyclopedia of Electrical and Electronics Engineering, volume 3. John Wiley & Sons, 1999.

More Complete Publication Listing

http://www3.cs.stonybrook.edu/~stoller/publications.html