Scott Stoller's Publications

My research is supported in part by the Office of Naval Research (ONR), the National Science Foundation (NSF), and the Air Force Office of Scientific Research (AFOSR). Their support is gratefully acknowledged. Any opinions, findings and conclusions, or recommendations expressed in these publications are those of the authors and do not necessarily reflect the views of these agencies.

Ph.D. Thesis

• Scott D. Stoller. A Method and Tool for Analyzing Fault-Tolerance in Systems. Cornell University, Ithaca, NY, May 1997. [abstract, BibTeX, PDF, gzip'd PostScript]

Journal Publications

• 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, to appear. © Springer-Verlag. [abstract, BibTeX, PDF]

• 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. © Elsevier. [abstract, BibTeX, PDF]

• 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. © Springer-Verlag. [abstract, BibTeX, PDF]

• 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. © Elsevier. [abstract, BibTeX, PDF]

• 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. © IBM. [abstract, BibTeX, PDF]

• 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. © ACM. [abstract, BibTeX, PDF]

• 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, August 2006. © Wiley. [abstract, BibTeX, PDF]

• Scott D. Stoller and Ernie Cohen. Optimistic Synchronization-Based State-Space Reduction. Formal Methods in System Design, 28(3):263-289, May 2006. © Springer-Verlag. [abstract, BibTeX, PDF]

• 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. © IEEE. [abstract, BibTeX, PDF]

• 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. © Springer-Verlag. [abstract, BibTeX, PDF]

• Yanhong A. Liu, Scott D. Stoller, Ning Li, and Tom Rothamel. Optimizing Aggregate Array Computations in Loops. ACM Transactions on Programming Languages and Systems, 27(1):91-125, January 2005. © ACM. [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. Eliminating Dead Code on Recursive Data. Science of Computer Programming 47(2-3):221-242, 2003. © Elsevier. [abstract, BibTeX, PDF]

• 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. © Kluwer. [abstract, BibTeX, PDF]

• Scott D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. International Journal on Software Tools for Technology Transfer, 4(1):71-91, October 2002. © Springer-Verlag. [abstract, BibTeX, PDF]

• Yanhong A. Liu, Scott D. Stoller, and Tim Teitelbaum. Strengthening Invariants for Efficient Computation. Science of Computer Programming 41(2):139-172, October 2001. © Elsevier. [abstract, BibTeX, PDF]

• Scott D. Stoller. Leader Election in Asynchronous Distributed Systems. IEEE Transactions on Computers, 49(3):283-284, March 2000. © IEEE. [abstract, BibTeX, PDF]
  

• Scott D. Stoller. Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing, 13(2):85-98, April 2000. © Springer-Verlag. [abstract, BibTeX, PDF]

• 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. © ACM. [abstract, BibTeX, PDF]

• Scott D. Stoller and Fred B. Schneider Verifying Programs that use Causally-Ordered Message-Passing. Science of Computer Programming, 24(2):105-128, 1995. © Elsevier. [abstract, BibTeX, PDF]

• Scott Stoller. Addendum to ``Proof Rules for Flush Channels''. IEEE Transactions on Software Engineering, 20(8):664, August 1994. [abstract, BibTeX, PDF]

• Scott D. Stoller, William Happer, and Freeman J. Dyson. Transverse Spin Relaxation in Inhomogeneous Magnetic Fields. Physical Review A, 44(11):7459-7477, 1991. © The American Physical Society. [abstract, BibTeX, PDF]

Encyclopedia Articles

• Scott D. Stoller. Computer Communications Software. In John G. Webster, editor, Encyclopedia of Electrical and Electronics Engineering, volume 3. © John Wiley & Sons, 1999. [BibTeX, PDF]

• 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. [BibTeX, PDF]

Invited Talks

• Checking Atomicity in Concurrent Java Programs. Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 Haifa Verification Conference. Haifa, Israel, November 15, 2005. [ppt]

• Software Model Checking: Where It Is and Where It's Heading. Software Testing Track of the 2005 Haifa Verification Conference. Haifa, Israel, November 14, 2005. [ppt]

• Automated Verification Through Type Discovery. Third International Workshop on Automated Verification of Infinite-State Systems. Barcelona, Spain, 2004. [ppt]

Tutorials

• Trust Management. Annual Computer Security Applications Conference (ACSAC), Tucson, AZ, December 5, 2005. [ppt]

Book Chapters

• Yanhong A. Liu and Scott D. Stoller. Dynamic Programming via Static Incrementalization. In Olivier Danvy, Harry Mairson, Fritz Henglein, and Alberto Pettorossi, editors, Automatic Program Development: A Tribute to Robert Paige. Springer-Verlag, 2008. This is a version of our HOSC paper.

• Yanhong A. Liu and Scott D. Stoller. Role-Based Access Control: A Corrected and Simplified Specification. In Cliff Wang, Steven King, Ralph Wachter, Robert Herklotz, Chris Arney, Gary Toth, David Hislop, Sharon Heise, and Todd Combs, editors, Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats. Wiley, 2007. [abstract, BibTeX, PDF]

• Devika Subramanian, Cheuk-San Wang, Scott Stoller, Arjun Kapur, and Ka-Pui Chai. Creative synthesis of mechanisms from specification. In Steven Kim, editor, Creativity in Design: Methods, Models and Tools. © Morgan Kaufmann, 1992. [abstract, BibTeX, PDF]

Refereed Conference and Workshop Publications

• Zhongyuan Xu and Scott D. Stoller. Mining Parameterized Role-Based Policies. In Proceedings of the Third ACM Conference on Data and Application Security and Privacy (CODASPY 2013). © ACM Press, 2013. [abstract, BibTeX, PDF]

• Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, and Justin Seyster. Adaptive Runtime Verification. In Proceedings of the 3rd International Conference on Runtime Verification (RV 2012), Lecture Notes in Computer Science. © Springer-Verlag, 2012. [abstract, BibTeX, PDF]

• Yanhong A. Liu, Scott D. Stoller, Bo Lin, and Michael Gorbovitski. From Clarity to Efficiency for Distributed Algorithms. In Proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA). © ACM Press, 2012. [abstract, BibTeX PDF]

• Yanhong A. Liu, Scott D. Stoller, and Bo Lin. High-Level Executable Specifications of Distributed Algorithms. In Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), volume 7596 of Lecture Notes in Computer Science, pages 95-110. © Springer-Verlag, 2012. Received the conference's Best Student Paper Award. [abstract, BibTeX, PDF]

• Zhongyuan Xu and Scott D. Stoller. Algorithms for Mining Meaningful Roles. In Proceedings of the 17th ACM Symposium on Access Control Models and Technologies (SACMAT). © ACM Press, 2012. [abstract, BibTeX, PDF]

• Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, and Tom Rothamel. Composing Transformations for Instrumentation and Optimization. In Proceedings of the 2012 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). © ACM Press, 2012. [abstract, BibTeX, PDF]

• Puneet Gupta, Scott D. Stoller, and Zhongyuan Xu. Abductive Analysis of Administrative Policies in Rule-based Access Control. In Proceedings of the Seventh International Conference on Information Systems Security (ICISS 2011), volume 7093 of Lecture Notes in Computer Science, pages 116-130. © Springer-Verlag, 2011. [abstract, BibTeX, PDF]

• Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, and Erez Zadok. Redflag: A Framework for Analysis of Kernel-Level Concurrency. In Proceedings of the 11th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2011), volume 7016 of Lecture Notes in Computer Science, pages 66-79. © Springer-Verlag, 2011. [abstract, BibTeX, PDF]

• Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, and Erez Zadok. Runtime Verification with State Estimation. In Proceedings of the 2nd International Conference on Runtime Verification (RV 2011), volume 7186 of Lecture Notes in Computer Science, pages 193-207. © Springer-Verlag, 2012. Received the conference's Best Paper Award. [abstract, BibTeX, PDF]

• Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation. In Proceedings of the First International Workshop on Energy Consumption and Reliability of Storage Systems (ERSS 2011). IEEE Computer Society Press, 2011. [abstract, BibTeX, PDF]

• Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. On the Energy Consumption and Performance of Systems Software. In Proceedings of the 4th Annual International Systems and Storage Conference (SYSTOR 2011). ACM Press, 2011. [abstract, BibTeX, PDF]

• Scott D. Stoller. Trust Management for Web Services. In Proceedings of the 6th International Conference on Network and Service Management (CNSM), pages 262-265. © IEEE Press, 2010. [abstract, BibTeX, PDF]

• Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, and K. Tuncay Tekle. Alias Analysis for Optimization of Dynamic Languages. In Proceedings of the 2010 Dynamic Languages Symposium (DLS). © ACM Press, 2010. [abstract, BibTeX, PDF]

• Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. Aspect-Oriented Instrumentation with GCC. In Proceedings of the 1st International Conference on Runtime Verification (RV 2010), volume 6418 of Lecture Notes in Computer Science, pages 405-420. © Springer-Verlag, 2010. [abstract, BibTeX, PDF]

• Yanhong A. Liu, Michael Gorbovitski, and Scott D. Stoller. A Language and Framework for Invariant-Driven Transformations. In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE). © ACM Press, 2009. [abstract, BibTeX, PDF]

• Leena Unnikrishnan and Scott D. Stoller. Parametric Heap Usage Analysis for Functional Programs. In Proceedings of the 8th International Symposium on Memory Management (ISMM). © ACM Press, 2009. [abstract, BibTeX, PDF]

• Scott D. Stoller, Ping Yang, Mikhail Gofman, and C. R. Ramakrishnan. Symbolic Reachability Analysis for Parameterized Administrative Role Based Access Control. In Proceedings of the 14th ACM Symposium on Access Control Models and Technologies (SACMAT). © ACM Press, 2009. [abstract, BibTeX PDF]

• Puneet Gupta and Scott D. Stoller. Verification of Security Policy Enforcement in Enterprise Systems. In Proceedings of the 24th IFIP International Information Security Conference (SEC), volume 297 of IFIP Advances in Information and Communication Technology. © Springer-Verlag, 2009. [abstract, BibTeX PDF]

• Qichang Chen, Liqiang Wang, Zijiang Yang, and Scott D. Stoller. HAVE: Integrated Dynamic and Static Analysis for Atomicity Violations. In Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering (FASE), volume 5503 of Lecture Notes in Computer Science, pages 425-439. © Springer-Verlag, 2009. [abstract, BibTeX, PDF]

• Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, and Scott D. Stoller. RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. In Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 5505 of Lecture Notes in Computer Science, pages 46-49. © Springer-Verlag, 2009. [abstract, BibTeX, PDF]

• Scott D. Stoller. Trust Management and Trust Negotiation in an Extension of SQL. In Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC 2008), volume 5474 of Lecture Notes in Computer Science, pages 186-200. © Springer-Verlag, 2009. [abstract, BibTeX, PDF]

• Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, and Yanhong A. Liu. Analysis and Transformations for Efficient Query-Based Debugging. In Proceedings of the 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM). © IEEE Computer Society Press, 2008. [abstract, BibTeX, PDF]

• Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller. Efficient Runtime Invariant Checking: A Framework and Case Study. In Proceedings of the 6th International Workshop on Dynamic Analysis (WODA 2008). © ACM Press, 2008. [abstract, BibTeX, PDF]

• Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, and David S. Warren. Security Policy Analysis using Deductive Spreadsheets. In Proceedings of the 5th Workshop on Formal Methods for Security Engineering (FMSE), 2007. © ACM Press, 2007. [abstract, BibTeX PDF]

• Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, and Mikhail I. Gofman. Efficient Policy Analysis for Administrative Role Based Access Control. In Proceedings of the 14th ACM Conference on Computer and Communications Security (CCS), 2007. © ACM Press, 2007. [abstract, BibTeX, PDF, presentation]

• Rahul Agarwal and Scott D. Stoller. Run-Time Detection of Potential Deadlocks for Programs with Locks, Semaphores, and Condition Variables. In Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD). © ACM Press, 2006. [abstract, BibTeX, PDF]

• Katia Hristova, Tom Rothamel, Yanhong A. Liu, and Scott D. Stoller. Efficient Type Inference for Secure Information Flow. In Proceedings of the 2006 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS). © ACM Press, 2006. [abstract, BibTeX, PDF]

• Amit Sasturkar, Ping Yang, Scott D. Stoller, and C.R. Ramakrishnan. Policy Analysis for Administrative Role Based Access Control. In Proceedings of the 19th Computer Security Foundations Workshop. © IEEE Computer Society Press, 2006. [abstract, BibTeX, PDF]

• Liqiang Wang and Scott D. Stoller. Accurate and Efficient Runtime Detection of Atomicity Errors in Concurrent Programs. In Proceedings of the ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP). © ACM Press, 2006. [abstract, BibTeX, PDF, extended version (PDF)]

• Yanhong A. Liu and Scott D. Stoller. Querying Complex Graphs. In Proceedings of the Eighth International Symposium on Practical Aspects of Declarative Languages (PADL), volume 3819 of Lecture Notes in Computer Science, pages 199-214. © Springer-Verlag, 2005. [abstract, BibTeX, PDF]

• Rahul Agarwal, Liqiang Wang, and Scott D. Stoller. Detecting Potential Deadlocks with Static Analysis and Run-time Monitoring. In Proceedings of the Parallel and Distributed Systems: Testing and Debugging (PADTAD) Track of the 2005 Haifa Verification Conference, volume 3875 of Lecture Notes in Computer Science, pages 191-207. © Springer-Verlag, 2005. Received the conference's Best Paper Award. [abstract, BibTeX, PDF, presentation]

• Rahul Agarwal, Amit Sasturkar, Liqiang Wang, and Scott D. Stoller. Optimized Run-Time Race Detection And Atomicity Checking Using Partial Discovered Types. In Proceedings of the 20th IEEE International Conference on Automated Software Engineering (ASE). © IEEE Computer Society Press, 2005. [abstract, PDF, BibTeX]

• Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, and Yanni Ellen Liu. Incrementalization Across Object Abstraction. In Proceedings of the ACM SIGPLAN 2005 Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA). © ACM Press, 2005. [abstract, BibTeX, PDF]

• Liqiang Wang and Scott D. Stoller. Static Analysis of Atomicity for Programs with Non-Blocking Synchronization. In Proceedings of the ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP). © ACM Press, 2005. [abstract, BibTeX, PDF]
  An extended version appeared as Technical Report DAR-04-17, SUNY at Stony Brook, Computer Science Dept., Oct. 2004 (revised Jan. 2005). [abstract, BibTeX, PDF]

• Amit Sasturkar, Rahul Agarwal, Liqiang Wang, and Scott D. Stoller. Automated Type-Based Analysis of Data Races and Atomicity. In Proceedings of the ACM SIGPLAN 2005 Symposium on Principles and Practice of Parallel Programming (PPoPP). © ACM Press, 2005. [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. A Declarative Framework for Transformation and Translation. In Proceedings of the Second International Conference on Knowledge Economy and Development of Science and Technology (KEST). © Tsinghua University Press and Springer-Verlag, 2004.

• Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, and Nanjun Hu. Parametric Regular Path Queries. In Proceedings of the 2004 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). © ACM Press, 2004. [abstract, BibTeX, PDF]

• Beata Sarna-Starosta and Scott D. Stoller. Policy Analysis for Security-Enhanced Linux. In Proceedings of the 2004 Workshop on Issues in the Theory of Security (WITS), pages 1-12. [abstract, BibTeX, PDF, presentation]

• Rahul Agarwal and Scott D. Stoller. Type Inference for Parameterized Race-Free Java. In Proceedings of the Fifth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), volume 2937 of Lecture Notes in Computer Science, pages 149-160. © Springer-Verlag, 2004. [abstract, BibTeX, PDF]
  A significantly extended version of this paper, with a detailed exposition of the type system and more experimental results on the expressiveness of the type system and the effectiveness of type discovery, appeared as a technical report. [abstract, BibTeX, PDF]

• Liqiang Wang and Scott D. Stoller. Run-Time Analysis for Atomicity. In Proceedings of the Third Workshop on Runtime Verification (RV), volume 89(2) of Electronic Notes in Theoretical Computer Science. © Elsevier, 2003. [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. From Datalog Rules to Efficient Programs with Time and Space Guarantees. In Proceedings of the Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP), pages 172-183. © ACM Press, 2003. [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. Optimizing Ackermann's function by incrementalization. In Proceedings of the 2003 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). © ACM Press, 2003. [abstract, BibTeX, PDF]

• Scott D. Stoller and Ernie Cohen. Optimistic Synchronization-Based State-Space Reduction. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2619 of Lecture Notes in Computer Science. © Springer-Verlag, 2003. [abstract, BibTeX, PDF, presentation]
  An extended version appeared in Formal Methods in System Design.

• Leena Unnikrishnan, Scott D. Stoller, and Yanhong A. Liu. Optimized Live Heap Bound Analysis. In Proceedings of the Fourth International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI), volume 2575 of Lecture Notes in Computer Science. © Springer-Verlag, 2003. [abstract, BibTeX, PDF]
  An extended version appeared as SUNY at Stony Brook, Computer Science Dept., Technical Report DAR-01-2, February 2001 (revised January 2003). [BibTeX, PDF]

• Scott D. Stoller. A Bound on Attacks on Authentication Protocols. In Proceedings of the 2nd IFIP International Conference on Theoretical Computer Science (TCS) in the 17th IFIP World Computer Congress, pages 588-600. © Kluwer, 2002.
  abstract, BibTeX, PDF
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 526, July 1999 (revised January 2001). [abstract, BibTeX, PDF]

• Scott D. Stoller. Testing Concurrent Java Programs using Randomized Scheduling. In Proceedings of the Second Workshop on Runtime Verification (RV), volume 70(4) of Electronic Notes in Theoretical Computer Science. © Elsevier, 2002. [abstract, BibTeX, PDF, presentation]

• Scott D. Stoller. Domain Partitioning for Open Reactive Systems. In Proceedings of the 2002 International Symposium on Software Testing and Analysis (ISSTA). © ACM Press, 2002. [abstract, BibTeX, PDF, presentation, extended presentation]
  An extended version appeared as SUNY at Stony Brook, Computer Science Dept., Technical Report DAR-02-6, February 2002 (revised June 2002). [abstract, BibTeX, PDF]
  

• Yanhong A. Liu and Scott D. Stoller. Program optimization using indexed and recursive data structures. In Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM), pages 108-118. © ACM Press, 2002. The proceedings is also published as ACM SIGPLAN Notices, March 2002. [abstract, BibTeX, PDF]

• Radu Grosu, Yanhong A. Liu, Scott Smolka, Scott D. Stoller, and Jingyu Yan. Automated Software Engineering Using Concurrent Class Machines. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering, pages 297-304. © IEEE Computer Society Press, 2001. [abstract, BibTeX, PDF]

• Yanhong A. Liu, Ning Li, and Scott D. Stoller. Solving Regular Tree Grammar Based Constraints. In Proceedings of the 8th International Static Analysis Symposium (SAS), volume 2126 of Lecture Notes in Computer Science. © Springer-Verlag, 2001. [abstract, BibTeX, PDF]
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 540, July 2000. [abstract, BibTeX, PDF]

• Leena Unnikrishnan, Scott D. Stoller, and Yanhong A. Liu. Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. In Proceedings of the 2001 ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems (LCTES), pages 102-111. © ACM Press, 2001. [abstract, BibTeX, PDF]
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 538, April 2000. [abstract, BibTeX, PDF]

• Scott D. Stoller. A Bound on Attacks on Payment Protocols. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 61-70. © IEEE Computer Society Press, 2001. [abstract, BibTeX, PDF]
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 537, February 2000 (revised April 2001). [abstract, BibTeX, PDF]

• Scott D. Stoller and Yanhong A. Liu. Transformations for Model Checking Distributed Java Programs. In Proceedings of the 8th International SPIN Workshop on Model Checking of Software, volume 2057 of Lecture Notes in Computer Science, pages 192-199. © Springer-Verlag, 2001. [abstract, BibTeX, PDF]

• Scott D. Stoller. Model-Checking Multi-Threaded Distributed Java Programs. In Proceedings of the 7th International SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science. © Springer-Verlag, 2000. [abstract, BibTeX, PDF]
  A revised and extended version appeared in the International Journal on Software Tools for Technology Transfer.

• Scott D. Stoller, Leena Unnikrishnan, and Yanhong A. Liu. Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. In Proceedings of the 12th International Conference on Computer-Aided Verification (CAV), volume 1855 of Lecture Notes in Computer Science. © Springer-Verlag, 2000. [BibTeX]
  An extended version with some corrections appeared as Indiana University, Computer Science Dept., Technical Report 523, June 1999 (revised July 2000). [abstract, BibTeX, PDF]
  

• Yanhong A. Liu and Scott D. Stoller. From recursion to iteration: what are the optimizations? In Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM). Published in ACM SIGPLAN Notices, 34(11), November 1999, pages 73-82. [abstract, BibTeX, PDF]
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 527, July 1999. [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. Eliminating dead code on recursive data. In Proceedings of the 6th International Static Analysis Symposium (SAS), volume 1694 of Lecture Notes in Computer Science, pages 211-231. © Springer-Verlag, 1999. [abstract, BibTeX, PDF]

• Scott D. Stoller and Leena Unnikrishnan. Automated Symbolic Timing Analysis for Distributed Systems. In Proceedings of the 5th International Conference for Young Computer Scientists (ICYCS). International Academic Publishers, August 1999. [abstract, BibTeX, PDF]
  A slightly longer version appeared as Indiana University, Computer Science Dept., Technical Report 509, May 1998 (revised August 1999). [abstract, BibTeX, PDF]

• Yanhong A. Liu and Scott D. Stoller. Dynamic Programming via Static Incrementalization. In Proceedings of the European Symposium on Programming (ESOP). © Springer-Verlag, March 1999. [abstract, BibTeX, PDF]
  An extended version appeared as Indiana University, Computer Science Dept., Technical Report 514, September 1998 (revised October 1998). [BibTeX, PDF]

• Scott D. Stoller and Fred B. Schneider. Automated Stream-Based Analysis of Fault-Tolerance. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT '98), volume 1486 of Lecture Notes in Computer Science, pages 113-122. © Springer-Verlag, September 1998. [abstract, BibTeX, PDF]

• Scott D. Stoller and Yanhong A. Liu. Efficient Symbolic Detection of Global Properties in Distributed Systems. In Alan J. Hu and Moshe Y. Vardi, editors, Proceedings of the 10th International Conference on Computer-Aided Verification (CAV '98), volume 1427 of Lecture Notes in Computer Science, pages 357-368. © Springer-Verlag, 1998. [abstract, BibTeX, PDF gzip'd PostScript]
  An extended version is available as: Indiana University, Computer Science Dept., Technical Report 504, February 1998. Last updated 22 June 1998. [abstract, BibTeX, PDF, gzip'd PostScript]

• Yanhong A. Liu and Scott D. Stoller. Loop Optimization for Aggregate Array Computations. In Proceedings of the IEEE Computer Society 1998 International Conference on Computer Languages (ICCL '98), pages 262-271. © IEEE Computer Society Press, May 1998. [abstract, BibTeX, PDF]
  An extended version is available as: Indiana University, Computer Science Dept., Technical Report 477, March 1997. [abstract, PDF]

• Scott D. Stoller. Detecting Global Predicates in Distributed Systems with Clocks. In Marios Mavronicolas and Philippas Tsigas, editors, Proceedings of the Eleventh International Workshop on Distributed Algorithms (WDAG-11), volume 1320 of Lecture Notes in Computer Science, pages 185-199. © Springer-Verlag, September 1997. A revised and extended version appeared in Distributed Computing. [abstract, BibTeX, PDF]

• Scott D. Stoller and Fred B. Schneider. Automated Analysis of Fault-Tolerance in Distributed Systems. In Proceedings of the First ACM Workshop on Automated Analysis of Software, January 1997. [BibTeX, PDF]

• Yaron Minsky, Robbert van Renesse , Fred B. Schneider, and Scott D. Stoller. Cryptographic Support for Fault-Tolerant Distributed Computing. In Proceedings of the Seventh ACM SIGOPS European Workshop, September 1996. [BibTeX, PDF]

• Yanhong A. Liu, Scott D. Stoller, and Tim Teitelbaum. Discovering Auxiliary Information for Incremental Computation. In Proceedings of the 23rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '96), January 1996. [abstract, BibTeX, PDF]

• Scott D. Stoller and Fred B. Schneider. Faster Possibility Detection by Combining Two Approaches. In Jean-Michel Helary and Michel Raynal, editors, Proceedings of the Ninth International Workshop on Distributed Algorithms (WDAG-9), volume 972 of Lecture Notes in Computer Science, pages 318-332. © Springer-Verlag, September 1995. Also appeared as Technical Report TR 95-1511, Computer Science Dept., Cornell University, April 1995. [abstract, BibTeX, PDF]

• Scott D. Stoller and John D. DeTreville. Storage Replication and Layout in Video-on-Demand Servers. In T.D.C. Little and R. Gusella, editors, Proceedings of the 5th International Workshop on Network and Operating System Support for Digital Audio and Video (NOSSDAV '95), volume 1018 of Lecture Notes in Computer Science, pages 327-338. © Springer-Verlag, April 1995. [abstract, BibTeX, PDF]

• Douglas J. Howe and Scott D. Stoller. An operational approach to combining classical set theory and functional programming languages. In Masami Hagiya and John C. Mitchell, editors, Proceedings of the International Symposium on Theoretical Aspects of Computer Software (TACS '94), volume 789 of Lecture Notes in Computer Science, pages 36-55. © Springer-Verlag, April 1994. [abstract, BibTeX, PDF]

Other Conference Publications

• Yanhong A. Liu, Bo Lin, and Scott D. Stoller. Programming and Optimizing Distributed Algorithms: An Overview. In Proceedings of the 8th International Conference & Expo on Emerging Technologies for a Smarter World (CEWIT 2011). IEEE Computer Society Press, 2011. [BibTeX, PDF]

• Scott D. Stoller and Yanhong A. Liu. Security policy languages and enforcement. In Proceedings of the Third Russian National Conference on Mathematics and Information Technology Security (MaBIT-04), October 2004. [BibTeX, PDF]

• Klaus Havelund, Scott D. Stoller, and Shmuel Ur. Benchmark and framework for encouraging research on multi-threaded testing tools. In Proceedings of the Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), April 2003. [abstract, BibTeX, PDF]

• Scott D. Stoller. A Reduction for Automated Verification of Authentication Protocols. Workshop on Formal Methods and Security Protocols, July 1999. Also appeared as Indiana University, Computer Science Dept., Technical Report 520, December 1998 (major revision in April 1999, minor revision in June 1999). This result was subsequently re-formulated in the strand space model, leading to a considerable simplification. That version is available as Technical Report 526. [abstract, BibTeX, PDF]

• Scott D. Stoller. Justifying Finite Resources for Adversaries in Automated Analysis of Authentication Protocols. Workshop on Formal Methods and Security Protocols, June 1998. Also appeared as Indiana University, Computer Science Dept., Technical Report 506, March 1998. This tech report was revised and expanded in February 1999. One significant new feature is an exponential lower bound on the worst-case number of protocol runs needed for attacks on a certain class of protocols. [abstract, BibTeX, PDF]

• Scott D. Stoller. Brief Announcement: Lower and Upper Bounds for Attacks on Authentication Protocols. In Proceedings of the Eighteenth ACM Symposium on Principles of Distributed Computing (PODC), May 1999. [details, BibTeX, PDF]

Miscellaneous Publications

• Scott D. Stoller. Automated Analysis of Security and Fault-Tolerance of Distributed Systems. ACM SIGSOFT Software Engineering Notes 25(1), January 2000.

• Y. Annie Liu and Scott D. Stoller. ETAPS'99 Report. ACM SIGPLAN Notices, 34(6):16-17, June 1999, and Bulletin of the EATCS, 68:196-197, June 1999.

• Scott D. Stoller. Conference Report: Twelfth IEEE Computer Security Foundations Workshop. In Paul Syverson, editor, Cipher: Newsletter of the IEEE Computer Society's Technical Committee on Security and Privacy, Electronic Issue 33, August 12, 1999. [BibTeX, text]

• Scott D. Stoller. Conference Report: Workshop on Formal Methods and Security Protocols. In Avi Rubin and Paul Syverson, editors, Cipher: Newsletter of the IEEE Computer Society's Technical Committee on Security and Privacy, Electronic Issue 28, July 13, 1998. [BibTeX, text]

Technical Reports

• Yu Ma and Scott D. Stoller. Message-Efficient Uniform Timed Reliable Broadcast. Indiana University, Computer Science Dept., Technical Report 515, September 1998. [BibTeX, PDF]

• Scott D. Stoller. Leader Election in Distributed Systems with Crash Failures. Indiana University, Computer Science Dept., Technical Report 481, May 1997. Revised July 1997. Parts of TR 481 are superseded by this paper. [abstract, BibTeX, PDF]
  

Scott Stoller's Home Page