Education
Ph.D., Computer Science, Florida State University, August 1999
Dissertation: "Automatic Utilization of Constraints for Timing Analysis"
M.S., Computer Science, Florida State University, December 1995
Thesis: "Predicting Pipeline and Instruction Cache Performance"
B.S., Mathematics, Florida State University, May 1993, magna cum laude
Employment
Furman University, Department of Computer Science, Greenville, SC
Associate Professor
September 2005 - present
Assistant Professor
September 1999 - August 2005
Florida State University, Department of Computer Science, Tallahassee, FL
Teaching and Research Assistant
August 1993 - July 1999
Courses Taught
Introduction to Computer Science I
Introduction to Computer Science II
Introduction to Computing
Discrete Structures for Computer Science
Computer Organization
Computational Theory
Seminar in Computer Science
Independent Study
Research in Computer Science
Assembly Language Programming (FSU)
C for Non-specialists (FSU)
Impact of Computers and Engineering on Society (FSU)
Conference Publications
Christopher A. Healy, David B. Whalley, Marion G. Harmon, "Integrating the Timing Analysis of Pipelining and Instruction Caching", Proceedings of the IEEE Real-Time Systems Symposium, December 1995, pp. 288-297. (33% acceptance rate)
Lo Ko, Christopher Healy, Emily Ratliff, Robert Arnold, David Whalley, Marion Harmon, "Supporting the Specification and Analysis of Timing Constraints", Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1996, pp. 170-178.
Randall T. White, Frank Mueller, Christopher A. Healy, David B. Whalley, Marion G. Harmon, "Timing Analysis for Data Caches and Set-Associative Caches", Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1997, pp. 192-202. (34% acceptance rate)
Christopher A. Healy, Mikael Sjodin, Viresh Rustagi, David Whalley, "Bounding Loop Iterations for Timing Analysis", Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1998, pp. 12-21. (28% acceptance rate)
Christopher Healy and David Whalley, "Tighter Timing Predictions by Automatic Detection and Exploitation of Value Dependent Constraints", Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1999, pp. 79-88. (30% acceptance rate)
Christopher A. Healy, Robert van Engelen, David Whalley "A General Approach for Tight Timing Predictions of Non-Rectangular Loops", WIP Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1999, pp. 11-14.
Emilio Vivancos, Christopher Healy, Frank Mueller, David Whalley, "Parametric Timing Analysis", Proceedings of the ACM SIGPLAN Workshop of Languages, Compilers and Tools for Embedded Systems, June 2001, pp.88-93. (29% acceptance rate)
Wankang Zhao, Prasad Kulkarni, David Whalley, Christopher Healy, Frank Mueller, Gang-Ryung Uh, "Tuning the WCET of Embedded Applications," Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, May 2004, pp. 472-481. (30% acceptance rate)
Wankang Zhao, David Whalley, Christopher Healy, Frank Mueller, "WCET Code Positioning," Proceedings of the IEEE Real-Time Systems Symposium, December 2004, pp. 81-91. (22% acceptance rate)
Wankang Zhao, William Kreahling, David Whalley, Christopher Healy, Frank Mueller, "Improving WCET by Optimizing Worst-Case Paths," Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, March 2005, pp. 138-147. (34% acceptance rate)
Sibin Mohan, Frank Mueller, David Whalley, Christopher Healy, "Timing Analysis for Sensor Network Nodes of the Atmega Processor Family, Proceeding of the IEEE Real-Time and Embedded Technology Applications Symposium, March 2005, pp.405-414. (34% acceptance rate)
Sibin Mohan, Frank Mueller, William Hawkins, Michael Root, Christopher Healy, David Whalley, "Parascale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling," Proceedings of the IEEE Real-Time Systems Symposium, December 2005, to appear.
Journal Publications
Christopher A. Healy, Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon, "Bounding Pipeline and Instruction Cache Performance", IEEE Transactions on Computers, January 1999, pp. 53-70.
Lo Ko, Nagham Al-Yaqoubi, Christopher Healy, Emily Ratliff, Robert Arnold, David Whalley, Marion Harmon, "Timing Constraint Specification and Analysis", Software Practice and Experience, January 1999, pp. 77-98.
Randall T. White, Frank Mueller, Chris Healy, David Whalley, Marion Harmon "Timing Analysis for Data Caches and Wrap-Around-Fill Caches", Real-Time Systems, November 1999, pp. 209-233.
Christopher Healy, Mikael Sjodin, Viresh Rustagi, David Whalley, Robert van Engelsen, "Supporting Timing Analysis by Automatic Bounding of Loop Iterations", Real-Time Systems, May 2000, pp. 129-156.
Christopher A. Healy and David B. Whalley, "Automatic Detection and Exploitation of Branch Constraints for Timing Analysis," IEEE Transactions on Software Engineering, August 2002, pp. 763-781
William H. Hawkins and Christopher A. Healy, "Introducint Practical Applications into a Computational Theory Class," Journal of Computing Sciences in Colleges, December 2004, pp. 219-225. (60% acceptance rate)
Joshua C. Estep and Christopher A. Healy, "A Flexible Tool for Visualizing Assembly Code," Journal of Computing Science in Colleges, February 2005, pp. 55-67. (51% acceptance rate)
Membership in Honorary and Professional Organizations
Phi Beta Kappa
Upsilon Pi Epsilon
Institute of Electrical and Electronics Engineers
IEEE Computer Society
Grant Funding
Co-PI on National Science Foundation grant 0312531: "Collaborative Research: SPARTA: Static Parametric Timing Analysis to Support Dynamic Decisions in Embedded Systems," 2003-2006, $136,000.
Service
Refereed papers for the following events and publications:
ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embeded Systems (LCTES) in 1997, 1998, 2001 and 2003
Real-Time Systems journal in 1999
textbook for Oxford University Press in 1999
Consortium for Computer Sciences in Colleges (Southeast), 2000-present
IEEE Transactions on Software Engineering in 2001
SIGPLAN Conference on Programming Language Design and Implementation in 2002
Euromicro Real-Time Systems Conference in 2002
Member of LCTES Program Committee, 2005.
Member of Student Advisory Board, Florida State University, 1996-1997.(BR>
Member of Nominating Committee, Phi Beta Kappa (Gamma of SC), 1999-2000
Chair of Banquet Committee, Phi Beta Kappa (Gamma of SC), 2000-2005
Member of Cultural Life Program Committee, Furman University, 2000-2005
Faculty sponsor, Upsilon Pi Epsilon (Delta of SC), 2001-2005
|
