Scott D. Stoller

Zhongyuan Xu, Scott D. Stoller: Mining parameterized role-based policies. CODASPY 2013: 255-266

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: InterAspect: aspect-oriented instrumentation with GCC. Formal Methods in System Design 41(3): 295-320 (2012)

Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with controllable overhead. STTT 14(3): 327-347 (2012)

Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski: From clarity to efficiency for distributed algorithms. OOPSLA 2012: 395-410

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel: Composing transformations for instrumentation and optimization. PEPM 2012: 53-62

Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster: Adaptive Runtime Verification. RV 2012: 168-182

Zhongyuan Xu, Scott D. Stoller: Algorithms for mining meaningful roles. SACMAT 2012: 57-66

Yanhong A. Liu, Scott D. Stoller, Bo Lin: High-Level Executable Specifications of Distributed Algorithms. SSS 2012: 95-110

Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan: Symbolic reachability analysis for parameterized administrative role-based access control. Computers & Security 30(2-3): 148-164 (2011)

Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy analysis for Administrative Role-Based Access Control. Theor. Comput. Sci. 412(44): 6208-6234 (2011)

Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Model discovery for energy-aware computing systems: An experimental evaluation. IGCC 2011: 1-6

Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok: Redflag: A Framework for Analysis of Kernel-Level Concurrency. ICA3PP (1) 2011: 66-79

Puneet Gupta, Scott D. Stoller, Zhongyuan Xu: Abductive Analysis of Administrative Policies in Rule-Based Access Control. ICISS 2011: 116-130

Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok: Runtime Verification with State Estimation. RV 2011: 193-207

Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok: On the energy consumption and performance of systems software. SYSTOR 2011: 8

Scott D. Stoller: Trust Management in Databases. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1326-1327

Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang: Detection of deadlock potentials in multithreaded programs. IBM Journal of Research and Development 54(5): 3 (2010)

Scott D. Stoller: Trust management for Web Services. CNSM 2010: 262-265

Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle: Alias analysis for optimization of dynamic languages. DLS 2010: 27-42

Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Aspect-Oriented Instrumentation with GCC. RV 2010: 405-420

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)

Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller: HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. FASE 2009: 425-439

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller: A language and framework for invariant-driven transformations. GPCE 2009: 55-64

Leena Unnikrishnan, Scott D. Stoller: Parametric heap usage analysis for functional programs. ISMM 2009: 139-148

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

Puneet Gupta, Scott D. Stoller: Verification of Security Policy Enforcement in Enterprise Systems. SEC 2009: 202-213

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

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

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient runtime invariant checking: a framework and case study. WODA 2008: 43-49

Shmuel Ur, Scott D. Stoller, Eitan Farchi: 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). ISSTA 2008: 309-310

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

Scott D. Stoller: Trust Management and Trust Negotiation in an Extension of SQL. TGC 2008: 186-200

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)

Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. FMSE 2007: 42-50

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

Byron Cook, Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 144(3): 1-2 (2006)

Scott D. Stoller, Ernie Cohen: Optimistic synchronization-based state-space reduction. Formal Methods in System Design 28(3): 263-289 (2006)

Liqiang Wang, Scott D. Stoller: Runtime Analysis of Atomicity for Multithreaded Programs. IEEE Trans. Software Eng. 32(2): 93-110 (2006)

Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan: Policy Analysis for Administrative Role Based Access Control. CSFW 2006: 124-138

Rahul Agarwal, Scott D. Stoller: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. PADTAD 2006: 51-60

Yanhong A. Liu, Scott D. Stoller: Querying Complex Graphs. PADL 2006: 199-214

Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Efficient type inference for secure information flow. PLAS 2006: 85-94

Liqiang Wang, Scott D. Stoller: Accurate and efficient runtime detection of atomicity errors in concurrent programs. PPOPP 2006: 137-146

Scott D. Stoller, Willem Visser: Foreword. Formal Methods in System Design 26(2): 75-76 (2005)

Scott D. Stoller, Fred B. Schneider: Automated Analysis of Fault-Tolerance in Distributed Systems. Formal Methods in System Design 26(2): 183-196 (2005)

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)

Rahul Agarwal, Liqiang Wang, Scott D. Stoller: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. Haifa Verification Conference 2005: 191-207

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

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller: Implementing incrementalization across object abstraction. OOPSLA Companion 2005: 112-113

Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu: Incrementalization across object abstraction. OOPSLA 2005: 473-486

Liqiang Wang, Scott D. Stoller: Static analysis of atomicity for programs with non-blocking synchronization. PPOPP 2005: 61-71

Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller: Automated type-based analysis of data races and atomicity. PPOPP 2005: 83-94

Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu: Parametric regular path queries. PLDI 2004: 219-230

Rahul Agarwal, Scott D. Stoller: Type Inference for Parameterized Race-Free Java. VMCAI 2004: 149-160

Liqiang Wang, Scott D. Stoller: Run-Time Analysis for Atomicity. Electr. Notes Theor. Comput. Sci. 89(2): 191-209 (2003)

Byron Cook, Scott D. Stoller, Willem Visser: SoftMC 2003: Workshop on Software Model Checking. Electr. Notes Theor. Comput. Sci. 89(3): 377 (2003)

Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. Higher-Order and Symbolic Computation 16(1-2): 37-62 (2003)

Yanhong A. Liu, Scott D. Stoller: Eliminating dead code on recursive data. Sci. Comput. Program. 47(2-3): 221-242 (2003)

Klaus Havelund, Scott D. Stoller, Shmuel Ur: Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . IPDPS 2003: 286

Yanhong A. Liu, Scott D. Stoller: Optimizing Ackermann's function by incrementalization. PEPM 2003: 85-91

Yanhong A. Liu, Scott D. Stoller: From datalog rules to efficient programs with time and space guarantees. PPDP 2003: 172-183

Scott D. Stoller, Ernie Cohen: Optimistic Synchronization-Based State-Space Reduction. TACAS 2003: 489-504

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Optimized Live Heap Bound Analysis. VMCAI 2003: 70-85

Scott D. Stoller: Testing Concurrent Java Programs using Randomized Scheduling. Electr. Notes Theor. Comput. Sci. 70(4): 142-157 (2002)

Scott D. Stoller: Model-checking multi-threaded distributed Java programs. STTT 4(1): 71-91 (2002)

Scott D. Stoller: A Bound on Attacks on Authentication Protocols. IFIP TCS 2002: 588-600

Scott D. Stoller: Domain partitioning for open reactive systems. ISSTA 2002: 44-54

Yanhong A. Liu, Scott D. Stoller: Program optimization using indexed and recursive data structures. PEPM 2002: 108-118

Scott D. Stoller, Willem Visser: Preface. Electr. Notes Theor. Comput. Sci. 55(3): 394 (2001)

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Strengthening invariants for efficient computation. Sci. Comput. Program. 41(2): 139-172 (2001)

Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-

Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu: Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. LCTES/OM 2001: 102-111

Scott D. Stoller: A Bound on Attacks on Payment Protocols. LICS 2001: 61-70

Yanhong A. Liu, Ning Li, Scott D. Stoller: Solving Regular Tree Grammar Based Constraints. SAS 2001: 213-233

Scott D. Stoller, Yanhong A. Liu: Transformations for Model Checking Distributed Java Programs. SPIN 2001: 192-199

Scott D. Stoller: Detecting Global Predicates in Distributed Systems with Clocks. Distributed Computing 13(2): 85-98 (2000)

Scott D. Stoller: Leader Election in Asynchronous Distributed Systems. IEEE Trans. Computers 49(3): 283-284 (2000)

Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu: Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. CAV 2000: 264-279

Yanhong A. Liu, Scott D. Stoller: From Recursion to Iteration: What are the Optimizations? PEPM 2000: 73-82

Scott D. Stoller: Model-Checking Multi-threaded Distributed Java Programs. SPIN 2000: 224-244

Yanhong A. Liu, Scott D. Stoller: ETAPS '99 - Conference Report. SIGPLAN Notices 34(6): 16-17 (1999)

Yanhong A. Liu, Scott D. Stoller: Dynamic Programming via Static Incrementalization. ESOP 1999: 288-305

Scott D. Stoller: Lower and Upper Bounds for Attacks on Authentication Protocols. PODC 1999: 283

Yanhong A. Liu, Scott D. Stoller: Eliminating Dead Code on Recursive Data. SAS 1999: 211-231

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Static Caching for Incremental Computation. ACM Trans. Program. Lang. Syst. 20(3): 546-585 (1998)

Scott D. Stoller, Yanhong A. Liu: Efficient Symbolic Detection of Global Properties in Distributed Systems. CAV 1998: 357-368

Scott D. Stoller, Fred B. Schneider: Automated Stream-Based Analysis of Fault-Tolerance. FTRTFT 1998: 113-122

Yanhong A. Liu, Scott D. Stoller: Loop Optimization for Aggregate Array Computations. ICCL 1998: 262-271

Scott D. Stoller: Detecting Global Predicates in Distributed Systems with Clocks. WDAG 1997: 185-199

Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum: Discovering Auxiliary Information for Incremental Computation. POPL 1996: 157-170

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

Scott D. Stoller, Fred B. Schneider: Verifying Programs That Use Causally-Ordered Message-Passing. Sci. Comput. Program. 24(2): 105-128 (1995)

Scott D. Stoller, John DeTreville: Storage Replication and Layout in Video-on-Demand Servers. NOSSDAV 1995: 330-341

Scott D. Stoller, Fred B. Schneider: Faster Possibility Detection by Combining Two Approaches. WDAG 1995: 318-332

Scott D. Stoller: Addendum to ``Proof Rules for Flush Channels''. IEEE Trans. Software Eng. 20(8): 664 (1994)

Douglas J. Howe, Scott D. Stoller: An Operational Approach to Combining Classical Set Theory and Functional Programming Languages. TACS 1994: 36-55