Beverly A. Sanders

According to our database1, Beverly A. Sanders
  • authored at least 38 papers between 1986 and 2016.
  • has a "Dijkstra number"2 of three.



In proceedings 
PhD thesis 




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

JRF-E: using model checking to give advice on eliminating memory model-related bugs.
Autom. Softw. Eng., 2012

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

A Pattern-based Development Methodology for Communication Protocols.
J. Inf. Sci. Eng., 2006

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

Editorial Note.
Formal Methods in System Design, 2002

Workshop Introduction.
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002

Parallel programming with a pattern language.
STTT, 2001

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

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