An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. - Beverly A. Sanders (ICDCS, 1986)

The Information Structure of Distributed Mutual Exclusion Algorithms. - Beverly A. Sanders (ACM Trans. Comput. Syst., 1987)

An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. - Beverly A. Sanders (IEEE Trans. Computers, 1988)

An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. - Beverly A. Sanders (IEEE Trans. Computers, 1988)

Distributed Deadlock Detection and Resolution with Probes. - Beverly A. Sanders; Philipp A. Heuberger (WDAG, 1989)

Stepwise Refinement of Mixed Specifications of Concurrent Programs. - Beverly A. Sanders (Programming Concepts and Methods, 1990)

On the UNITY Design Decisions. - Beverly A. Sanders (Research Directions in High-Level Parallel Programming Languages, 1991)

A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). - Beverly A. Sanders (PODC, 1991)

Eliminating the Substitution Axiom from UNITY Logic. - Beverly A. Sanders (Formal Aspects Comput., 1991)

Compositional Specifications of Parallel Programs: NondeterministicData Flow. - K. Mani Chandy; Beverly A. Sanders (Specification of Parallel Algorithms, 1994)

Adding Concurrency to the Oberon System. - Spyros Lalis; Beverly A. Sanders (Programming Languages and System Architectures, 1994)

Predicate Transformers for Reasoning about Concurrent Computation. - K. Mani Chandy; Beverly A. Sanders (Sci. Comput. Program., 1995)

From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. - Spyros Lalis; Beverly A. Sanders (Softw. Concepts Tools, 1995)

A Predicate Transformer for the Progress Property 'To-Always'. - Rutger M. Dijkstra; Beverly A. Sanders (Formal Aspects Comput., 1997)

Data Refinement of Mixed Specifications. - Beverly A. Sanders (Acta Informatica, 1998)

Derivation of an Algorithm for Location Management for Mobile Communication Devices. - Beverly A. Sanders; Berna L. Massingill; Svetlana Kryukova (Parallel Process. Lett., 1998)

A Pattern Language for Parallel Application Programs (Research Note). - Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders (Euro-Par, 2000)

Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). - Beverly A. Sanders; Dominique Méry (IPDPS Workshops, 2000)

Using atomic await commands to develop concurrent programs in Java. - Beverly A. Sanders (Softw. Concepts Tools, 2000)

Composing leads-to properties. - David Meier; Beverly A. Sanders (Theor. Comput. Sci., 2000)

The shortest path in parallel. - Beverly A. Sanders (Inf. Process. Lett., 2001)

Parallel programming with a pattern language. - Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders (Int. J. Softw. Tools Technol. Transf., 2001)

Workshop Introduction. - Michel Charpentier; Beverly A. Sanders (IPDPS, 2002)

Editorial Note. - Dominique Méry; Beverly A. Sanders (Formal Methods Syst. Des., 2002)

A pattern-based development methodology for communication protocols. - YoungJoon Byun; Beverly A. Sanders (SAC, 2005)

Design of communication protocols using a message transfer pattern. - YoungJoon Byun; Beverly A. Sanders; ChangSup Keum (Int. J. Commun. Syst., 2005)

Reengineering for Parallelism: an entry point into PLPP for legacy applications. - Berna L. Massingill; Timothy G. Mattson; Beverly A. Sanders (Concurr. Comput. Pract. Exp., 2007)

Refactoring a language for parallel computational chemistry. - Beverly A. Sanders; Erik Deumens; Victor Lotrich; Mark Ponton (WRT@OOPSLA, 2008)

Assertional reasoning about data races in relaxed memory models. - Beverly A. Sanders; KyungHee Kim (PPoPP, 2008)

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 (ICS, 2009)

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (ASE, 2009)

JRF-E: using model checking to give advice on eliminating memory model-related bugs. - KyungHee Kim; Tuba Yavuz-Kahveci; Beverly A. Sanders (ASE, 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 (SC, 2010)

Java Memory Model-Aware Model Checking. - Huafeng Jin; Tuba Yavuz-Kahveci; Beverly A. Sanders (TACAS, 2012)

SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture. - Nakul Jindal; Victor Lotrich; Erik Deumens; Beverly A. Sanders (IPDPS, 2013)

Abstract interpretation: testing at scale without testing at scale. - Nakul Jindal; Junmin Yang; Victor Lotrich; Jason Byrd; Beverly A. Sanders (SE-HPCCSE@SC, 2014)

Exploiting GPUs with the Super Instruction Architecture. - Nakul Jindal; Victor Lotrich; Erik Deumens; Beverly A. Sanders (Int. J. Parallel Program., 2016)

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 (IPDPS, 2017)