| 2014 | SC | Abstract interpretation: testing at scale without testing at scale. | Nakul Jindal, Junmin Yang, Victor Lotrich, Jason Byrd, Beverly A. Sanders |
| 2012 | TACAS | Java Memory Model-Aware Model Checking. | Huafeng Jin, Tuba Yavuz-Kahveci, Beverly A. Sanders |
| 2010 | SC | 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 |
| 2009 | ICS | 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 |
| 2008 | OOPSLA | Refactoring a language for parallel computational chemistry. | Beverly A. Sanders, Erik Deumens, Victor Lotrich, Mark Ponton |
| 2008 | PPoPP | Assertional reasoning about data races in relaxed memory models. | Beverly A. Sanders, KyungHee Kim |
| 2005 | SAC | A pattern-based development methodology for communication protocols. | YoungJoon Byun, Beverly A. Sanders |
| 2000 | EuroPar | A Pattern Language for Parallel Application Programs (Research Note). | Berna L. Massingill, Timothy G. Mattson, Beverly A. Sanders |
| 1991 | PODC | A Predicate Transformer Approach to Knowledge and Knowledge-Based Protocols (Extended Abstract). | Beverly A. Sanders |
| 1986 | ICDCS | An Incentive Compatible Flow Control Algorithm for Fair Rate Allocation in Computer/Communication Networks. | Beverly A. Sanders |