Beverly A. Sanders

Publication Activity (10 Years)

Years Active: 1986-2017
Publications (10 Years): 2

Top Topics

Abstract Interpretation

Multi Processor

Computational Chemistry

Top Venues

Autom. Softw. Eng.

Publications

Beverly A. Sanders, Jason N. Byrd, Nakul Jindal, Victor F. Lotrich, Dmitry Lyakh, Ajith Perera, Rodney J. Bartlett
Aces4: A Platform for Computational Chemistry Calculations with Extremely Large Block-Sparse Arrays. IPDPS (2017)
Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders
Exploiting GPUs with the Super Instruction Architecture. Int. J. Parallel Program. 44 (2) (2016)
Nakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders
Abstract interpretation: testing at scale without testing at scale. SE-HPCCSE@SC (2014)
Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders
SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture. IPDPS (2013)
Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders
Java Memory Model-Aware Model Checking. TACAS (2012)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. Autom. Softw. Eng. 19 (4) (2012)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
JRF-E: using model checking to give advice on eliminating memory model-related bugs. ASE (2010)
Beverly A. Sanders, Rodney J. Bartlett, Erik Deumens, Victor Lotrich, Mark Ponton
A Block-Oriented Language and Runtime System for Tensor Algebra with Very Large Arrays. SC (2010)
KyungHee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. ASE (2009)
Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera
An infrastructure for scalable and portable parallel programs for computational chemistry. ICS (2009)
Beverly A. Sanders, KyungHee Kim
Assertional reasoning about data races in relaxed memory models. PPOPP (2008)
Beverly A. Sanders, Erik Deumens, Victor Lotrich, Mark Ponton
Refactoring a language for parallel computational chemistry. WRT@OOPSLA (2008)
Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
: an entry point into PLPP for legacy applications. Concurr. Comput. Pract. Exp. 19 (4) (2007)
YoungJoon Byun, Beverly A. Sanders
A Pattern-based Development Methodology for Communication Protocols. J. Inf. Sci. Eng. 22 (2) (2006)
YoungJoon Byun, Beverly A. Sanders
A pattern-based development methodology for communication protocols. SAC (2005)
YoungJoon Byun, Beverly A. Sanders, ChangSup Keum
Design of communication protocols using a message transfer pattern. Int. J. Commun. Syst. 18 (5) (2005)
Michel Charpentier, Beverly A. Sanders
Workshop Introduction. IPDPS (2002)
Dominique Méry, Beverly A. Sanders
Editorial Note. Formal Methods Syst. Des. 20 (1) (2002)
Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
Parallel programming with a pattern language. Int. J. Softw. Tools Technol. Transf. 3 (2) (2001)
Beverly A. Sanders
The shortest path in parallel. Inf. Process. Lett. 77 (2-4) (2001)
Beverly A. Sanders, Dominique Méry
Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops (2000)
David Meier, Beverly A. Sanders
Composing leads-to properties. Theor. Comput. Sci. 243 (1-2) (2000)
Beverly A. Sanders
Using atomic await commands to develop concurrent programs in Java. Softw. Concepts Tools 19 (4) (2000)
Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
A Pattern Language for Parallel Application Programs (Research Note). Euro-Par (2000)
Beverly A. Sanders
Data Refinement of Mixed Specifications. Acta Informatica 35 (2) (1998)
Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova
Derivation of an Algorithm for Location Management for Mobile Communication Devices. Parallel Process. Lett. 8 (4) (1998)
Rutger M. Dijkstra, Beverly A. Sanders
A Predicate Transformer for the Progress Property 'To-Always'. Formal Aspects Comput. 9 (3) (1997)
Spyros Lalis, Beverly A. Sanders
From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. Softw. Concepts Tools 16 (1) (1995)
K. Mani Chandy, Beverly A. Sanders
Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. 24 (2) (1995)
Spyros Lalis, Beverly A. Sanders
Adding Concurrency to the Oberon System. Programming Languages and System Architectures (1994)
K. Mani Chandy, Beverly A. Sanders
Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms (1994)
Beverly A. Sanders
On the UNITY Design Decisions. Research Directions in High-Level Parallel Programming Languages (1991)
Beverly A. Sanders
A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). PODC (1991)
Beverly A. Sanders
Eliminating the Substitution Axiom from UNITY Logic. Formal Aspects Comput. 3 (2) (1991)
Beverly A. Sanders
Stepwise Refinement of Mixed Specifications of Concurrent Programs. Programming Concepts and Methods (1990)
Beverly A. Sanders, Philipp A. Heuberger
Distributed Deadlock Detection and Resolution with Probes. WDAG (1989)
Beverly A. Sanders
An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37 (7) (1988)
Beverly A. Sanders
An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers 37 (9) (1988)
Beverly A. Sanders
The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Trans. Comput. Syst. 5 (3) (1987)
Beverly A. Sanders
An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. ICDCS (1986)