Beverly A. Sanders
According to our database1, Beverly A. Sanders authored at least 38 papers between 1986 and 2017.
Legend:Book In proceedings Article PhD thesis Other
Aces4: A Platform for Computational Chemistry Calculations with Extremely Large Block-Sparse Arrays.
Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017
Exploiting GPUs with the Super Instruction Architecture.
International Journal of Parallel Programming, 2016
Abstract interpretation: testing at scale without testing at scale.
Proceedings of the 2nd International workshop on Software Engineering for High Performance Computing in Computational Science and Engineering, 2014
SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture.
Proceedings of the 27th IEEE International Symposium on Parallel and Distributed Processing, 2013
Java Memory Model-Aware Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
A Block-Oriented Language and Runtime System for Tensor Algebra with Very Large Arrays.
Proceedings of the Conference on High Performance Computing Networking, 2010
JRF-E: using model checking to give advice on eliminating memory model-related bugs.
Proceedings of the ASE 2010, 2010
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.
Proceedings of the ASE 2009, 2009
An infrastructure for scalable and portable parallel programs for computational chemistry.
Proceedings of the 23rd international conference on Supercomputing, 2009
Assertional reasoning about data races in relaxed memory models.
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008
Refactoring a language for parallel computational chemistry.
Proceedings of the Second ACM Workshop on Refactoring Tools, 2008
Reengineering for Parallelism: an entry point into PLPP for legacy applications.
Concurrency and Computation: Practice and Experience, 2007
Design of communication protocols using a message transfer pattern.
Int. J. Communication Systems, 2005
A pattern-based development methodology for communication protocols.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005
Formal Methods in System Design, 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
Parallel programming with a pattern language.
The shortest path in parallel.
Inf. Process. Lett., 2001
Composing leads-to properties.
Theor. Comput. Sci., 2000
Using atomic await commands to develop concurrent programs in Java.
Software - Concepts and Tools, 2000
Workshop on Formal Methods for Parallel Programming (FMPPTA 2000).
Proceedings of the Parallel and Distributed Processing, 2000
A Pattern Language for Parallel Application Programs (Research Note).
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000
Derivation of an Algorithm for Location Management for Mobile Communication Devices.
Parallel Processing Letters, 1998
Data Refinement of Mixed Specifications.
Acta Inf., 1998
A Predicate Transformer for the Progress Property 'To-Always'.
Formal Asp. Comput., 1997
From Persistent Objects to Object Transmission in Distributed Systems Using Oberon.
Software - Concepts and Tools, 1995
Predicate Transformers for Reasoning about Concurrent Computation.
Sci. Comput. Program., 1995
Adding Concurrency to the Oberon System.
Proceedings of the Programming Languages and System Architectures, 1994
Compositional Specifications of Parallel Programs: NondeterministicData Flow.
Proceedings of the Specification of Parallel Algorithms, 1994
Eliminating the Substitution Axiom from UNITY Logic.
Formal Asp. Comput., 1991
A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract).
Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991
On the UNITY Design Decisions.
Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991
Stepwise Refinement of Mixed Specifications of Concurrent Programs.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
Distributed Deadlock Detection and Resolution with Probes.
Proceedings of the Distributed Algorithms, 1989
An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks.
IEEE Trans. Computers, 1988
An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks.
IEEE Trans. Computers, 1988
The Information Structure of Distributed Mutual Exclusion Algorithms.
ACM Trans. Comput. Syst., 1987
An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks.
Proceedings of the 6th International Conference on Distributed Computing Systems, 1986