Beverly A. Sanders

发表

The shortest path in parallel

Beverly A. Sanders, 2001, Inf. Process. Lett..

Semantic Issues for Component Technologies

Beverly A. Sanders, 2001 .

Adding Concurrency to the Oberon System

Spyros Lalis, Beverly A. Sanders, 1994, Programming Languages and System Architectures.

Software design of ACES III with the super instruction architecture

Beverly A. Sanders, Erik Deumens, Victor F. Lotrich, 2011 .

Using atomic await commands to develop concurrent programs in Java

Beverly A. Sanders, 2000, Softw. Concepts Tools.

Reengineering for Parallelism: an entry point into PLPP for legacy applications

Timothy G. Mattson, Beverly A. Sanders, Berna L. Massingill, 2007, Concurr. Comput. Pract. Exp..

Abstract Interpretation: Testing at Scale without Testing at Scale

Junmin Yang, Jason Byrd, Beverly A. Sanders, 2014, 2014 Second International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering.

On Preparing the Super Instruction Architecture and Aces4 for Future Computer Systems

Beverly A. Sanders, Rodney J. Bartlett, Jason N. Byrd, 2017 .

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

Beverly A. Sanders, B. Sanders, 1986, ICDCS.

More Patterns for Parallel Application Programs

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

Reengineering for Parallelism : an entry point into PLPP for legacy applications: Research Articles

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

A pattern language for communication pro - tocols

Beverly A. Sanders, Yong-Ik Byun, K. Chung, 2002 .

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

Beverly A. Sanders, Ajith Perera, Rodney J. Bartlett, 2017, 2017 IEEE International Parallel and Distributed Processing Symposium (IPDPS).

Pattern-based design and validation of communication protocols

Beverly A. Sanders, Youngjoon Byun, B. Sanders, 2003 .

Composing leads-to properties

David Meier, Beverly A. Sanders, 2000, Theor. Comput. Sci..

Distributed Deadlock Detection and Resolution with Probes

Beverly A. Sanders, Philipp A. Heuberger, B. Sanders, 1989, WDAG.

Java Memory Model-Aware Model Checking

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

A Pattern-based Development Methodology for Communication Protocols

Beverly A. Sanders, Youngjoon Byun, 2006 .

A Block-Oriented Language and Runtime System for Tensor Algebra with Very Large Arrays

Beverly A. Sanders, Erik Deumens, Mark Ponton, 2010, 2010 ACM/IEEE International Conference for High Performance Computing, Networking, Storage and Analysis.

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

Beverly A. Sanders, B. Sanders, 1988, IEEE Trans. Computers.

Third International Workshop on Formal Methods for Parallel Programming : Theory and Applications

Dominique Méry, Beverly A. Sanders, 1998 .

A predicate transformer approach to knowledge and knowledge-based protocols

Beverly A. Sanders, 1992 .

An Algorithm for Distributed Location Management in Networks of Mobile Computers

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

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

Beverly A. Sanders, Tuba Yavuz-Kahveci, KyungHee Kim, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

A pattern-based development methodology for communication protocols

YoungJoon Byun, Beverly A. Sanders, 2005, SAC '05.

2014 Second International Workshop on Software Engineering for High Performance Computing in Computational Science & Engineering SE-HPCCSE 2014

Mariano Méndez, Fernando Gustavo Tinetti, Thomas L. Clune, 2014 .

Stepwise Refinement of Mixed Specifications of Concurrent Programs

Beverly A. Sanders, 1990, Programming Concepts and Methods.

An infrastructure for scalable and portable parallel programs for computational chemistry

Beverly A. Sanders, Erik Deumens, Ajith Perera, 2009, ICS '09.

Fifth International Workshop on Formal Methods for Parallel Programming: Theory and Applications FMPPTA 2000

Dominique Méry, Beverly A. Sanders, 2000 .

From Persistent Objects to Object Transmission in Distributed Systems Using Oberon

Spyros Lalis, Beverly A. Sanders, 1995, Softw. Concepts Tools.

The Super Instruction Architecture: A Framework for High-Productivity Parallel Implementation of Coupled-Cluster Methods on Petascale Computers

Beverly A. Sanders, Erik Deumens, Victor F. Lotrich, 2011 .

Compositional Specifications of Parallel Programs: NondeterministicData Flow

K. Mani Chandy, K. M. Chandy, Beverly A. Sanders, 1994, Specification of Parallel Algorithms.

A design pattern language for engineering (parallel) software: merging the PLPP and OPL projects

Kurt Keutzer, Timothy G. Mattson, Beverly A. Sanders, 2010, ParaPLoP '10.

A predicate transformer approach to knowledge and knowledge-based protocols (extended abstract)

Beverly A. Sanders, B. Sanders, 1991, PODC '91.

On the UNITY Design Decisions

Beverly A. Sanders, 1991, Research Directions in High-Level Parallel Programming Languages.

Some Algorithm Structure and Support Patterns for Parallel Application Programs

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

Patterns for parallel programming

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

Data refinement of mixed specifications

Beverly A. Sanders, 1998, Acta Informatica.

A predicate transformer for the progress property ‘to-always’

Beverly A. Sanders, Rutger M. Dijkstra, 2005, Formal Aspects of Computing.

Additional Patterns for Parallel Application Programs

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

Erratum to “Predicate transformers for reasoning about concurrent computation”

K. Mani Chandy, K. M. Chandy, Beverly A. Sanders, 1997 .

JRF-E: using model checking to give advice on eliminating memory model-related bugs

Beverly A. Sanders, Tuba Yavuz-Kahveci, KyungHee Kim, 2010, Automated Software Engineering.

Design of communication protocols using a message transfer pattern: Research Articles

YoungJoon Byun, Beverly A. Sanders, Changsup Keum, 2005 .

SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture

Beverly A. Sanders, Erik Deumens, Nakul Jindal, 2013, 2013 IEEE 27th International Symposium on Parallel and Distributed Processing.

SIMD: an additional pattern for PLPP (pattern language for parallel programming)

Timothy G. Mattson, Beverly A. Sanders, Berna L. Massingill, 2007, PLOP '07.

Refactoring a language for parallel computational chemistry

Beverly A. Sanders, Erik Deumens, Mark Ponton, 2008, WRT '08.

Design of communication protocols using a message transfer pattern

YoungJoon Byun, Beverly A. Sanders, ChangSup Keum, 2005, Int. J. Commun. Syst..

Workshop on Formal Methods for Parallel Programming (FMPPTA 2000)

Dominique Méry, Beverly A. Sanders, 2000, IPDPS Workshops.

Final Report: Super Instruction Architecture for Scalable Parallel Computations

Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, 2013 .

Workshop Introduction

Beverly A. Sanders, Michel Charpentier, 2002, IPDPS.

Irregular’00 Seventh International Workshop on Solving Irregularly Structured Problems in Parallel

Yi Pan, José D. P. Rolim, Frank Mueller, 2000 .

A Pattern Language for Parallel Application Programs (Research Note)

Timothy G. Mattson, Beverly A. Sanders, Berna L. Massingill, 2000, Euro-Par.

A Pat-tern Language for Parallel Programming

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

Parallel programming with a pattern language *

Timothy G. Mattson, Beverly A. Sanders, Berna L. Massingill, 2001, International Journal on Software Tools for Technology Transfer.

Eliminating the substitution axiom from UNITY logic

Beverly A. Sanders, 2005, Formal Aspects of Computing.

Predicate Transformers for Reasoning about Concurrent Computation

K. Mani Chandy, Beverly A. Sanders, 1995, Sci. Comput. Program..

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing

Yi Pan, Dominique Méry, José D. P. Rolim, 1999 .

Reengineering for Parallelism: An Entry Point into PLPP (Pattern Language for Parallel Programming) for Legacy Applications

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

Editorial Note

Dominique Méry, Beverly A. Sanders, Dominique Méry, 2002, Formal Methods Syst. Des..

Design Patterns of Communicating Extended Finite State Machines in SDL

YoungJoon Byun, Beverly A. Sanders, Changsup Keum, 2001 .

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

Beverly A. Sanders, B. Sanders, 1988, IEEE Trans. Computers.

Eliminating the substitution axiom from Unity logic

Beverly A. Sanders, 1990 .

Exploiting GPUs with the Super Instruction Architecture

Beverly A. Sanders, Erik Deumens, Nakul Jindal, 2014, International Journal of Parallel Programming.

An Infrastructure for Scalable Parallel Programs for Computational Chemistry

Beverly A. Sanders, Erik Deumens, Victor F. Lotrich, 2008 .

Assertional reasoning about data races in relaxed memory models

Beverly A. Sanders, KyungHee Kim, 2008, PPOPP.

Molecular cluster perturbation theory. I. Formalism

Beverly A. Sanders, Rodney J. Bartlett, Nakul Jindal, 2014, 1409.2700.

Computing solvated excited states using fragment-effective-field coupled-cluster perturbation theory with application to the electronic spectra of nucleobases in water

Beverly A. Sanders, Rodney J. Bartlett, Jason N. Byrd, 2017 .

Conjunctive predicate transformers for reasoning about concurrent computation

K. Mani Chandy, K. M. Chandy, Beverly A. Sanders, 1993 .

Super instruction architecture of petascale electronic structure software: the story

Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, 2010 .

Patterns for Finding Concurrency for Parallel Application Programs

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