Beverly A. Sanders

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
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

2016
Exploiting GPUs with the Super Instruction Architecture.
International Journal of Parallel Programming, 2016

2014
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

2013
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

2012
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

2010
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

2009
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

2008
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

2007
Reengineering for Parallelism: an entry point into PLPP for legacy applications.
Concurrency and Computation: Practice and Experience, 2007

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

2005
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

2002
Editorial Note.
Formal Methods in System Design, 2002

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

2001
Parallel programming with a pattern language.
STTT, 2001

The shortest path in parallel.
Inf. Process. Lett., 2001

2000
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

1998
Derivation of an Algorithm for Location Management for Mobile Communication Devices.
Parallel Processing Letters, 1998

Data Refinement of Mixed Specifications.
Acta Inf., 1998

1997
A Predicate Transformer for the Progress Property 'To-Always'.
Formal Asp. Comput., 1997

1995
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

1994
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

1991
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

1989
Distributed Deadlock Detection and Resolution with Probes.
Proceedings of the Distributed Algorithms, 1989

1988
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

1987
The Information Structure of Distributed Mutual Exclusion Algorithms.
ACM Trans. Comput. Syst., 1987

1986
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


  Loading...