Scott Stoller's Publications

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

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

• 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, 2009 (to appear).
  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.
  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.
  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.
  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.
  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.
  abstract, BibTeX, PDF

Invited Papers

• 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

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.

• 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.

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

Tutorials

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

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

Refereed Conference and Workshop Publications

• 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

• 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). © 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, paper (PDF), tech report (updated July 2008) (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 web

• 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.
  An extended version appeared in Formal Methods in System Design.
  abstract, BibTeX, PDF, presentation

• 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

• 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, ASCII

• 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, ASCII

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