| 2026 | TACAS | Automatically Tightening Access Control Policies with Restricter. | Ka Lok Wu, Christa Jenkins, Scott D. Stoller, Omar Chowdhury |
| 2024 | ICDCS | Tutorial: Consensus Algorithms from Classical to Blockchain: Quickly Program, Configure, Run, and Check. | Yanhong A. Liu, Scott D. Stoller |
| 2024 | ICRA | Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2024 | SecureComm | Graphite: Real-Time Graph-Based Detection of Windows Fileless Malware Attacks. | Priti Prabhakar Wakodikar, Joon-Young Gwak, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang |
| 2023 | ICDM | Debugging Malware Classification Models Based on Event Logs with Explainable AI. | Joon-Young Gwak, Priti Prabhakar Wakodikar, Meng Wang, Guanhua Yan, Xiaokui Shu, Scott D. Stoller, Ping Yang |
| 2023 | ICRA | Multi-Agent Spatial Predictive Control with Application to Drone Flocking. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2023 | SACMAT | WebSheets: A New Privacy-Centric Framework for Web Applications. | Scott D. Stoller |
| 2022 | ISoLA | Towards Drone Flocking Using Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | LFCS | Recursive Rules with Aggregation: A Simple Unified Semantics. | Yanhong A. Liu, Scott D. Stoller |
| 2022 | RV | A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. | Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller |
| 2021 | SETTA | A Distributed Simplex Architecture for Multi-agent Systems. | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
| 2020 | FOSSACS | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2020 | ICISS | Learning Attribute-Based and Relationship-Based Access Control Policies with Unknown Values. | Thang Bui, Scott D. Stoller |
| 2020 | LFCS | Knowledge of Uncertain Worlds: Programming with Logical Constraints. | Yanhong A. Liu, Scott D. Stoller |
| 2020 | RV | Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness. | Yanhong A. Liu, Scott D. Stoller |
| 2020 | SACMAT | A Decision Tree Learning Approach for Mining Relationship-Based Access Control Policies. | Thang Bui, Scott D. Stoller |
| 2019 | CCS | High-Level Cryptographic Abstractions. | Christopher Kane, Bo Lin, Saksham Chand, Scott D. Stoller, Yanhong A. Liu |
| 2019 | DBSEC | Algorithm Diversity for Resilient Systems. | Scott D. Stoller, Yanhong A. Liu |
| 2019 | PODC | From Classical to Blockchain Consensus: What Are the Exact Algorithms? | Yanhong A. Liu, Scott D. Stoller |
| 2019 | PPDP | Moderately Complex Paxos Made Simple: High-Level Executable Specification of Distributed Algorithms. | Yanhong A. Liu, Saksham Chand, Scott D. Stoller |
| 2019 | RV | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
| 2019 | SACMAT | Efficient and Extensible Policy Mining for Relationship-Based Access Control. | Thang Bui, Scott D. Stoller, Hieu Le |
| 2018 | ATVA | Neural State Classification for Hybrid Systems. | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2018 | LFCS | Founded Semantics and Constraint Semantics of Logic Rules. | Yanhong A. Liu, Scott D. Stoller |
| 2018 | SAC | Declarative vs rule-based control for flocking dynamics. | Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka |
| 2017 | DBSEC | Fast Distributed Evaluation of Stateful Attribute-Based Access Control Policies. | Thang Bui, Scott D. Stoller, Shikhar Sharma |
| 2017 | SACMAT | Mining Relationship-Based Access Control Policies. | Thang Bui, Scott D. Stoller, Jiajie Li |
| 2017 | SAFECOMP | A Simplex Architecture for Hybrid Systems Using Barrier Certificates. | Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
| 2016 | DBSEC | Mining Hierarchical Temporal Roles with Multiple Metrics. | Scott D. Stoller, Thang Bui |
| 2016 | FM | Formal Verification of Multi-Paxos for Distributed Consensus. | Saksham Chand, Yanhong A. Liu, Scott D. Stoller |
| 2016 | PPDP | Demand-driven incremental object queries. | Yanhong A. Liu, Jon Brandvein, Scott D. Stoller, Bo Lin |
| 2015 | DBSEC | An Administrative Model for Relationship-Based Access Control. | Scott D. Stoller |
| 2015 | RV | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. | Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2014 | DBSEC | Mining Attribute-Based Access Control Policies from Logs. | Zhongyuan Xu, Scott D. Stoller |
| 2014 | EDCC | Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. | Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller |
| 2014 | ISoLA | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2013 | RV | Runtime Verification with Particle Filtering. | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
| 2012 | OOPSLA | From clarity to efficiency for distributed algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin, Michael Gorbovitski |
| 2012 | PEPM | Composing transformations for instrumentation and optimization. | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel |
| 2012 | RV | Adaptive Runtime Verification. | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2012 | SACMAT | Algorithms for mining meaningful roles. | Zhongyuan Xu, Scott D. Stoller |
| 2012 | SSS | High-Level Executable Specifications of Distributed Algorithms. | Yanhong A. Liu, Scott D. Stoller, Bo Lin |
| 2011 | ICA3PP | Redflag: A Framework for Analysis of Kernel-Level Concurrency. | Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok |
| 2011 | ICISS | Abductive Analysis of Administrative Policies in Rule-Based Access Control. | Puneet Gupta, Scott D. Stoller, Zhongyuan Xu |
| 2011 | RV | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | SYSTOR | On the energy consumption and performance of systems software. | Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2010 | CNSM | Trust management for Web Services. | Scott D. Stoller |
| 2010 | DLS | Alias analysis for optimization of dynamic languages. | Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle |
| 2010 | RV | Aspect-Oriented Instrumentation with GCC. | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2009 | FASE | HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. | Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller |
| 2009 | GPCE | A language and framework for invariant-driven transformations. | Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller |
| 2009 | SACMAT | Symbolic reachability analysis for parameterized administrative role based access control. | Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan |
| 2009 | SEC | Verification of Security Policy Enforcement in Enterprise Systems. | Puneet Gupta, Scott D. Stoller |
| 2009 | TACAS | RBAC-PAT: A Policy Analysis Tool for Role Based Access Control. | Mikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller |
| 2008 | ISSTA | Efficient runtime invariant checking: a framework and case study. | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2008 | ISSTA | 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). | Shmuel Ur, Scott D. Stoller, Eitan Farchi |
| 2008 | SCAM | Analysis and Transformations for Efficient Query-Based Debugging. | Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu |
| 2007 | CCS | Security policy analysis using deductive spreadsheets. | Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren |
| 2007 | CCS | Efficient policy analysis for administrative role based access control. | Scott D. Stoller, Ping Yang, C. R. Ramakrishnan, Mikhail I. Gofman |
| 2006 | ISSTA | Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. | Rahul Agarwal, Scott D. Stoller |
| 2006 | PADL | Querying Complex Graphs. | Yanhong A. Liu, Scott D. Stoller |
| 2006 | PLDI | Efficient type inference for secure information flow. | Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2006 | PPoPP | Accurate and efficient runtime detection of atomicity errors in concurrent programs. | Liqiang Wang, Scott D. Stoller |
| 2005 | OOPSLA | Implementing incrementalization across object abstraction. | Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller |
| 2005 | OOPSLA | Incrementalization across object abstraction. | Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu |
| 2005 | PPoPP | Automated type-based analysis of data races and atomicity. | Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller |
| 2005 | PPoPP | Static analysis of atomicity for programs with non-blocking synchronization. | Liqiang Wang, Scott D. Stoller |
| 2004 | PLDI | Parametric regular path queries. | Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu |
| 2004 | VMCAI | Type Inference for Parameterized Race-Free Java. | Rahul Agarwal, Scott D. Stoller |
| 2003 | PEPM | Optimizing Ackermann's function by incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 2003 | PPDP | From datalog rules to efficient programs with time and space guarantees. | Yanhong A. Liu, Scott D. Stoller |
| 2003 | TACAS | Optimistic Synchronization-Based State-Space Reduction. | Scott D. Stoller, Ernie Cohen |
| 2003 | VMCAI | Optimized Live Heap Bound Analysis. | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu |
| 2002 | ISSTA | Domain partitioning for open reactive systems. | Scott D. Stoller |
| 2002 | PEPM | Program optimization using indexed and recursive data structures. | Yanhong A. Liu, Scott D. Stoller |
| 2001 | LICS | A Bound on Attacks on Payment Protocols. | Scott D. Stoller |
| 2001 | PLDI | Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu |
| 2001 | SAS | Solving Regular Tree Grammar Based Constraints. | Yanhong A. Liu, Ning Li, Scott D. Stoller |
| 2000 | CAV | Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods. | Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu |
| 2000 | PEPM | From Recursion to Iteration: What are the Optimizations? | Yanhong A. Liu, Scott D. Stoller |
| 1999 | ESOP | Dynamic Programming via Static Incrementalization. | Yanhong A. Liu, Scott D. Stoller |
| 1999 | PODC | Lower and Upper Bounds for Attacks on Authentication Protocols. | Scott D. Stoller |
| 1999 | SAS | Eliminating Dead Code on Recursive Data. | Yanhong A. Liu, Scott D. Stoller |
| 1998 | CAV | Efficient Symbolic Detection of Global Properties in Distributed Systems. | Scott D. Stoller, Yanhong A. Liu |
| 1996 | POPL | Discovering Auxiliary Information for Incremental Computation. | Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum |
| 1995 | NOSSDAV | Storage Replication and Layout in Video-on-Demand Servers. | Scott D. Stoller, John DeTreville |