Scott D. Stoller mainly investigates Concurrency, Distributed computing, Atomicity, Static analysis and Correctness. His study in Concurrency is interdisciplinary in nature, drawing from both Overhead, Software engineering, No Silver Bullet and Parallel computing. His Distributed computing study combines topics from a wide range of disciplines, such as Asynchronous communication and Modular design.
His Atomicity research is included under the broader classification of Programming language. His research in Programming language tackles topics such as Scalability which are related to areas like Code. His biological study spans a wide range of topics, including Program transformation, Type inference and Deadlock.
Scott D. Stoller spends much of his time researching Programming language, Theoretical computer science, Distributed computing, Access control and Algorithm. He works mostly in the field of Theoretical computer science, limiting it down to topics relating to Set and, in certain cases, Formal verification, as a part of the same area of interest. The concepts of his Distributed computing study are interwoven with issues in Scalability, Static analysis and Atomicity.
His research in Atomicity intersects with topics in Debugging, Concurrent computing and Correctness. His research in the fields of Role-based access control overlaps with other disciplines such as Flexibility and Policy analysis. Scott D. Stoller regularly ties together related areas like Parallel computing in his Concurrency studies.
His primary areas of investigation include Programming language, Access control, Algorithm, Theoretical computer science and Artificial intelligence. He has researched Access control in several fields, including Evolutionary algorithm and Information sharing. His study on Information sharing also encompasses disciplines like
His Algorithm research includes elements of Distributed algorithm and Executable. His Theoretical computer science study frequently links to related topics such as Set. Within one scientific family, Scott D. Stoller focuses on topics pertaining to Artificial neural network under Scalability, and may sometimes address concerns connected to Backup, Baseline, Runtime verification and Distributed computing.
His scientific interests lie mostly in Scalability, Theoretical computer science, Access control, Evolutionary algorithm and Programming language. His studies in Scalability integrate themes in fields like Artificial neural network, Feature selection, Data compaction and Computer engineering. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Flocking and Rule-based system.
His Access control research integrates issues from Object model, Data mining, Information sharing and Noisy data. The study incorporates disciplines such as Set, Heuristics and Greedy algorithm in addition to Evolutionary algorithm. His research brings together the fields of Consensus and Programming language.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Runtime analysis of atomicity for multithreaded programs
L. Wang;S.D. Stoller.
IEEE Transactions on Software Engineering (2006)
Runtime analysis of atomicity for multithreaded programs
L. Wang;S.D. Stoller.
IEEE Transactions on Software Engineering (2006)
Testing Concurrent Java Programs using Randomized Scheduling
Scott D. Stoller.
Electronic Notes in Theoretical Computer Science (2002)
Testing Concurrent Java Programs using Randomized Scheduling
Scott D. Stoller.
Electronic Notes in Theoretical Computer Science (2002)
Cryptographic support for fault-tolerant distributed computing
Yaron Minsky;Robbert van Renesse;Fred B. Schneider;Scott D. Stoller.
acm sigops european workshop (1996)
Efficient policy analysis for administrative role based access control
Scott D. Stoller;Ping Yang;C R. Ramakrishnan;Mikhail I. Gofman.
computer and communications security (2007)
Cryptographic support for fault-tolerant distributed computing
Yaron Minsky;Robbert van Renesse;Fred B. Schneider;Scott D. Stoller.
acm sigops european workshop (1996)
Efficient policy analysis for administrative role based access control
Scott D. Stoller;Ping Yang;C R. Ramakrishnan;Mikhail I. Gofman.
computer and communications security (2007)
Model-Checking Multi-threaded Distributed Java Programs
Scott D. Stoller.
international workshop on model checking software (2000)
Model-checking multi-threaded distributed Java programs
Scott D. Stoller.
International Journal on Software Tools for Technology Transfer (2002)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
Stony Brook University
TU Wien
Stony Brook University
Jet Propulsion Lab
Microsoft (United States)
Stony Brook University
Cornell University
University of Illinois at Chicago
Bar-Ilan University
Georgia Institute of Technology
Xidian University
University of Michigan–Ann Arbor
Case Western Reserve University
University of Barcelona
University of Edinburgh
University of Cologne
Heidelberg University
National and Kapodistrian University of Athens
Université Catholique de Louvain
University of British Columbia
Pennsylvania State University
Rutgers, The State University of New Jersey
Stanford University
University of Alabama at Birmingham
Technical University of Munich
University of Manchester