Paul F. Reynolds, Jr.

Professor Emeritus of Computer Science

Office: 212 Rice Hall
Office Phone: (434) 924-1039

US Mail:

Department of Computer Science
Rice Hall, 85 Engineers Way

P.O. Box 400740
University of Virginia,
Charlottesville, VA 22904
USA

After 32 years on the UVa faculty I left in four days at the end of August, 2012. Write me if that intrigues you.

If you're a new PhD thinking about going into academia, or a donor thinking about funding what you recall about academia, feel free to contact me at the email address above.

Favorite academic joke about deans that's not a joke: What do you call an associate dean? A mouse in training to be a rat. [reference: Alan Batson, circa 1980]

Research Interests

Over the span of my 33 year academic career I worked on parallel and distributed computing, with a concentration on parallel and distributed simulation, simulation topics in general, and message ordering guarantees in distributed networks (employing logical time systems --Isotach Networks). My research led to the construction of two separate pieces of special purpose hardware. I conducted and published first known work on methods for creating multi-resolution models, and separately on concurrent writers in concurrent caches and distributed shared memory. More recently I explored managing uncertainty in simulations, computing for the blind and the design of a domain specific language for describing and statically analyzing the observable behaviors of emitters. I supervised 65 graduate degrees, including16 PhD students, and published 100 refereed papers. I supervised many undergraduates on research as well, including a Computing Research Association national runner-up (second place), Erin Carson, on the employment of Dempster-Shafer techniques for uncertainty exploration in simulation. Many of my undergraduate advisees were finalists in the Engineering School's undergraduate thesis competition (URDS) and there were two winners..

The bulk of my work was collaborative, because that's how I love to work. I am forever grateful to the very talented and devoted students with whom I worked during my career at UVa. My students, I bask in your successes.

What Now?

Officially UVa says I'm retired (includes gold parking pass to park anywhere on grounds and an office), but that's only from the university. I'm hardly retired. There's life after professoring. My current CV reads: Professor Emeritus, Expert, Expert, Expert. I continue to work part time for the Army as an expert in modeling and simulation and software analysis. I work with Shine S&T identifying new intellectual property in M&S within the state of Virginia on a small business grant. And I've become an expert in identifying prior art and testifying about it in patent lawsuits, working with the largest patent law firm in the world. (See some of my work on patents 6631449, 6918014 and 5825891 at the PTAB.) On the side I keep advocating for passenger rail. Someday I'll get to all of that wood I harvested from fallen trees around Albemarle County since the 90's, and make some furniture.

Personal

Wife: Craig.
Kids: Patrick (with wife Kristina, and Cecilia), Jefferson (with wife Megan, and Addie) and Catherine (with Sven).
My hobbies include: Sailing, operating model trains, woodworking, kayaking.
I make my own lumber ( saw with Alaskan, cutting, 8/4 pecan slabs ).
One of the best photos I've ever taken.
Some things, like real maple donuts the second/third weekend in March in Monterrey VA, are not to be denied (even Catherine's fingers aren't safe) .

Selected Publications 1997 through 2012:

Dutton, K., Gore, R, Reynolds, P, Investigating Unexpected Outcomes through the Application of Statistical Debuggers, ACM/IEEE Winter Simulation Conference, Dec, 2012.
Gore, R, Reynolds, P, Modifying Test Suites to Enable Effective Predicate-Level Statistical Debugging, In Alwyn Goodloe and Suzette Person, editors, NASA Formal Methods, volume 7226 of Lecture Notes in Computer Science, pages 70-84. Springer Berlin / Heidelberg, 2012.
Gore, R, Reynolds, P, Reducing Confounding Bias in Predicate-level Statistical Debugging Metrics, International Conference on Software Engineering, ICSE, June 2012.
Gore, R, Reynolds, P, Kamensky, D., Statistical Debugging with Elastic Predicates, ACM/IEEE Automated Software Engineering Conference, 2011
Kamensky, D., Gore,R., and Reynolds, P. Applying enhanced fault localization technology to monte carlo simulations. In Proceedings of the 43rd Winter Simulation Conference, WSC '11, pages 2798-2809, San Diego, CA, USA, 2011, finalist, best paper.
Tolk, A., Reynolds, P., Balci, O., Ziegler, B., Standards for Modeling and Simulation, In Proceedings of the 43rd Winter Simulation Conference, WSC '11, San Diego, CA, USA, 2011.
Gore, R, Reynolds, P, Improved Methods and Measures for Computing Dynamic Program Slices in Stochastic Simulations, ACM/IEEE Winter Simulation Conference, Dec, 2010.
Spiegel, M, Reynolds, P, Lock-Free Multiway Search Trees ACM/IEEE International Conference on Parallel Processing, Sept, 2010.
Gore, R, Reynolds, P, INSIGHT : A Methodology for Understanding Unexpected Behaviors in Agent-Based Models, Journal of Simulation, Volume 4, Issue 1, pg. 170. September 2010.
Liuti, S, Honkanen, H, Carnahan, J, Loitiere,Y, Reynolds, P, New Avenue to the Parton Distribution Functions: Self-Organizing Maps, Physical Review.
Gore, R, Reynolds, P, Program Slice Distribution Functions, ACM/IEEEWinter Simulation Conference, Dec, 2009.
Gore, R, Reynolds, P, Causal Program Slicing To Understand Program Behavior, IEEE/SCS Workshop on Principles of Advanced and Distributed Simulation, June 2009.
Gore, R, Reynolds, P, Applying Causal Inference to Understand Emergent Behavior, ACM/IEEE Winter Simulation Conference, Dec, 2008.
Tang, L, and Reynolds, P. “Exploiting User Insight for Efficient Simulation Adaptation” 2008 VMASC Capstone M&S Conference
Spiegel M., Gore,R, and Reynolds, P. “Quantifying and Analyzing Uncertainty in Simulations to Enable User Understanding” 2008 VMASC Capstone M&S Conference. Won Best Paper/Presentation Award in its track.
Tang, L. Reynolds, P,“Agile Optimization for Coercion” ACM/IEEE Winter Simulation Conference, Dec, 2007.
Gore,R, Reynolds, P. “An Exploration-Based Taxonomy For Emergent Behavior Analysis In Simulations” ACM/IEEE Winter Simulation Conference, Dec, 2007.
Carnahan, J, Policastro, S, Carson, E, Reynolds, P, Kelly, R. “Using Flexible Points in a Developing Simulation of Selective Dissolution In Alloys” ACM/IEEE Winter Simulation Conference, Dec, 2007.
Gore, R, Reynolds, P, Tang, L. Brogan, D. “Explanation Exploration: Exploring Emergent Behavior” ACM/IEEE Workshop on Principles of Advanced and Distributed Simulation, June, 2007.
Carnahan,J., Reynolds, P. “Requirements for DDDAS Flexible Point Support” 2006 ACM/IEEE Winter Simulation Conference
Spiegel,M., Reynolds, P., Brogan, D.,“Grand Challenge Case Studies in a Simulation Curriculum” 2006 ACM/IEEE Winter Simulation Conference.
Reynolds, P., Spiegel, M, Liu, X, Gore, R, “Validating Evolving Simulations in COERCE” ICCS, 2007.
David C. Brogan, Paul F. Reynolds, Robert G. Bartholet, Joseph C. Carnahan and Yannick Loitiere, "Semi-Automated Simulation Transformation for DDDAS" Workshop on DDDAS. in Proceedings of the International Conference on Computational Science, pp. 721-728, 2005.
Michael Spiegel, Paul F. Reynolds, and David C. Brogan "A Case Study of Context Assumptions for Simulation Composability and Reusability" Proceedings of the Winter Simulation Conference (WSC), pp. 437-444, 2005.
Joseph C. Carnahan, Paul F. Reynolds, and David C. Brogan "Simulation-Specific Characteristics and Software Reuse" Proceedings of the Winter Simulation Conference (WSC), pp. 2492-2499, 2005.
Robert G. Bartholet, David C. Brogan, Paul F. Reynolds "The Computational Complexity of Component Selection in Simulation Reuse" Proceedings of the Winter Simulation Conference (WSC), pp. 2472-2481, 2005
Giordano, J., Reynolds, P. and Brogan, D., “Exploring The Constraints of Human Behavior Representation,” 2004 ACM/IEEE Winter Simulation Conference.
Reynolds, P., Milner, C., Highley, T., Scalable Personalized Learning, Frontiers in Education, October, 2004.
Carnahan,J., Reynolds, P. and Brogan, D., “Visualizing Coercible Simulations,” 2004 ACM/IEEE Winter Simulation Conference.
Fox, M., Brogan, D. and Reynolds, P., “Approximating Component Selection,” 2004 ACM/IEEE Winter Simulation Conference.
Giordano, J. and Reynolds, P., "WARSIM 2000: A Case for Technological Subject Matter Experts," Journal of Defense Modeling and Simulation, Fall, 2004.
Carnahan,J., Reynolds, P. and Brogan, D.,“Language Support for Identifying Flexible Points in Coercible Simulations” Fall ’04 Simulation Interoperability Wkshp
Waziruddin, S., Brogan, D., Reynolds, P. “Selecting Optimization Techniques in Support of Simulation Transformation” Fall ’04 Simulation Interoperability Wkshp.
Bartholet,R., Carnahan,J., Reynolds, P., Brogan, D.,“Semantics, Scope, or Scale: Simulation Composability Versus Component-Based Software Design” Fall ’04 Simulation Interoperability Workshop
Morse, K., Petty, M., Reynolds, P., Waite, W., and Zimmerman, P., Findings and Recommendations from the 2003 Composable Mission Space Environments Workshop, Spring Simulation Interoperability Workshop, 2004 (WON SIWzie Award)
Tavakoli, A., Chu, D., and Reynolds, P., Richer Semantic Representations of Simulations Using DAML/OWL, Spring Simulation Interoperability Workshop, 2004
Loitiµere,Y., Brogan, D., and Reynolds, P., Simulation Coercion Applied to Multiagent DDDAS, ICCS, June 2004.
Waziruddin, S., Brogan, D., and Reynolds, P. "The Process for Coercing Simulations." Simulation Interoperability Workshop (SIW, Fall 2003 (nominated for SIWzie award)
Carnahan, J., Reynolds, P. and Brogan,D., “An Experiment in Simulation Coercion,” I/ITSEC, December, 2003.
Drewry, D., Reynolds, P. and Emanuel, W,, “An Optimization-Based Multi-Resolution Simulation Methodology,” ACM/IEEE 2002 Winter Simulation Conference, Dec, 2002.
P.F. Reynolds, Jr., “Using Space-Time Constraints to Guide Model Interoperability,” Spring ’02 Simulation Interoperability Workshop, Orlando, April, 2002.
C. Williams, P.F. Reynolds, Jr., and B.R. de Supinski, “Delta Coherence Protocols,” IEEE Concurrency, Spring, 2000.
R. Srinivasa, P.F. Reynolds, Jr., and C. Williams, “ISORULE,” IASTED99, Sept 1999.
A. Natrajan, and P.F. Reynolds, Jr., “Resolving Concurrent Interactions” 3rd Distributed Simulation-Real Time Conference, Aug 1999, Washington DC
S. Srinivasan and P.F. Reynolds, Jr. “Elastic Time,” ACM Trans on Modeling and Computer Simulation, 1998.
P.F. Reynolds, Jr., S. Srinivasan, and A. Natrajan, "Consistency Maintenance in Multi-Resolution Simulations," ACM Trans on Modeling and Computer Simulation, July, 1997.
P.F. Reynolds, Jr., C.C. Williams and Raymond R. Wagner, Jr., "Isotach Networks," IEEE Trans on Parallel and Distributed Systems, April 1997.