Dynamic Analysis and Profiling of Multithreaded Systems - Advanced Operating Systems and Kernel Applications - page 197

London, K., Moore, S., Mucci, P., Seymour,
K., & Luczak, R. (2001, June 18-21). The PAPI
cross-platform interface to hardware performance
counters. In Proceedings of the Department of
Defense Users' Group Conference .

Nethercote, N. (2004). Dynamic binary analysis
and instrumentation . Unpublished doctoral dis-
sertation, University of Cambridge, UK.

Nimmer, J., & Ernst, M. D. (2001). Static verifica-
tion of dynamically detected program invariants:
Integrating Daikon and ESC/Java. In Proceedings
of the 1 st International Workshop on Runtime
Verification. .

Luk, C., Cohn, R., Muth, R., Patil, H., Klauser, A.,
Lowney, G., et al. (2005). Pin: Building custom-
ized program analysis tools with dynamic instru-
mentation. In Proceedings of the ACM SIGPLAN
Conference on Programming Language Design
and Implementation, (pp. 190-200).

Object Computing Incorporated. (2006). A window
into your systems [Electronic media]. Retrieved
March 11, 2008, from http://www.ociweb.com/
products/OVAT I O N Microsoft Corporation. (2007a). Windows server

2003 performance counters reference . Microsoft
TechNet [Electronic media]. Retrieved March
11, 2008, from http://technet2.microsoft.com/
WindowsServer/en/library/3f b01419-b1ab-4f52-
a9f8-09d5ebeb9ef21033.mspx?mfr=true

OMG. (2002). Object Management Group: the
common object request broker: Architecture and
specification, revision 3.0. O M G Te c h n i c a l D o c u -
ments, 02-06-33 [Electronic media]. Retrieved
March 11, 2008, from http://www.omg.org/cgi-
bin/doc?formal/04-03-01 Microsoft Corporation. (2007b). Using the registry

functions to consume counter data . Microsoft
Developer Network [Electronic media]. Retrieved
March 11, 2008, from http://msdn2.microsoft.
com/en-us/library/aa373219.aspx

Pietrik, M. (1998, May). Under the hood. Mi-
crosoft Systems Journal . Retrieved March 11,
2008, from http://www.microsoft.com/msj/0598/
hood0598.aspx

Microsoft Corporation. (2007c). Using the PDH
functions to consume counter data . Microsoft
Developer Network [Electronic media]. Retrieved
March 11, 2008, from http://msdn2.microsoft.
com/en-us/library/aa373214.aspx

Reiss, S. P. (2003). Visualizing Java in action.
In Proceedings of the 2003 ACM Symposium on
Software Visualization , (p. 57).

Reiss, S. P. (2005). Efficient monitoring and
display of thread state in java. In Proceedings of
the IEEE International Workshop on Program
Comprehension (pp. 247-256). St. Louis, MO.

Miller, B.P., Callaghan, M.D., Cargille, J.M.,
Hollingsworth, J.K., Irvin, R.B., & Karavanic,
K.L. (1995, December). The Paradyn parallel
performance measurement tool. IEEE Computer ,
28 (11), 37-46.

Rinard, M. (2001). Analysis of multithreaded
programs . (LNCS 2126, pp. 1-19).

Mock, M. (2003). Dynamic analysis from the bot-
tom up. In Proceedings of the ICSE 2003 Workshop
on Dynamic Analysis (WODA 2003) .

Romer, T., Voelker, G., Lee, D., Wolman, A.,
Wong, W., Levy, H., et al. (1997). Instrumentation
and optimization of Win32/Intel executables using
Etch. In Proceedings of the USENIX Windows
NT Workshop .

Murayama, J. (2001, July). Performance profiling
using TNF. Sun Developer Network . Retrieved
March 11, 2008, from http://developers.sun.com/
solaris/articles/tnf.html

Schmidt, D. C., Natarajan, B., Gokhale, G., Wang,
N., & Gill, C. (2002, February). TAO: A pattern-
oriented object request broker for distributed real-