 | 2009 |
|---|
| 76 |       | Qichang Chen,
Liqiang Wang,
Zijiang Yang,
Scott D. Stoller:
HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.
FASE 2009: 425-439 |
| 75 | | Yanhong A. Liu,
Michael Gorbovitski,
Scott D. Stoller:
A language and framework for invariant-driven transformations.
GPCE 2009: 55-64 |
| 74 | | Leena Unnikrishnan,
Scott D. Stoller:
Parametric heap usage analysis for functional programs.
ISMM 2009: 139-148 |
| 73 | | Scott D. Stoller,
Ping Yang,
Mikhail I. Gofman,
C. R. Ramakrishnan:
Symbolic reachability analysis for parameterized administrative role based access control.
SACMAT 2009: 165-174 |
| 72 | | Puneet Gupta,
Scott D. Stoller:
Verification of Security Policy Enforcement in Enterprise Systems.
SEC 2009: 202-213 |
| 71 | | Mikhail I. Gofman,
Ruiqi Luo,
Ayla C. Solomon,
Yingbin Zhang,
Ping Yang,
Scott D. Stoller:
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control.
TACAS 2009: 46-49 |
| 70 | | Yanhong A. Liu,
Scott D. Stoller:
From datalog rules to efficient programs with time and space guarantees.
ACM Trans. Program. Lang. Syst. 31(6): (2009) |
| 2008 |
|---|
| 69 | | Sean Callanan,
David J. Dean,
Michael Gorbovitski,
Radu Grosu,
Justin Seyster,
Scott A. Smolka,
Scott D. Stoller,
Erez Zadok:
Software monitoring with bounded overhead.
IPDPS 2008: 1-8 |
| 68 | | Shmuel Ur,
Scott D. Stoller,
Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).
ISSTA 2008: 309-310 |
| 67 | | Michael Gorbovitski,
K. Tuncay Tekle,
Tom Rothamel,
Scott D. Stoller,
Yanhong A. Liu:
Analysis and Transformations for Efficient Query-Based Debugging.
SCAM 2008: 174-183 |
| 66 | | Scott D. Stoller:
Trust Management and Trust Negotiation in an Extension of SQL.
TGC 2008: 186-200 |
| 65 | | Michael Gorbovitski,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Efficient runtime invariant checking: a framework and case study.
WODA 2008: 43-49 |
| 2007 |
|---|
| 64 | | Scott D. Stoller,
Ping Yang,
C. R. Ramakrishnan,
Mikhail I. Gofman:
Efficient policy analysis for administrative role based access control.
ACM Conference on Computer and Communications Security 2007: 445-455 |
| 63 | | Anu Singh,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott D. Stoller,
David Scott Warren:
Security policy analysis using deductive spreadsheets.
FMSE 2007: 42-50 |
| 62 | | Yaniv Eytani,
Klaus Havelund,
Scott D. Stoller,
Shmuel Ur:
Towards a framework and a benchmark for testing tools for multi-threaded programs.
Concurrency and Computation: Practice and Experience 19(3): 267-279 (2007) |
| 2006 |
|---|
| 61 | | Amit Sasturkar,
Ping Yang,
Scott D. Stoller,
C. R. Ramakrishnan:
Policy Analysis for Administrative Role Based Access Control.
CSFW 2006: 124-138 |
| 60 | | Yanhong A. Liu,
Scott D. Stoller:
Querying Complex Graphs.
PADL 2006: 199-214 |
| 59 | | Rahul Agarwal,
Scott D. Stoller:
Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.
PADTAD 2006: 51-60 |
| 58 | | Katia Hristova,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Efficient type inference for secure information flow.
PLAS 2006: 85-94 |
| 57 | | Liqiang Wang,
Scott D. Stoller:
Accurate and efficient runtime detection of atomicity errors in concurrent programs.
PPOPP 2006: 137-146 |
| 56 | | Byron Cook,
Scott D. Stoller,
Willem Visser:
Preface.
Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006) |
| 55 | | Scott D. Stoller,
Ernie Cohen:
Optimistic synchronization-based state-space reduction.
Formal Methods in System Design 28(3): 263-289 (2006) |
| 54 | | Liqiang Wang,
Scott D. Stoller:
Runtime Analysis of Atomicity for Multithreaded Programs.
IEEE Trans. Software Eng. 32(2): 93-110 (2006) |
| 2005 |
|---|
| 53 | | Rahul Agarwal,
Amit Sasturkar,
Liqiang Wang,
Scott D. Stoller:
Optimized run-time race detection and atomicity checking using partial discovered types.
ASE 2005: 233-242 |
| 52 | | Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.
Haifa Verification Conference 2005: 191-207 |
| 51 | | Yanhong A. Liu,
Scott D. Stoller,
Michael Gorbovitski,
Tom Rothamel,
Yanni Ellen Liu:
Incrementalization across object abstraction.
OOPSLA 2005: 473-486 |
| 50 | | Michael Gorbovitski,
Tom Rothamel,
Yanhong A. Liu,
Scott D. Stoller:
Implementing incrementalization across object abstraction.
OOPSLA Companion 2005: 112-113 |
| 49 | | Liqiang Wang,
Scott D. Stoller:
Static analysis of atomicity for programs with non-blocking synchronization.
PPOPP 2005: 61-71 |
| 48 | | Amit Sasturkar,
Rahul Agarwal,
Liqiang Wang,
Scott D. Stoller:
Automated type-based analysis of data races and atomicity.
PPOPP 2005: 83-94 |
| 47 | | Yanhong A. Liu,
Scott D. Stoller,
Ning Li,
Tom Rothamel:
Optimizing aggregate array computations in loops.
ACM Trans. Program. Lang. Syst. 27(1): 91-125 (2005) |
| 46 | | Scott D. Stoller,
Fred B. Schneider:
Automated Analysis of Fault-Tolerance in Distributed Systems.
Formal Methods in System Design 26(2): 183-196 (2005) |
| 45 | | Scott D. Stoller,
Willem Visser:
Foreword.
Formal Methods in System Design 26(2): 75-76 (2005) |
| 2004 |
|---|
| 44 | | Yanhong A. Liu,
Tom Rothamel,
Fuxiang Yu,
Scott D. Stoller,
Nanjun Hu:
Parametric regular path queries.
PLDI 2004: 219-230 |
| 43 | | Rahul Agarwal,
Scott D. Stoller:
Type Inference for Parameterized Race-Free Java.
VMCAI 2004: 149-160 |
| 2003 |
|---|
| 42 | | Klaus Havelund,
Scott D. Stoller,
Shmuel Ur:
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools .
IPDPS 2003: 286 |
| 41 | | Yanhong A. Liu,
Scott D. Stoller:
Optimizing Ackermann's function by incrementalization.
PEPM 2003: 85-91 |
| 40 | | Yanhong A. Liu,
Scott D. Stoller:
From datalog rules to efficient programs with time and space guarantees.
PPDP 2003: 172-183 |
| 39 | | Scott D. Stoller,
Ernie Cohen:
Optimistic Synchronization-Based State-Space Reduction.
TACAS 2003: 489-504 |
| 38 | | Leena Unnikrishnan,
Scott D. Stoller,
Yanhong A. Liu:
Optimized Live Heap Bound Analysis.
VMCAI 2003: 70-85 |
| 37 | | Liqiang Wang,
Scott D. Stoller:
Run-Time Analysis for Atomicity.
Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
| 36 | | Byron Cook,
Scott D. Stoller,
Willem Visser:
SoftMC 2003: Workshop on Software Model Checking.
Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
| 35 | | Yanhong A. Liu,
Scott D. Stoller:
Dynamic Programming via Static Incrementalization.
Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003) |
| 34 | | Yanhong A. Liu,
Scott D. Stoller:
Eliminating dead code on recursive data.
Sci. Comput. Program. 47(2-3): 221-242 (2003) |
| 2002 |
|---|
| 33 |  | Scott D. Stoller:
A Bound on Attacks on Authentication Protocols.
IFIP TCS 2002: 588-600 |
| 32 | | Scott D. Stoller:
Domain partitioning for open reactive systems.
ISSTA 2002: 44-54 |
| 31 | | Yanhong A. Liu,
Scott D. Stoller:
Program optimization using indexed and recursive data structures.
PEPM 2002: 108-118 |
| 30 | | Scott D. Stoller:
Testing Concurrent Java Programs using Randomized Scheduling.
Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
| 29 | | Scott D. Stoller:
Model-checking multi-threaded distributed Java programs.
STTT 4(1): 71-91 (2002) |
| 2001 |
|---|
| 28 | | Radu Grosu,
Yanhong A. Liu,
Scott A. Smolka,
Scott D. Stoller,
Jingyu Yan:
Automated Software Engineering Using Concurrent Class Machines.
ASE 2001: 297- |
| 27 | | Leena Unnikrishnan,
Scott D. Stoller,
Yanhong A. Liu:
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.
LCTES/OM 2001: 102-111 |
| 26 | | Scott D. Stoller:
A Bound on Attacks on Payment Protocols.
LICS 2001: 61-70 |
| 25 | | Yanhong A. Liu,
Ning Li,
Scott D. Stoller:
Solving Regular Tree Grammar Based Constraints.
SAS 2001: 213-233 |
| 24 | | Scott D. Stoller,
Yanhong A. Liu:
Transformations for Model Checking Distributed Java Programs.
SPIN 2001: 192-199 |
| 23 | | Scott D. Stoller,
Willem Visser:
Preface.
Electr. Notes Theor. Comput. Sci. 55(3): (2001) |
| 22 | | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Strengthening invariants for efficient computation.
Sci. Comput. Program. 41(2): 139-172 (2001) |
| 2000 |
|---|
| 21 | | Scott D. Stoller,
Leena Unnikrishnan,
Yanhong A. Liu:
Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.
CAV 2000: 264-279 |
| 20 | | Yanhong A. Liu,
Scott D. Stoller:
From Recursion to Iteration: What are the Optimizations?
PEPM 2000: 73-82 |
| 19 | | Scott D. Stoller:
Model-Checking Multi-threaded Distributed Java Programs.
SPIN 2000: 224-244 |
| 18 | | Scott D. Stoller:
Detecting Global Predicates in Distributed Systems with Clocks.
Distributed Computing 13(2): 85-98 (2000) |
| 17 | | Scott D. Stoller:
Leader Election in Asynchronous Distributed Systems.
IEEE Trans. Computers 49(3): 283-284 (2000) |
| 1999 |
|---|
| 16 | | Yanhong A. Liu,
Scott D. Stoller:
Dynamic Programming via Static Incrementalization.
ESOP 1999: 288-305 |
| 15 | | Scott D. Stoller:
Lower and Upper Bounds for Attacks on Authentication Protocols.
PODC 1999: 283 |
| 14 | | Yanhong A. Liu,
Scott D. Stoller:
Eliminating Dead Code on Recursive Data.
SAS 1999: 211-231 |
| 13 | | Yanhong A. Liu,
Scott D. Stoller:
ETAPS '99 - Conference Report.
SIGPLAN Notices 34(6): 16-17 (1999) |
| 1998 |
|---|
| 12 | | Scott D. Stoller,
Yanhong A. Liu:
Efficient Symbolic Detection of Global Properties in Distributed Systems.
CAV 1998: 357-368 |
| 11 | | Scott D. Stoller,
Fred B. Schneider:
Automated Stream-Based Analysis of Fault-Tolerance.
FTRTFT 1998: 113-122 |
| 10 | | Yanhong A. Liu,
Scott D. Stoller:
Loop Optimization for Aggregate Array Computations.
ICCL 1998: 262-271 |
| 9 | | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Static Caching for Incremental Computation.
ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998) |
| 1997 |
|---|
| 8 | | Scott D. Stoller:
Detecting Global Predicates in Distributed Systems with Clocks.
WDAG 1997: 185-199 |
| 1996 |
|---|
| 7 | | Yaron Minsky,
Robbert van Renesse,
Fred B. Schneider,
Scott D. Stoller:
Cryptographic support for fault-tolerant distributed computing.
ACM SIGOPS European Workshop 1996: 109-114 |
| 6 | | Yanhong A. Liu,
Scott D. Stoller,
Tim Teitelbaum:
Discovering Auxiliary Information for Incremental Computation.
POPL 1996: 157-170 |
| 1995 |
|---|
| 5 | | Scott D. Stoller,
John DeTreville:
Storage Replication and Layout in Video-on-Demand Servers.
NOSSDAV 1995: 330-341 |
| 4 | | Scott D. Stoller,
Fred B. Schneider:
Faster Possibility Detection by Combining Two Approaches.
WDAG 1995: 318-332 |
| 3 | | Scott D. Stoller,
Fred B. Schneider:
Verifying Programs That Use Causally-Ordered Message-Passing.
Sci. Comput. Program. 24(2): 105-128 (1995) |
| 1994 |
|---|
| 2 | | Douglas J. Howe,
Scott D. Stoller:
An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.
TACS 1994: 36-55 |
| 1 | | Scott D. Stoller:
Addendum to ``Proof Rules for Flush Channels''.
IEEE Trans. Software Eng. 20(8): 664 (1994) |
