2009 | ||
---|---|---|
71 | EE | Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439 |
70 | EE | 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 |
2008 | ||
69 | EE | 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 | EE | Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310 |
67 | EE | 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 | EE | Scott D. Stoller: Trust Management and Trust Negotiation in an Extension of SQL. TGC 2008: 186-200 |
65 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138 |
60 | EE | Yanhong A. Liu, Scott D. Stoller: Querying Complex Graphs. PADL 2006: 199-214 |
59 | EE | Rahul Agarwal, Scott D. Stoller: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. PADTAD 2006: 51-60 |
58 | EE | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94 |
57 | EE | Liqiang Wang, Scott D. Stoller: Accurate and efficient runtime detection of atomicity errors in concurrent programs. PPOPP 2006: 137-146 |
56 | EE | Byron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006) |
55 | EE | Scott D. Stoller, Ernie Cohen: Optimistic synchronization-based state-space reduction. Formal Methods in System Design 28(3): 263-289 (2006) |
54 | EE | Liqiang Wang, Scott D. Stoller: Runtime Analysis of Atomicity for Multithreaded Programs. IEEE Trans. Software Eng. 32(2): 93-110 (2006) |
2005 | ||
53 | EE | 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 | EE | Rahul Agarwal, Liqiang Wang, Scott D. Stoller: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Haifa Verification Conference 2005: 191-207 |
51 | EE | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486 |
50 | EE | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113 |
49 | EE | Liqiang Wang, Scott D. Stoller: Static analysis of atomicity for programs with non-blocking synchronization. PPOPP 2005: 61-71 |
48 | EE | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller: Automated type-based analysis of data races and atomicity. PPOPP 2005: 83-94 |
47 | EE | 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 | EE | 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 | EE | Scott D. Stoller, Willem Visser: Foreword. Formal Methods in System Design 26(2): 75-76 (2005) |
2004 | ||
44 | EE | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230 |
43 | EE | Rahul Agarwal, Scott D. Stoller: Type Inference for Parameterized Race-Free Java. VMCAI 2004: 149-160 |
2003 | ||
42 | EE | Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286 |
41 | EE | Yanhong A. Liu, Scott D. Stoller: Optimizing Ackermann's function by incrementalization. PEPM 2003: 85-91 |
40 | EE | Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. PPDP 2003: 172-183 |
39 | EE | Scott D. Stoller, Ernie Cohen: Optimistic Synchronization-Based State-Space Reduction. TACAS 2003: 489-504 |
38 | EE | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85 |
37 | EE | Liqiang Wang, Scott D. Stoller: Run-Time Analysis for Atomicity. Electr. Notes Theor. Comput. Sci. 89(2): (2003) |
36 | EE | Byron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): (2003) |
35 | EE | Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003) |
34 | EE | 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 | EE | Scott D. Stoller: Domain partitioning for open reactive systems. ISSTA 2002: 44-54 |
31 | EE | Yanhong A. Liu, Scott D. Stoller: Program optimization using indexed and recursive data structures. PEPM 2002: 108-118 |
30 | EE | Scott D. Stoller: Testing Concurrent Java Programs using Randomized Scheduling. Electr. Notes Theor. Comput. Sci. 70(4): (2002) |
29 | EE | Scott D. Stoller: Model-checking multi-threaded distributed Java programs. STTT 4(1): 71-91 (2002) |
2001 | ||
28 | EE | 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 | EE | Yanhong A. Liu, Ning Li, Scott D. Stoller: Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233 |
24 | EE | Scott D. Stoller, Yanhong A. Liu: Transformations for Model Checking Distributed Java Programs. SPIN 2001: 192-199 |
23 | EE | 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 | EE | 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 | EE | Scott D. Stoller: Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing 13(2): 85-98 (2000) |
17 | EE | Scott D. Stoller: Leader Election in Asynchronous Distributed Systems. IEEE Trans. Computers 49(3): 283-284 (2000) |
1999 | ||
16 | EE | Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. ESOP 1999: 288-305 |
15 | EE | Scott D. Stoller: Lower and Upper Bounds for Attacks on Authentication Protocols. PODC 1999: 283 |
14 | EE | 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 | EE | Scott D. Stoller, Fred B. Schneider: Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT 1998: 113-122 |
10 | EE | Yanhong A. Liu, Scott D. Stoller: Loop Optimization for Aggregate Array Computations. ICCL 1998: 262-271 |
9 | EE | 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 | EE | 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 | EE | 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 | EE | Scott D. Stoller: Addendum to ``Proof Rules for Flush Channels''. IEEE Trans. Software Eng. 20(8): 664 (1994) |