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.
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
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
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
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.
Trust Management. Annual Computer Security Applications Conference (ACSAC), Tucson, AZ, December 5, 2005.
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
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
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
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
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