Search results for "Scott D. Stoller"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok	Software monitoring with controllable overhead.	STTT	2012	DBLP DOI BibTeX RDF
1	Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel	Composing transformations for instrumentation and optimization.	PEPM	2012	DBLP DOI BibTeX RDF
1	Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan	Policy analysis for Administrative Role-Based Access Control.	Theor. Comput. Sci.	2011	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan	Symbolic reachability analysis for parameterized administrative role-based access control.	Computers & Security	2011	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Trust Management in Databases.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok	Runtime Verification with State Estimation.	RV	2011	DBLP DOI BibTeX RDF
1	Puneet Gupta, Scott D. Stoller, Zhongyuan Xu	Abductive Analysis of Administrative Policies in Rule-Based Access Control.	ICISS	2011	DBLP DOI BibTeX RDF
1	Justin Seyster, Prabakar Radhakrishnan, Samriti Katoch, Abhinav Duggal, Scott D. Stoller, Erez Zadok	Redflag: A Framework for Analysis of Kernel-Level Concurrency.	ICA3PP	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	2010	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Trust management for Web Services.	CNSM	2010	DBLP DOI BibTeX RDF
1	Michael Gorbovitski, Yanhong A. Liu, Scott D. Stoller, Tom Rothamel, K. Tuncay Tekle	Alias analysis for optimization of dynamic languages.	DLS	2010	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	ACM Trans. Program. Lang. Syst.	2009	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation
1	Puneet Gupta, Scott D. Stoller	Verification of Security Policy Enforcement in Enterprise Systems.	SEC	2009	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Leena Unnikrishnan, Scott D. Stoller	Parametric heap usage analysis for functional programs.	ISMM	2009	DBLP DOI BibTeX RDF	live heap space analysis, garbage collection, functional languages, recurrence relations
1	Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller	A language and framework for invariant-driven transformations.	GPCE	2009	DBLP DOI BibTeX RDF	runtime invariant checking, program transformation, invariants, program optimization, incremental maintenance
1	Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller	HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis.	FASE	2009	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C. R. Ramakrishnan	Symbolic reachability analysis for parameterized administrative role based access control.	SACMAT	2009	DBLP DOI BibTeX RDF	parameterized administrative role based access control, security policy analysis
1	Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu	Analysis and Transformations for Efficient Query-Based Debugging.	SCAM	2008	DBLP DOI BibTeX RDF
1	Shmuel Ur, Scott D. Stoller, Eitan Farchi	6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).	ISSTA	2008	DBLP DOI BibTeX RDF	testing, parallel, concurrent, debugging, distributed, multi-threaded
1	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient runtime invariant checking: a framework and case study.	WODA	2008	DBLP DOI BibTeX RDF	program transformation, incrementalization, runtime verification, alias analysis
1	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	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Trust Management and Trust Negotiation in an Extension of SQL.	TGC	2008	DBLP DOI BibTeX RDF
1	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	2007	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren	Security policy analysis using deductive spreadsheets.	FMSE	2007	DBLP DOI BibTeX RDF	SELinux policy, security policy analysis, vulnerability analysis
1	Liqiang Wang, Scott D. Stoller	Runtime Analysis of Atomicity for Multithreaded Programs.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	Java, Concurrent programming, atomicity, data race, testing and debugging
1	Byron Cook, Scott D. Stoller, Willem Visser	Preface.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Ernie Cohen	Optimistic synchronization-based state-space reduction.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF	Omega algebra, Model checking, Reduction, Partial-order methods
1	Katia Hristova, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient type inference for secure information flow.	PLAS	2006	DBLP DOI BibTeX RDF	security, algorithm, information flow, time complexity, type inference
1	Yanhong A. Liu, Scott D. Stoller	Querying Complex Graphs.	PADL	2006	DBLP DOI BibTeX RDF
1	Rahul Agarwal, Scott D. Stoller	Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables.	PADTAD	2006	DBLP DOI BibTeX RDF	testing, concurrent programs, deadlocks
1	Amit Sasturkar, Ping Yang, Scott D. Stoller, C. R. Ramakrishnan	Policy Analysis for Administrative Role Based Access Control.	CSFW	2006	DBLP DOI BibTeX RDF
1	Liqiang Wang, Scott D. Stoller	Accurate and efficient runtime detection of atomicity errors in concurrent programs.	PPOPP	2006	DBLP DOI BibTeX RDF	Java, concurrent programming, atomicity, serializability, data race
1	Yanhong A. Liu, Scott D. Stoller, Ning Li, Tom Rothamel	Optimizing aggregate array computations in loops.	ACM Trans. Program. Lang. Syst.	2005	DBLP DOI BibTeX RDF	Array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization
1	Scott D. Stoller, Willem Visser	Foreword.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Fred B. Schneider	Automated Analysis of Fault-Tolerance in Distributed Systems.	Formal Methods in System Design	2005	DBLP DOI BibTeX RDF
1	Rahul Agarwal, Amit Sasturkar, Liqiang Wang, Scott D. Stoller	Optimized run-time race detection and atomicity checking using partial discovered types.	ASE	2005	DBLP DOI BibTeX RDF	performance, type system, atomicity, data races
1	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Implementing incrementalization across object abstraction.	OOPSLA Companion	2005	DBLP DOI BibTeX RDF	May-Alias analysis, refactoring, instrumentation, python, incrementalization, transformation languages
1	Yanhong A. Liu, Scott D. Stoller, Michael Gorbovitski, Tom Rothamel, Yanni Ellen Liu	Incrementalization across object abstraction.	OOPSLA	2005	DBLP DOI BibTeX RDF	design, object-oriented, program transformation, abstraction, program analysis, invariants, program optimization, incrementalization
1	Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Amit Sasturkar, Rahul Agarwal, Liqiang Wang, Scott D. Stoller	Automated type-based analysis of data races and atomicity.	PPOPP	2005	DBLP DOI BibTeX RDF	type system, type inference, atomicity, data races
1	Liqiang Wang, Scott D. Stoller	Static analysis of atomicity for programs with non-blocking synchronization.	PPOPP	2005	DBLP DOI BibTeX RDF	verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
1	Yanhong A. Liu, Tom Rothamel, Fuxiang Yu, Scott D. Stoller, Nanjun Hu	Parametric regular path queries.	PLDI	2004	DBLP DOI BibTeX RDF	data tructures, graph query languages, optimization, algorithms, model checking, program analysis, regular expressions, memoization, precomputation, regular path queries
1	Rahul Agarwal, Scott D. Stoller	Type Inference for Parameterized Race-Free Java.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Eliminating dead code on recursive data.	Sci. Comput. Program.	2003	DBLP DOI BibTeX RDF
1	Byron Cook, Scott D. Stoller, Willem Visser	SoftMC 2003: Workshop on Software Model Checking.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Liqiang Wang, Scott D. Stoller	Run-Time Analysis for Atomicity.	Electr. Notes Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	tabulation, dynamic programming, caching, static analysis, program transformation, dependence analysis, pruning, program optimization, incrementalization, incremental computation, memoization, incremental update
1	Scott D. Stoller, Ernie Cohen	Optimistic Synchronization-Based State-Space Reduction.	TACAS	2003	DBLP DOI BibTeX RDF
1	Klaus Havelund, Scott D. Stoller, Shmuel Ur	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . (PDF / PS)	IPDPS	2003	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Optimizing Ackermann's function by incrementalization.	PEPM	2003	DBLP DOI BibTeX RDF	tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization
1	Yanhong A. Liu, Scott D. Stoller	From datalog rules to efficient programs with time and space guarantees.	PPDP	2003	DBLP DOI BibTeX RDF	data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation
1	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu	Optimized Live Heap Bound Analysis.	VMCAI	2003	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Testing Concurrent Java Programs using Randomized Scheduling.	Electr. Notes Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Model-checking multi-threaded distributed Java programs.	STTT	2002	DBLP DOI BibTeX RDF	Java, Model checking, Reduction, Locks, Partial-order methods
1	Scott D. Stoller	Domain partitioning for open reactive systems.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Program optimization using indexed and recursive data structures.	PEPM	2002	DBLP DOI BibTeX RDF
1	Scott D. Stoller	A Bound on Attacks on Authentication Protocols.	IFIP TCS	2002	DBLP BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Strengthening invariants for efficient computation.	Sci. Comput. Program.	2001	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Willem Visser	Preface.	Electr. Notes Theor. Comput. Sci.	2001	DBLP DOI BibTeX RDF
1	Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan	Automated Software Engineering Using Concurrent Class Machines.	ASE	2001	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Yanhong A. Liu	Transformations for Model Checking Distributed Java Programs.	SPIN	2001	DBLP DOI BibTeX RDF
1	Scott D. Stoller	A Bound on Attacks on Payment Protocols.	LICS	2001	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Ning Li, Scott D. Stoller	Solving Regular Tree Grammar Based Constraints.	SAS	2001	DBLP DOI BibTeX RDF
1	Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu	Automatic Accurate Live Memory Analysis for Garbage-Collected Languages.	LCTES/OM	2001	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Leader Election in Asynchronous Distributed Systems.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Leader election, asynchronous distributed systems, group membership, crash failures
1	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	Distributed Computing	2000	DBLP DOI BibTeX RDF	Distributed debugging, Real-time monitoring, Consistent global states, Global predicate detection
1	Yanhong A. Liu, Scott D. Stoller	From Recursion to Iteration: What are the Optimizations?	PEPM	2000	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Model-Checking Multi-threaded Distributed Java Programs.	SPIN	2000	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Leena Unnikrishnan, Yanhong A. Liu	Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods.	CAV	2000	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	ETAPS '99 - Conference Report.	SIGPLAN Notices	1999	DBLP BibTeX RDF
1	Scott D. Stoller	Lower and Upper Bounds for Attacks on Authentication Protocols.	PODC	1999	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Eliminating Dead Code on Recursive Data.	SAS	1999	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller	Dynamic Programming via Static Incrementalization.	ESOP	1999	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Static Caching for Incremental Computation.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	intermediate results, program efficiency improvement, optimization, caching, static analysis, program transformation, dependence analysis, incremental computation, memoization, incremental programs
1	Yanhong A. Liu, Scott D. Stoller	Loop Optimization for Aggregate Array Computations. (PDF / PS)	ICCL	1998	DBLP DOI BibTeX RDF	asymptotic performance improvement, array dependence analysis, caching intermediate results, program transformation, incremental computation, loop optimization, aggregate computation
1	Scott D. Stoller, Yanhong A. Liu	Efficient Symbolic Detection of Global Properties in Distributed Systems.	CAV	1998	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Fred B. Schneider	Automated Stream-Based Analysis of Fault-Tolerance.	FTRTFT	1998	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Detecting Global Predicates in Distributed Systems with Clocks.	WDAG	1997	DBLP DOI BibTeX RDF	distributed debugging, real-time monitoring, consistent global states, partially-synchronous systems, global predicate detection
1	Yaron Minsky, Robbert van Renesse, Fred B. Schneider, Scott D. Stoller	Cryptographic support for fault-tolerant distributed computing.	ACM SIGOPS European Workshop	1996	DBLP DOI BibTeX RDF
1	Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum	Discovering Auxiliary Information for Incremental Computation.	POPL	1996	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Fred B. Schneider	Verifying Programs That Use Causally-Ordered Message-Passing.	Sci. Comput. Program.	1995	DBLP DOI BibTeX RDF
1	Scott D. Stoller, John DeTreville	Storage Replication and Layout in Video-on-Demand Servers.	NOSSDAV	1995	DBLP DOI BibTeX RDF
1	Scott D. Stoller, Fred B. Schneider	Faster Possibility Detection by Combining Two Approaches.	WDAG	1995	DBLP DOI BibTeX RDF
1	Scott D. Stoller	Addendum to ``Proof Rules for Flush Channels''.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	flush channels, multiple identical messages, logic system, distributed systems, distributed processing, message passing, program verification, program verification, asynchronous communication, formal logic, channel, proof system, communicating processes, proof rules
1	Douglas J. Howe, Scott D. Stoller	An Operational Approach to Combining Classical Set Theory and Functional Programming Languages.	TACS	1994	DBLP DOI BibTeX RDF

Publications of "Scott D. Stoller" ( http://dblp.L3S.de/Authors/Scott_D._Stoller )