Office: 212 Rice Hall
US Mail:Department of Computer Science
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 technologies 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, including 16 PhD
students. Some are employed by well known academic institutions, including CMU,
and the Univ of Illinois, some have been or are chairs of their departments,
and others have been or are CTOs for major corporations. Others have started their
own companies. I published 100 refereed papers, many of them collaboratively
with my students I supervised and published with
many of UVa's finest 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. I have a very strong record advising and graduating women
and minorities over my career and I'm proud of it.
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.
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 as an
expert with the Army on the topic of software
analysis. I am an expert for Shine S&T most recently identifying new
intellectual property in M&S within the state of Virginia on a
small business grant. And I'm now an expert in
identifying prior art and testifying about it in patent lawsuits.
(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 more furniture.
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.