Beverly A. Sanders

According to our database, Beverly A. Sanders authored at least 38 papers between 1986 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

Aces4: A Platform for Computational Chemistry Calculations with Extremely Large Block-Sparse Arrays.

Beverly A. Sanders, Jason N. Byrd, Nakul Jindal, Victor F. Lotrich, Dmitry I. Lyakh, Ajith Perera, Rodney J. Bartlett

Proceedings of the 2017 IEEE International Parallel and Distributed Processing Symposium, 2017

2016

Exploiting GPUs with the Super Instruction Architecture.

Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders

Int. J. Parallel Program., 2016

2014

Abstract interpretation: testing at scale without testing at scale.

Nakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders

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.

Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders

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.

KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders

Autom. Softw. Eng., 2012

Java Memory Model-Aware Model Checking.

Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders

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.

Beverly A. Sanders, Rodney J. Bartlett, Erik Deumens, Victor Lotrich, Mark Ponton

Proceedings of the Conference on High Performance Computing Networking, 2010

2009

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking.

KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders

Proceedings of the ASE 2009, 2009

An infrastructure for scalable and portable parallel programs for computational chemistry.

Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera

Proceedings of the 23rd international conference on Supercomputing, 2009

2008

Assertional reasoning about data races in relaxed memory models.

Beverly A. Sanders, KyungHee Kim

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

Refactoring a language for parallel computational chemistry.

Beverly A. Sanders, Erik Deumens, Victor Lotrich, Mark Ponton

Proceedings of the Second ACM Workshop on Refactoring Tools, 2008

2007

<i>Reengineering for Parallelism</i>: an entry point into PLPP for legacy applications.

Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders

Concurr. Comput. Pract. Exp., 2007

2006

A Pattern-based Development Methodology for Communication Protocols.

YoungJoon Byun, Beverly A. Sanders

J. Inf. Sci. Eng., 2006

2005

Design of communication protocols using a message transfer pattern.

YoungJoon Byun, Beverly A. Sanders, ChangSup Keum

Int. J. Commun. Syst., 2005

2002

Editorial Note.

Dominique Méry, Beverly A. Sanders

Formal Methods Syst. Des., 2002

Workshop Introduction.

Michel Charpentier, Beverly A. Sanders

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

2001

Parallel programming with a pattern language.

Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders

Int. J. Softw. Tools Technol. Transf., 2001

The shortest path in parallel.

Beverly A. Sanders

Inf. Process. Lett., 2001

2000

Composing leads-to properties.

David Meier, Beverly A. Sanders

Theor. Comput. Sci., 2000

Using atomic await commands to develop concurrent programs in Java.

Beverly A. Sanders

Softw. Concepts Tools, 2000

Workshop on Formal Methods for Parallel Programming (FMPPTA 2000).

Beverly A. Sanders, Dominique Méry

Proceedings of the Parallel and Distributed Processing, 2000

A Pattern Language for Parallel Application Programs (Research Note).

Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders

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.

Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova

Parallel Process. Lett., 1998

Data Refinement of Mixed Specifications.

Beverly A. Sanders

Acta Informatica, 1998

1997

A Predicate Transformer for the Progress Property 'To-Always'.

Rutger M. Dijkstra, Beverly A. Sanders

Formal Aspects Comput., 1997

1995

From Persistent Objects to Object Transmission in Distributed Systems Using Oberon.

Spyros Lalis, Beverly A. Sanders

Softw. Concepts Tools, 1995

Predicate Transformers for Reasoning about Concurrent Computation.

K. Mani Chandy, Beverly A. Sanders

Sci. Comput. Program., 1995

1994

Adding Concurrency to the Oberon System.

Spyros Lalis, Beverly A. Sanders

Proceedings of the Programming Languages and System Architectures, 1994

Compositional Specifications of Parallel Programs: NondeterministicData Flow.

K. Mani Chandy, Beverly A. Sanders

Proceedings of the Specification of Parallel Algorithms, 1994

1991

Eliminating the Substitution Axiom from UNITY Logic.

Beverly A. Sanders

Formal Aspects Comput., 1991

A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract).

Beverly A. Sanders

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

On the UNITY Design Decisions.

Beverly A. Sanders

Proceedings of the Research Directions in High-Level Parallel Programming Languages, 1991

1990

Stepwise Refinement of Mixed Specifications of Concurrent Programs.

Beverly A. Sanders

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990

1989

Distributed Deadlock Detection and Resolution with Probes.

Beverly A. Sanders, Philipp A. Heuberger

Proceedings of the Distributed Algorithms, 1989

1988

An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks.

Beverly A. Sanders

IEEE Trans. Computers, 1988

An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks.

Beverly A. Sanders

IEEE Trans. Computers, 1988

1987

The Information Structure of Distributed Mutual Exclusion Algorithms.

Beverly A. Sanders

ACM Trans. Comput. Syst., 1987

1986

An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks.

Beverly A. Sanders

Proceedings of the 6th International Conference on Distributed Computing Systems, 1986