Beverly A. Sanders

40 papers A* 3A 7B 1Misc 1Journal 18Unranked 9

Year	Rank	Type	Title / Venue / Authors
2017	A	`conf`	Aces4: A Platform for Computational Chemistry Calculations with Extremely Large Block-Sparse Arrays. IPDPS Beverly A. Sanders, Jason N. Byrd, Nakul Jindal, Victor F. Lotrich, Dmitry I. Lyakh, Ajith Perera, Rodney J. Bartlett
2016	J	`jnl`	Exploiting GPUs with the Super Instruction Architecture. Int. J. Parallel Program. Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders
2014	—	`conf`	Abstract interpretation: testing at scale without testing at scale. SE-HPCCSE@SC Nakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders
2013	A	`conf`	SIPMaP: A Tool for Modeling Irregular Parallel Computations in the Super Instruction Architecture. IPDPS Nakul Jindal, Victor Lotrich, Erik Deumens, Beverly A. Sanders
2012	J	`jnl`	JRF-E: using model checking to give advice on eliminating memory model-related bugs. Autom. Softw. Eng. Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
2012	A	`conf`	Java Memory Model-Aware Model Checking. TACAS Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders
2010	A	`conf`	A Block-Oriented Language and Runtime System for Tensor Algebra with Very Large Arrays. SC Beverly A. Sanders, Rodney J. Bartlett, Erik Deumens, Victor Lotrich, Mark Ponton
2010	A*	`conf`	JRF-E: using model checking to give advice on eliminating memory model-related bugs. ASE Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
2009	A	`conf`	An infrastructure for scalable and portable parallel programs for computational chemistry. ICS Victor Lotrich, Norbert Flocke, Mark Ponton, Beverly A. Sanders, Erik Deumens, Rodney J. Bartlett, Ajith Perera
2009	A*	`conf`	Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking. ASE Kyunghee Kim, Tuba Yavuz-Kahveci, Beverly A. Sanders
2008	B	`conf`	Assertional reasoning about data races in relaxed memory models. PPoPP Beverly A. Sanders, Kyunghee Kim
2008	—	`conf`	Refactoring a language for parallel computational chemistry. WRT@OOPSLA Beverly A. Sanders, Erik Deumens, Victor Lotrich, Mark Ponton
2006	J	`jnl`	A Pattern-based Development Methodology for Communication Protocols. J. Inf. Sci. Eng. YoungJoon Byun, Beverly A. Sanders
2005	Misc	`conf`	A pattern-based development methodology for communication protocols. SAC YoungJoon Byun, Beverly A. Sanders
2005	J	`jnl`	Design of communication protocols using a message transfer pattern. Int. J. Commun. Syst. YoungJoon Byun, Beverly A. Sanders, ChangSup Keum
2002	J	`jnl`	Editorial Note. Formal Methods Syst. Des. Dominique Méry, Beverly A. Sanders
2002	A	`conf`	Workshop Introduction. IPDPS Michel Charpentier, Beverly A. Sanders
2001	J	`jnl`	Parallel programming with a pattern language. Int. J. Softw. Tools Technol. Transf. Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
2001	J	`jnl`	The shortest path in parallel. Inf. Process. Lett. Beverly A. Sanders
2000	—	`conf`	A Pattern Language for Parallel Application Programs (Research Note). Euro-Par Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders
2000	J	`jnl`	Composing leads-to properties. Theor. Comput. Sci. David Meier, Beverly A. Sanders
2000	J	`jnl`	Using atomic await commands to develop concurrent programs in Java. Softw. Concepts Tools Beverly A. Sanders
2000	—	`conf`	Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops Beverly A. Sanders, Dominique Méry
1999	—	`ed.`	Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings IPPS/SPDP Workshops José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey C. Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna
1998	J	`jnl`	Data Refinement of Mixed Specifications. Acta Informatica Beverly A. Sanders
1998	J	`jnl`	Derivation of an Algorithm for Location Management for Mobile Communication Devices. Parallel Process. Lett. Beverly A. Sanders, Berna L. Massingill, Svetlana Kryukova
1997	J	`jnl`	A Predicate Transformer for the Progress Property 'To-Always'. Formal Aspects Comput. Rutger M. Dijkstra, Beverly A. Sanders
1995	J	`jnl`	From Persistent Objects to Object Transmission in Distributed Systems Using Oberon. Softw. Concepts Tools Spyros Lalis, Beverly A. Sanders
1995	J	`jnl`	Predicate Transformers for Reasoning about Concurrent Computation. Sci. Comput. Program. K. Mani Chandy, Beverly A. Sanders
1994	—	`conf`	Adding Concurrency to the Oberon System. Programming Languages and System Architectures Spyros Lalis, Beverly A. Sanders
1994	—	`conf`	Compositional Specifications of Parallel Programs: NondeterministicData Flow. Specification of Parallel Algorithms K. Mani Chandy, Beverly A. Sanders
1991	A*	`conf`	A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). PODC Beverly A. Sanders
1991	J	`jnl`	Eliminating the Substitution Axiom from UNITY Logic. Formal Aspects Comput. Beverly A. Sanders
1991	—	`conf`	On the UNITY Design Decisions. Research Directions in High-Level Parallel Programming Languages Beverly A. Sanders
1990	—	`conf`	Stepwise Refinement of Mixed Specifications of Concurrent Programs. Programming Concepts and Methods Beverly A. Sanders
1989	—	`conf`	Distributed Deadlock Detection and Resolution with Probes. WDAG Beverly A. Sanders, Philipp A. Heuberger
1988	J	`jnl`	An Asynchronous, Distributed Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers Beverly A. Sanders
1988	J	`jnl`	An Incentive Compatible Flow Control Algorithm for Rate Allocation in Computer Networks. IEEE Trans. Computers Beverly A. Sanders
1987	J	`jnl`	The Information Structure of Distributed Mutual Exclusion Algorithms. ACM Trans. Comput. Syst. Beverly A. Sanders
1986	A	`conf`	An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. ICDCS Beverly A. Sanders