Beverly A. Sanders - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2017

Aces4: A Platform for Computational Chemistry Calculations with Extremely Large Block-Sparse ArraysBeverly A. Sanders, Jason N. Byrd, Nakul Jindal, Victor F. Lotrich, Dmitry Lyakh, Ajith Perera, Rodney J. Bartlett. ipps 2017: 555-564 [doi]

2016

Exploiting GPUs with the Super Instruction ArchitectureNakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders. ijpp, 44(2):309-324, 2016. [doi]

2014

Abstract interpretation: testing at scale without testing at scaleNakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders. sc 2014: 1-5 [doi]

2013

SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction ArchitectureNakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders. ipps 2013: 874-884 [doi]

2012

Java Memory Model-Aware Model CheckingHuafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders. TACAS 2012: 220-236 [doi]

JRF-E: using model checking to give advice on eliminating memory model-related bugsKyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. ASE, 19(4):491-530, 2012. [doi]

2010

JRF-E: using model checking to give advice on eliminating memory model-related bugsKyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. ASE 2010: 215-224 [doi]

A Block-Oriented Language and Runtime System for Tensor Algebra with Very Large ArraysBeverly A. Sanders, Rodney J. Bartlett, Erik Deumens, Victor Lotrich, Mark Ponton. sc 2010: 1-11 [doi]

2009

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model CheckingKyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders. ASE 2009: 495-499 [doi]

An infrastructure for scalable and portable parallel programs for computational chemistryVictor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera. ics 2009: 523-524 [doi]

2008

Assertional reasoning about data races in relaxed memory modelsBeverly A. Sanders, Kyunghee Kim. ppopp 2008: 267-268 [doi]

Refactoring a language for parallel computational chemistryBeverly A. Sanders, Erik Deumens, Victor Lotrich, Mark Ponton. OOPSLA 2008: 11 [doi]

2007

::::Reengineering for Parallelism::::: an entry point into PLPP for legacy applicationsBerna L. Massingill, Timothy G. Mattson, Beverly A. Sanders. concurrency, 19(4):503-529, 2007. [doi]

2006

A Pattern-based Development Methodology for Communication ProtocolsYoungJoon Byun, Beverly A. Sanders. jise, 22(2):315-335, 2006. [doi]

2005

Design of communication protocols using a message transfer patternYoungJoon Byun, Beverly A. Sanders, Chang-Sup Keum. ijcomsys, 18(5):465-485, 2005. [doi]

A pattern-based development methodology for communication protocolsYoungJoon Byun, Beverly A. Sanders. SAC 2005: 1524-1528 [doi]

2002

Workshop IntroductionMichel Charpentier, Beverly A. Sanders. ipps 2002: [doi]

Editorial NoteDominique Méry, Beverly A. Sanders. fmsd, 20(1):5, 2002.

2001

Parallel programming with a pattern languageBerna L. Massingill, Timothy G. Mattson, Beverly A. Sanders. STTT, 3(2):217-234, 2001. [doi]

The shortest path in parallelBeverly A. Sanders. ipl, 77(2-4):213-217, 2001. [doi]

2000

1998

Derivation of an Algorithm for Location Management for Mobile Communication DevicesBeverly A. Sanders, Berna L. Massingill, Svetlana Kryukova. ppl, 8(4):473-488, 1998.

Data Refinement of Mixed SpecificationsBeverly A. Sanders. ACTA, 35(2):91-129, 1998. [doi]

1997

A Predicate Transformer for the Progress Property To-Always Rutger M. Dijkstra, Beverly A. Sanders. fac, 9(3):270-282, 1997.

1995

Predicate Transformers for Reasoning about Concurrent ComputationK. Mani Chandy, Beverly A. Sanders. SCP, 24(2):129-148, 1995.

From Persistent Objects to Object Transmission in Distributed Systems Using OberonSpyros Lalis, Beverly A. Sanders. stp, 16(1):12-19, 1995.

1994

Compositional Specifications of Parallel Programs: NondeterministicData FlowK. Mani Chandy, Beverly A. Sanders. dimacs 1994: 51-64

Adding Concurrency to the Oberon SystemSpyros Lalis, Beverly A. Sanders. plsa 1994: 328-344

1991

On the UNITY Design DecisionsBeverly A. Sanders. hlppp 1992: 50-63

A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract)Beverly A. Sanders. podc 1991: 217-230

Eliminating the Substitution Axiom from UNITY LogicBeverly A. Sanders. fac, 3(2):189-205, 1991.

1990

Stepwise Refinement of Mixed Specifications of Concurrent ProgramsBeverly A. Sanders. ifip2 1990: 1-26

1989

Distributed Deadlock Detection and Resolution with ProbesBeverly A. Sanders, Philipp A. Heuberger. wdag 1989: 207-218

1988

An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer NetworksBeverly A. Sanders. TC, 37(7):779-787, 1988.

An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer NetworksBeverly A. Sanders. TC, 37(9):1067-1072, 1988.

1987

The Information Structure of Distributed Mutual Exclusion AlgorithmsBeverly A. Sanders. tocs, 5(3):284-299, 1987. [doi]

1986

An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication NetworksBeverly A. Sanders. icdcs 1986: 314-320

Sign in or sign up to see more results.

runs on WebDSL