David Daly. IBM T. J. Watson Research Center P.O. Box 218 Yorktown Heights, NY

Size: px

Start display at page:

Download "David Daly. IBM T. J. Watson Research Center P.O. Box 218 Yorktown Heights, NY"

Claribel Austin
5 years ago
Views:

1 David Daly IBM T. J. Watson Research Center P.O. Box 218 Yorktown Heights, NY Education University of Illinois, Urbana-Champaign Ph.D. in Electrical Engineering awarded June Advisor: Dr. William H. Sanders. GPA: 3.9/4.0. Thesis: Aggregation and Decomposition Techniques to Solve Large Markov Models. Work Experience University of Illinois, Urbana-Champaign M.S. in Electrical Engineering awarded August Advisor: Dr. William H. Sanders. GPA: 3.9/4.0. Thesis: Connection as a Decomposition Technique. Syracuse University, Syracuse, New York B.S. in Computer Engineering awarded June GPA: 3.9/4.0. IBM T.J. Watson Research Center, Yorktown Heights, New York, 2/05 - present Research Staff Member. Worked on next generation Power processor design since 2008, including the POWER8 microprocessor. The main focus of this work has been the design and performance analysis of the memory subsystem using trace driven, queuing, and spreadsheet analysis. Additional work has focused on system scalability, memory coherence, and network interconnects, as well as system reliability and availability. Previously worked on performance modeling, analysis, and design for a variety of novel computer memory subsystem features. Earlier work focused on the use of large collection of servers in a scale-out configuration. This work included two major pieces: the development of an automated system management and provisioning system called HOP- SCOTCH; and the implementation of and analysis of key computational kernels of financial applications on the BlueGene supercomputer. University of Illinois, Urbana-Champaign, Illinois, 6/98-2/05 Research Assistant. Researched techniques to increase the state-space size of models that could be solved using Markovian techniques. Collaborated with researchers from other universities as well as industrial sponsors. Also contributed to the design and development of the Möbius modeling framework. IBM T.J. Watson Research Center, Hawthorne, NY, 5/01-8/01 Internship. Developed models of service levels in e-commerce systems using Webservices, for the evaluation of service-level agreements. The work was published in DSOM 2002.

2 David Daly 2 Professional Serivce Professional and Honorary Societies Professional Awards and Honors W. M. Keck Institute for Molecular Electronics, Syracuse, NY, 1/98-5/98 Undergraduate Research. Worked on development of a stand-alone timing board as a control unit for the volumetric memory project. Also wrote programs to get accurate timing information for samples from measurement tools. Syracuse University, Syracuse, New York, 8/97-5/98 Teaching Assistant. Led a lab section, held office hours, and graded for two introductory computer engineering classes. CMP Media Inc., Syracuse, New York, 6/97-1/98 Freelance Writer for Network Computing Magazine. Wrote four articles that were published; see below. Intel Corporation, Folsom, California, 1/96-8/96 Co-op. Member of the validation team for the Pentium II processor. Responsible for running tests, triaging results, and debugging failing tests. Maintained the validation environment. Recruited, screened, and trained successor. Intel Corporation, Chandler, Arizona, 6/95-8/95 Co-op. Worked on a project to develop the World Wide Web as a means of maintaining and transferring information between Intel sites. Developed a file transfer utility for use with the Web. Co-organizer: Workshop on High Performance Computational Finance (WHPCF) Held in conjunction with Supercomputing (SC). PC Member for International Workshop on Practical Applications of Stochastic Modelling (PASM) 2004,2005,2008,2009, 2011,2012. Web Chair for the 4th Annual Thomas J. Watson P=ac2 Conference Reviewer for IEEE Transactions on Reliability (2012), The 40th International Symposium on Computer Architecture (ISCA), ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC 2013), Fourteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 09), The 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks DSN07, ACM Transactions on Embedded Computing Systems (TECS) IEEE, Eta Kappa Nu, Tau Beta Pi, Phi Kappa Phi, Golden Key Outstanding Leadership Award: In recognition for founding leadership, dedication, and service to the Watson New Hire Network (2009) Intel FDC-VE (Folsom Development Center - Validation Engineering) Recognition Award: Results and Quality Orientation (1996)

3 David Daly 3 Academic Awards and Honors Summary of Academic Research Rambus Fellowship ( ) Travel Grant for Euro Summer School on Formal Methods and Performance Analysis (2000) NSF Graduate Fellowship Honorable Mention (1999) NDSEG Graduate Fellowship Honorable Mention (1999) IEEE Award for Excellence in Service, Leadership, and Scholarship (1998) Outstanding Achievement Award in Computer Engineering - Syracuse University (1997) National Merit Scholar ( ) Chancellor Scholar - Syracuse University (1993) SUPA (Syracuse University Project Advance) Scholar - Syracuse University (1993) Ph.D. Thesis: Aggregation and Decomposition Techniques to Solve Large Markov Models. Describes a new theory to increase the size of models of discrete event systems that can be solved using existing Markovian analysis techniques. The theory provides a framework to reduce the complexity of a model while ensuring bounds on the error of the model solution. The framework is then used to develop techniques to automatically exploit the theory. Markovian modeling of systems is a technique used to gauge the performance, dependability, and performability of systems. It can be used to aid design decisions by evaluating a range of design options for a range of environments, and it can be used to increase understanding of operational systems. Unfortunately, Markovian modeling is limited by the state-space explosion, which is the exponential growth of the state space of a Markovian model as detail is added to the model.

4 David Daly 4 Journal Publications Invited Papers Aggregation and decomposition techniques can be used to solve, at an acceptable level of accuracy, Markovian models that are more than an order of magnitude more complex than models solvable by current techniques, and the aggregation and decomposition techniques can be automated in many cases. We prove that claim by extending existing aggregation techniques to develop a new partial order that we apply to the solution of large models. In the partial order, if one state is larger than another state, then all of the reward variables will be greater for all instants and intervals of time if the model starts in the first state instead of the second state. We show how the partial order can be computed, how it can be used to generate aggregates and compare aggregates to an original model, and how it can be applied to compositionally defined models. We then use the developed aggregation and decomposition techniques to solve models that would be infeasible to solve otherwise. Master s Thesis: Connection as a Decomposition Technique. Connection is the process of solving models separately and passing the results from one model to other models to be used in their solution. We describe connection as a decomposition technique, to be used in the solution of very large models with behavior at many time scales. Use of connection can lead to greater efficiency in time and space in the solution of large models, at the expense of accuracy. This work analyzes this trade-off for a class of models, including a case study of a real system, and begins the general analysis of connection. Jeffrey Stuecheli, Dimitris Kaseridis, Lizy K. John, David Daly, and Hillery C. Hunter. Coordinating dram and last-level-cache policies with the virtual write queue. IEEE Micro, 31:90 98, Parijat Dube, Li Zhang, David Daly, and Alan Bivens. Performance of large low-associativity caches. ACM SIGMETRICS Performance Evaluation Review, 37(4):11 18, March M. Silva, M. Banikazemi, M. Butrico, D. Daly, S. Guthridge, J. E. Moreira, and W. V. Ruggiero. Scalable data center provisioning and control. IBM Journal of Research and Development, 53(4), D. Daly, P. Buchholz, and W. H. Sanders. A preorder relation for markov reward processes. Statistics and Probability Letters, 77(11): , D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, The Möbius framework and its implementation, IEEE Transactions on Software Engineering, vol. 28, no. 10, October 2002, pp W. H. Sanders, T. Courtney, D. D. Deavours, D. Daly, S. Derisavi, and V. V. Lam, Multi-formalism and multi-solution-method modeling frameworks: The Möbius approach, in Proceedings of the Symposium on Performance Evaluation - Stories and Perspectives, Vienna, Austria, December 5-6, 2003, pp

5 David Daly 5 Highly Refereed Conference Papers W. H. Sanders, C. Polychronopoulos, T. Huang, T. Courtney, D. Daly, D. Deavours, and S. Derisavi, Overview: An integrated framework for performance engineering and resource-aware compilation, in Proceedings of the NSF Next Generation Systems Program Workshop, Fort Lauderdale, FL, April 15, D. Daly and H.W. Cain. Cache restoration for highly partitioned virtualized systems. In High Performance Computer Architecture (HPCA), 2012 IEEE 18th International Symposium on, pages 1 10, feb D. Daly, P. Dube, K. El Maghraoui, D. Poff, and Li Zhang. A hybrid approach for large cache performance studies. In Quantitative Evaluation of Systems (QEST), 2011 Eighth International Conference on, pages 47 56, sept Jeffrey Stuecheli, Dimitris Kaseridis, David Daly, Hillery C. Hunter, and Lizy K. John. The virtual write queue: Coordinating dram and last-level cache policies. In Proceedings of the The ACM IEEE International Symposium on Computer Architecture (ISCA2010), M. Banikazemi, D. Daly, and B. Abali. Sysman: A virtual file system for managing clusters. In Proceedings of the 22nd Large Installation System Administration Conference (LISA 08), pages , San Diego, CA, November D. Daly, P. Buchholz, and W. H. Sanders. Bound-Preserving composition for markov reward models. Third IEEE International Conference on the Quantitative Evaluation of Systems (QEST 2006), Riverside, California, USA, pages , D. Daly, G. Kar, and W. H. Sanders, Modeling of service-level agreements for composed services, in Management Technologies for E-Commerce and E-Business Applications: Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2002, M. Feridun, P. Kropf, and G. Babin, Eds., October 2002, LNCS 2056, pp G. Clark, T. Courtney, D. Daly, D. D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster, The Möbius modeling tool, in Proceedings of the 9th International Workshop on Petri Nets and Performance Models, September 2001, pp D. Daly and W. H. Sanders, A connection formalism for the solution of large and stiff models, in Proceedings of the 34th Annual Simulation Symposium, Seattle, WA, April 2001, pp

6 David Daly 6 Short Conference Papers and Workshop Papers David Daly, Kyung Dong Ryu, and Jose E Moreira. Multi-variate finace kernels in the blue gene supercomputer. In 2008 Workshop on High Performance Computational Finance, WHPCF, Austin, Texas, November IEEE. David Daly, Marcio A. Silva, and Jose E. Moreira. Scalable server provisioning with HOP-SCOTCH. In Parallel and Distributed Processing, IPDPS IEEE International Symposium on, pages 1 8, K. D. Ryu, D. Daly, M. Seminara, S. Song, and P. G. Crumley. Agent multiplication: An economical large-scale testing environment for system management solutions. In Parallel and Distributed Processing, IPDPS IEEE International Symposium on, pages 1 8, D. Daly, J.H. Choi, J.E. Moreira, and A. Waterland. Base operating system provisioning and bringup for a commercial supercomputer. In Parallel and Distributed Processing Symposium, IPDPS IEEE International, pages 1 7, T. Courtney, D. Daly, S. Derisavi, S. Gaonkar, M. Griffith, V. Lam, and W. H. Sanders. The mobius modeling environment: recent developments. Quantitative Evaluation of Systems, QEST Proceedings. First International Conference on the, pages , T. Courtney, D. Daly, S. Derisavi, V. V. Lam, and W. H. Sanders, The Möbius modeling environment, in Tools of the 2003 Illinois International Multiconference on Measurement, Modelling, and Evaluation of Computer- Communication Systems, 2003, pp , Universität Dortmund Fachbereich Informatik research report no. 781/2003. H. Bohnenkamp, T. Courtney, D. Daly, S. Derisavi, H. Hermanns, J.-P. Katoen, R. Klaren, V. V. Lam, and W. H. Sanders, On integrating the Möbius and Modest modeling tools, in Proceedings of the 2003 International Conference on Dependable Systems and Networks, San Francisco, CA, June 22-25, 2003, p D. Daly, D. D. Deavours, J. M. Doyle, P. G. Webster, and W. H. Sanders, Möbius: An extensible tool for performance and dependability modeling, in Computer Performance Evaluation: Modelling Techniques and Tools: Proceedings of the 11th International Conference, TOOLS 2000, Schaumburg, IL, B. R. Haverkort, H. C. Bohnenkamp, and C. U. Smith, Eds., March 2000, LNCS 1786, pp D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, P. G. Webster, and W. H. Sanders, Möbius: An extensible tool for performance and dependability modeling, in Tool Descriptions from the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain, September 6 10, 1999.

7 David Daly 7 Magazine Articles D. Daly, D. D. Deavours, J. M. Doyle, A. J. Stillman, P. G. Webster, and W. H. Sanders, Möbius: An extensible tool for performance and dependability modeling, in Digest of Fast Abstracts presented at the 29th Annual International Symposium on Fault Tolerant Computing (FTCS-29), Madison, Wisconsin, USA, June 15 18, 1999, pp D. Daly, Websniffer acts as a double-edged sword, Network Computing, vol. 9, no. 9, May 15, 1998, p. 46. D. Daly, WebChallenger keeps web servers soaring, Network Computing, vol. 9, no. 3, February 15, 1998, p. 50. D. Daly, Aziza takes web site management to new heights, Network Computing, vol. 8, no. 19, October 15, 1997, p. 48. D. Daly, Web site management tools help get content online and keep users in line, Network Computing, vol. 8, no. 18, October 1, 1997, pp

Tesca Fitzgerald. Graduate Research Assistant Aug

Tesca Fitzgerald. Graduate Research Assistant Aug Tesca Fitzgerald Webpage www.tescafitzgerald.com Email tesca.fitzgerald@cc.gatech.edu Last updated April 2018 School of Interactive Computing Georgia Institute of Technology 801 Atlantic Drive, Atlanta,