Frank Mueller

Department of Computer Science, North Carolina State University, 452 EGRC, Raleigh, NC, 27695-7534
mueller@csc.ncsu.edu, http://moss.csc.ncsu.edu/$\sim$mueller, 919.515.7889



Introduction


Brief Resume

Educational Background

2000 Habilitation Humboldt University Berlin, Germany. Major: Computer Science. Dissertation: ``Efficient Analysis of Temporal Properties for Real-Time Systems''
1994 Ph.D. Florida State University, Tallahassee, Florida. Major: Computer Science. Dissertation: ``Static Cache Simulation and its Applications''
1991 M.S. Florida State University, Tallahassee, Florida. Major: Computer Science. Thesis: ``Avoiding Unconditional Jumps via Code Replication''
1987 B.S. Technical University Berlin, Germany. Major: Computer Science.

Professional Experience

2004 - present Associate Professor, North Carolina State University.
2001 - 2004 Assistant Professor, North Carolina State University.
2001 (Jan-Jul) Computer Scientist, Lawrence Livermore National Laboratory.
1995 - 2000 Assistant Professor, Humboldt University Berlin, Germany.
1994 - 1995 Research Associate (Post-doc), Florida State / Florida A&M University, Tallahassee, Florida.
1991 - 1994 Research Assistant, Department of Computer Science, Florida State University, Florida.
1989 - 1991 Teaching Assistant, Department of Computer Science, Florida State University, Florida
1987 - 1989 Research Assistant, Technical University Berlin, Germany
Summer 1995 Internship, Siemens AG, Berlin, Germany
1983 - 1987 Programmer, SRC Datentechnik Berlin, Germany

Scholarly and Creative Activities

Publications Career Total 7/1/06-6/30-07 Total Total moving PTR Period Submitted
edited books 4 1 1  
ref. journals 18 6 10 2
ref. conferences 52 6 20 1
ref. workshops 23 1 1  
other refereed 8 3 3  
technical reports 24 4 9  
Talks/Presentations Career Total 7/1/05-6/30-06 Total Total moving PTR Period  
panels 1 1 1  
invited 26 2 8  
Funding Career Total 7/1/06-6/30-07 Total Total moving PTR Period Pending
grants $2.9M $2.5M $2.7M $2.0M
donations $75k $1k $8k  
Mentoring Career Total 7/1/06-6/30-07 Total Total moving PTR Period In Progress
PhD chair/co 5 4 5 4
MS chair/co 21 4 6 4
PhD committee 16 13 16 13
MS committee 21 7 10 7
graduate (I.S.) 26 3 7  
undergrad (I.S.) 2      
faculty mentored 3 3 3  
Courses taught Career Total 7/1/06-6/30-07 Total Total moving PTR Period  
reg. graduate 15 2 4  
reg. undergrad 3   1  
Courses created/revised Career Total 7/1/06-6/30-07 Total Total moving PTR Period  
graduate 10 2 3  
undergrad 2      
Other Career Total 7/1/06-6/30-07 Total Total moving PTR Period  
software packages 5 1 1  
major awards 5   1  

Membership in Centers and Beyond


\begin{Ventry}{9999-9999} \par \item[2006-] Director, Center for High-End Syst... ...nct Associate Professor, Computer Science, UNC Chapel Hill, NC \par \end{Ventry}


Membership in Professional Organizations


\begin{Ventry}{9999-9999} \par \item[2007-] Member, IFIP 10.2 WG on Embedded S... ...Standardization Efforts (Threads and Embedded System Profiles) \par \end{Ventry}

Scholarly and Professional Honors

2007/2008 Humboldt Research Fellowship (Humboldt Foundation)
2007 Gelato (IP)$^2$ Award, Innovative Project on Itanium Processors
2007 Best Paper Award at the International Parallel and Distributed Processing Symposium (IPDPS)
2006 IBM Faculty Award
2003 NSF CAREER Award
2003 Best Student Paper Award at the IEEE Real-Time Systems Symposium (RTSS)
2002 Best Paper Award at the International Parallel and Distributed Processing Symposium (IPDPS)
1999-2000 Adviser of Best Master's Thesis at Humboldt-University Berlin in Computer Science
1989-1991 Fulbright-Stipend and Stipend by the Federation of German-American Clubs

Professional Service on Campus


\begin{Ventry}{9999-9999} \par \item[2001-2002] Co-chair, Operating Systems fa... ... group. \par \item[2006-2007] Lead, Systems search committee. \par \end{Ventry}

Professional Service off Campus

Instruction

Scholarly Accomplishments


\begin{Ventry}{9999-9999} \par \item[2001] Donation from Connectix for instruct... ...ded teaching and research with a market value of over \$6,600. \par \end{Ventry}

Instructional Development


\begin{Ventry} % latex2html id marker 190 {9999-9999} \par \item[2001-2002] CS... ...evelopment of new projects to target the Cell BE architecture. \par \end{Ventry}

Teaching Effectiveness

Courses Taught


\begin{smallenumerate} \par \item Humboldt University Berlin: \par \begin{smalle... ...allel Programs (Spring 2005) \par \end{smallenumerate}\par \end{smallenumerate}

Student Evaluations

Semester
Course
Difficulty of Course
Fairness Grading
Course Effectiveness
Recommend Instructor
Instructor Effectiveness
Fall 95
Code Opt.
4.1
N/A
5.0
N/A
4.8
22 students
Dept. Avg.
3.5
N/A
3.9
N/A
3.9
Spring 97
Code Opt.
3.5
N/A
5.0
N/A
4.7
9 students
Dept. Avg.
3.1
N/A
3.9
N/A
3.7
Spring 98
DSM
3.2
N/A
4.6
N/A
4.8
7 students
Dept. Avg.
3.1
N/A
3.7
N/A
3.4
Spring 99
Real-Time
2.9
N/A
4.6
N/A
4.2
11 students
Dept. Avg.
3.0
N/A
3.8
N/A
3.5
Spring 99
Cluster
3.5
N/A
4.5
N/A
4.25
3 students
Dept. Avg.
3.0
N/A
3.8
N/A
3.5
Spring 00
Code Opt.
3.2
N/A
4.0
N/A
4.0
9 students
Dept. Avg.
3.1
N/A
3.9
N/A
3.4
Fall 01
CSC 501
4.35
4.64
4.16
4.41
4.05
62 students
Dept. Avg.
3.64
4.14
3.65
3.96
3.81
Spring 02
CSC 501
4.57
3.79
3.69
3.46
3.77
36 students
Dept. Avg.
3.68
3.99
3.54
3.83
3.69
Fall 02
CSC 714
4.12
4.56
4.12
4.62
4.06
25 students
Dept. Avg.
3.69
4.00
3.63
3.92
3.82
Spring 03
CSC 591C
3.64
4.45
3.90
4.40
4.10
13 students
Dept. Avg.
3.65
4.06
3.57
3.87
3.73
Fall 03
CSC 246-1
4.07
3.52
2.61
2.39
2.64
65 students
Dept. Avg.
3.56
4.03
3.58
3.91
3.79
Fall 03
CSC 246-2
4.03
4.20
3.17
3.20
3.27
51 students
Dept. Avg.
3.56
4.03
3.58
3.91
3.79
Spring 04
CSC 714
3.55
4.55
4.27
4.55
4.45
13 students
Dept. Avg.
3.73
4.07
3.59
3.91
3.80
Fall 04
CSC 246
3.82
4.14
3.68
3.95
3.82
51 students
Dept. Avg.
3.72
4.09
3.62
3.93
3.83
Spring 05
CSC 791
4.07
4.69
4.07
4.36
4.29
15 students
Dept. Avg.
3.73
4.07
3.59
3.89
3.78
Fall 05
CSC 714
3.84
4.53
4.26
4.74
4.47
15 students
Dept. Avg.
3.71
4.11
3.62
3.93
3.82
Spring 06
CSC 501
4.41
4.09
3.88
4.00
4.03
36 students
Dept. Avg.
3.71
4.11
3.62
3.94
3.82
Fall 06
CSC 548
4.33
N/A
3.33
N/A
4.17
36 students
Dept. Avg.
3.90
N/A
3.62
N/A
3.93
Spring 07
CSC 501
4.75
N/A
4.38
N/A
4.31
21 students
Dept. Avg.
3.99
N/A
3.72
N/A
3.93

Computer Science students rate the effectiveness of their instructors each semester on a five point scale where 1 is poor and 5 is outstanding.

Advising Activities

Graduate Committees at Humboldt University Berlin (HUB), Technische Fachhochschule Berlin (TFH), North Carolina State University (NCSU) and University of North Carolina at Chapel Hill (UNC Chapel Hill):

Student Degree Date Chair Member University
Yifan Zhu Ph.D. 8/2005 X   NCSU
Jaydeep Marathe Ph.D. 5/2007 X   NCSU
Harini Ramprasad M.S./Ph.D. est. 2008 X   NCSU
Sibin Mohan M.S./Ph.D. est. 2008 X   NCSU
Chao Wang Ph.D. est. 2009 X   NCSU
Ravi Ramaseshan Ph.D. est. 2010 X   NCSU
Nirmit Desai M.S. 6/2003 X   NCSU
Jaydeep Marathe M.S. 6/2003 X   NCSU
Anita Nagarajan M.S. 8/2003 X   NCSU
Kaustubh Patil M.S. 8/2003 X   NCSU
Kiran Seth M.S. 12/2003 X   NCSU
Vikram Poojary M.S. 5/2004 X   NCSU
Anubhav Dhoot M.S. 7/2004 X   NCSU
Nikola Vouk M.S. 4/2005 X   NCSU
Michael Noeth M.S. 8/2006 X   NCSU
Jyothish Varma M.S. 5/2006 X   NCSU
Ravi Ramaseshan M.S. 6/2007 X   NCSU
Arun Nagarajan M.S. est.12/2007 X   NCSU
Prasun Ratn M.S. est. 5/2008 X   NCSU
Vivek Thakkar M.S. est. 5/2008 X   NCSU
Harsha Girish M.S. est. 5/2008 X   NCSU
Daniel Schulz M.S. 1999 X   HUB
Oliver Bühn M.S. 1999 X   TFH
Karla Müller M.S. 1999 X   HUB
Claus Wagner M.S. 1999 X   HUB
Thomas Röblitz M.S. 2000 X   HUB
Niklas Hahn M.S. 2001 X   HUB
Peter Weisse M.S. 2001 X   HUB

(continued on next page)

Student Degree Date Chair Member University
Mark Toburen (ECE w/ Conte) Ph.D.     X NCSU
Shobhit Kanaujia (ECE w/ Conte) Ph.D.     X NCSU
Mohammed Reza (ECE w/ Conte) Ph.D.     X NCSU
Chad Rosier (ECE w/ Conte) Ph.D.     X NCSU
Khaled Ibrahim (ECE, w/ Byrd) Ph.D. 2003   X NCSU
Siddhartha Shivshankar (ECE w/ Dean) Ph.D.     X NCSU
Aravindh Anantaraman (ECE w/ Rotenberg) Ph.D.     X NCSU
Ali Mahmound (ECE w/ Rotenberg) Ph.D.     X NCSU
Qingzhong Zhao (Physics w/ Bernholc) Ph.D. 2004   X NCSU
Xin Cia (ECE w/ Geringer) Ph.D.     X NCSU
Erin Parker (UNC Chapel Hill w/ Chatterjee) Ph.D. 2004   X UNC Chapel Hill
John Calandrino (UNC Chapel Hill w/ Anderson) Ph.D.     X UNC Chapel Hill
Zhen Yoan (EE w/ Viniotis) Ph.D.     X NCSU
Ajit Chakrapani (CSC w/ Rhee) Ph.D.     X NCSU
Anuradha Vaidyanathan (ECE, w/ Byrd) M.S. 2002   X NCSU
Gautam Gopinathan (ECE, w/ Byrd) M.S. 2003   X NCSU
Vasanth Asokan (ECE, co w/ Dean) M.S. 2003 X X NCSU
Sunil Vangar (ECE, w/ Dean) M.S. 2003   X NCSU
Sudhagar Thiroomulan (ECE, co w/ Dean) M.S.   X X NCSU
Ramnath Venugoplan (ECE, w/ Dean) M.S. 2003   X NCSU
Adarsh Seetharam (ECE, w/ Dean) M.S.     X NCSU
Samir Govilkar (ECE, w/ Dean) M.S.     X NCSU
Warren D'mello (CSC w/ Geringer) M.S. 2002   X NCSU
Vimal Reddy (CSC w/ Geringer) M.S.     X NCSU
Aravindh Anantaraman (ECE w/ Rotenberg) M.S. 2003   X NCSU
Nandini Kappiah (CSC w/ Freeh) M.S. 2005   X NCSU
Mark Femal (CSC w/ Freeh) M.S. 2005   X NCSU
Daniel Smith (CSC w/ Freeh) M.S. 2005   X NCSU
Prachi Gauriar (CSC w/ Xu) M.S.     X NCSU
Pratik Shah (CSC w/ Ning) M.S.     X NCSU
Sreerama Sreepathi (CSC w/ Kumar+Ma) M.S.     X NCSU
Matthias Adelberger M.S. 1996   X HUB
Axel Kühn M.S. 1998   X HUB
Matthias Tief M.S. 1998   X HUB
Diana Popova M.S. 1999   X HUB

Graduate Independent Studies at North Carolina State University:

Student Semester
Jin Lee Fall 2001
Manish Hirlekar Fall 2001
Peng Xu Fall 2001 - Spring 2002
Ajay Dudani Spring 2002
Sangeeta Bhagwanani Spring 2002
Ruhuyyih Mahalati Spring 2002
Ahmet Bilgin Spring 2002
Palash Kasodan Spring 2002 - Fall 2002
Raj Nagarajan Spring 2002 - Spring 2003
Mary Spry Fall 2002
Naveenkumar Muguda Fall 2002
Seema Jethani Fall 2002
Archana Lopelli Fall 2002
Sangram Kadam Spring 2003
Adinarayanan Venkatachalam Spring 2003
Prashanth Ganesan Spring 2003
Shakar Ananthanarayanan Spring 2003
Ajit Warrier Spring 2003
Gautam Gopinathan Fall 2003
Dinesh Dasarathan Spring 2004
Jyothish Varma Fall 2004
Nachiket Deshpande Fall 2005
Gopi Rao Fall 2005
Arun Nagarajan Summer 2006
Prasun Ratn Fall 2006
Vivek Thakkar Fall 2006
Harsha Girish Fall 2007
Shubhraprakash Das Spring 2008
Vijaya Kumar Spring 2008
Raghuveer Raghavendra Spring 2008
Sohan Shetty, Spring 2008
Vinod Chavva Spring 2008

Undergraduate Independent Studies / Senior or Honors Projects at North Carolina State University:

Student Semester
Kyung Chul Lee Spring 2002
Rachana Doshi Spring 2002 - Summer 2003

Cross-Disciplinary Activities


\begin{Ventry}{9999-9999} \par \item[ongoing] also see committee work with ECE ... ...isciplinary course resulting in a corresponding course action. \par \end{Ventry}


Research

Scholarly Accomplishments


Publications

Conferences are considered the most challenging and respected publication venues in Computer Science (even more challenging than journals). In fact, some important works are only published in major conferences in recent years (without intent to submit to journals by the authors).

Acceptance rates are reported for venues when available. Citations represent the non-self citations determined by the web service http://citeseer.nj.nec.com (based on an incomplete online search) and are reported for four or more citations. The true number of citations is higher since Citeseer does not have access to the ACM and IEEE publication databases.

Bibliography

Books

1
S. Brandt and F. Mueller, editors.
Proceedings of the IEEE Real-Time Embedded Technology and Applications Symposium.
IEEE Computer Press, pages 1-260, 2007.

2
F. Mueller, editor.
High-Level Parallel Programming Models and Supportive Environments, volume 2026 of Lecture Notes in Computer Science.
Springer, pages 1-137, 2001.

3
J. Rolim, F. Mueller, A. Zomaya, F. Ercal, F. Ercal, S. Olariu, B. Ravindran, J. Gustafsson, H. Takada, R. Olsson, L. Kale, P. Backman, M. Haines, H. ElGindy, D. Coaromel, S. Chaumette, G. Fox, Y. Pan, K. Li, T. Yang, G. Chiola, G. Conte, L. Mancini, D. Mery, B. Sanders, D. Bhatt, and V. Parsanna, editors.
Parallel and Distributed Processing, volume 1586 of Lecture Notes in Computer Science.
Springer, pages 1-1443, 1999.
Workshop Proceedings of IPPS/SPDP'99.

4
F. Mueller and A. Bestravros, editors.
Languages, Compilers, and Tools for Embedded Systems, volume 1474 of Lecture Notes in Computer Science.
Springer, pages 1-260, 1998.

Journals

5
S. Mohan, F. Mueller W. Hawkins, M. Root, D. Whalley, and C. Healy.
Parametric timing analysis and its application to dynamic voltage scaling.
page (accepted), September 2007.

6
R. Wilhelm, J. Engblohm, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenstrom.
The worst-case execution time problem -- overview of methods and survey of tools.
ACM Transactions on Embedded Computing Systems, page (accepted), January 2007.

7
J. Marathe, F. Mueller, T. Mohan, S. A. McKee, B. R. de Supinski, and A. Yoo.
Source-code correlated cache coherence characterization of openmp benchmarks.
IEEE Transactions on Parallel and Distributed Systems, 18(6):818-834, June 2007.

8
J. Marathe, F. Mueller, T. Mohan, S. A. McKee, B. R. de Supinski, and A. Yoo.
Metric: Memory tracing via dynamic binary rewriting to identify cache inefficiencies.
ACM Transactions on Programming Languages and Systems, 29(2), April 2007.

9
Y. Zhu and F. Mueller.
Exploiting synchronous and asynchronous dvs for feedback edf scheduling on an embedded platform.
ACM Transactions on Embedded Computing Systems, ?(?):(accepted), September 2006.

10
J. Marathe, F. Mueller, and B. R. de Supinski.
Analysis of cache coherence bottlenecks with hybrid hardware/software techniques.
ACM Transactions on Architecture and Code Optimization, 3(4):390-423, December 2006.

11
W. Zhao, W. Kreahling, D. Whalley, C. Healy, and F. Mueller.
Improving wcet by applying worst-case path optimizations.
Real-Time Systems, ?(?):(accepted), ??? 2006.

12
K. Seth, A. Anantaraman, F. Mueller, and E. Rotenberg.
Fast: Frequency-aware static timing analysis.
ACM Transactions on Embedded Computing Systems, 5(1):200-226, February 2006.

13
W. Zhao, D. Whalley, C. Healy, and F. Mueller.
Improving wcet by applying a wc code positioning optimization.
ACM Transactions on Architecture and Code Optimization, 2(4):335-365, December 2005.

14
Y. Zhu and F. Mueller.
Feedback edf scheduling of real-time tasks exploiting dynamic voltage scaling.
Real-Time Systems, 31(1-3):33-63, December 2005.

15
N. Desai and F. Mueller.
Scalable hierarchical locking for distributed systems.
Journal of Parallel Distributed Computing, 64(6):708-724, June 2004.

16
J. Vetter and F. Mueller.
Communication characteristics of large-scale scientific applications for contemporary cluster architectures.
Journal of Parallel Distributed Computing, 63(9):853-865, September 2003.

17
S. Unger and F. Mueller.
Handling irreducible loops: Optimized node splitting vs. dj-graphs.
ACM Transactions on Programming Languages and Systems, 24(4):299-333, July 2002.

18
T. Röblitz, O. Bühn, and F. Mueller.
Legosim: Simulation of embedded kernels over pthreads.
ACM Journal on Educational Resources in Education, 1(2):117-130, March 2002.

19
J. Wegener and F. Mueller.
A comparison of static analysis and evolutionary testing for the verification of timing constraints.
Real-Time Systems, 21(3):241-268, November 2001.

20
F. Mueller.
Timing analysis for instruction caches.
Real-Time Systems, 18(2/3):209-239, May 2000.

21
R. T. White, F. Mueller, C. Healy, D. Whalley, and M. G. Harmon.
Timing analysis for data and wrap-around fill caches.
Real-Time Systems, 17(2/3):209-233, November 1999.

22
C. A. Healy, R. D. Arnold, F. Mueller, D. Whalley, and M. G. Harmon.
Bounding pipeline and instruction cache performance.
IEEE Transactions on Computers, 48(1):53-70, January 1999.

23
Sibin Mohan and Frank Mueller.
Hybrid timing analysis of modern processor pipelines via hardware/software interactions.
In IEEE Real-Time Embedded Technology and Applications Symposium, page (accepted), 2008.

Conferences

24
H. Ramaprasad and F. Mueller.
Bounding worst-case response time for tasks with non-preemptive regions.
In IEEE Real-Time Embedded Technology and Applications Symposium, page (accepted), April 2008.

25
Z. Zhang, C. Wang, S. Vazhkudai, X. Ma, G. Pike, J. Cobb, and F. Mueller.
Optimizing center performance through coordinated data staging, scheduling and recovery.
In Supercomputing, 2007.

26
A. B. Nagarajan and F. Mueller.
Proactive fault tolerance for hpc with xen virtualization.
In International Conference on Supercomputing, June 2007.
Acceptance rate 23%.

27
Y. Zhu and F. Mueller.
Dvsleak: Combining leakage reduction and voltage scaling in feedback edf scheduling.
In ACM SIGPLAN Conference on Language, Compiler, and Tool Support for Embedded Systems, June 2007.
Acceptance rate 26%.

28
M. Noeth, F. Mueller, M. Schulz, and B. R. de Supinski.
Scalable compression and replay of communication traces in massively parallel environments.
In International Parallel and Distributed Processing Symposium, April 2007.
Acceptance rate 26%.

29
C. Wang, F. Mueller, C. Engelmann, and S. Scott.
A job pause service under LAM/MPI+BLCR for transparent fault tolerance.
In International Parallel and Distributed Processing Symposium, April 2007.
Acceptance rate 26%.

30
H. Ramaprasad and F. Mueller.
Tightening the bounds on feasible preemption points.
In IEEE Real-Time Systems Symposium, pages 212-222, December 2006.
Acceptance rate 24%.

31
M. Noeth, F. Mueller, M. Schulz, and B. R. de Supinski.
Scalable compression and replay of communication traces in massively parallel environments.
In Proceedings of the IBM Pa=c$^2$ Conference, October 2006.

32
J. Varma, C. Wang, F. Mueller, C. Engelmann, and S. L. Scott.
Scalable, fault-tolerant membership for MPI tasks on hpc systems.
In International Conference on Supercomputing, pages 219-228, June 2006.
Acceptance rate 26%.

33
H. Ramaprasad and F. Mueller.
Bounding preemption delay within data cache reference patterns for real-time tasks.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 71-80, April 2006.
Acceptance rate 29%.

34
J. Marathe and F. Mueller.
Hardware profile-guided automatic page placement for ccnuma systems.
In ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 90-99, March 2006.
Acceptance rate 27%.

35
Sibin Mohan, Frank Mueller, William Hawkins, Michael Root, Christopher Healy, and David Whalley.
Parascale: Expoliting parametric timing analysis for real-time schedulers and dynamic voltage scaling.
In IEEE Real-Time Systems Symposium, pages 233-242, December 2005.
Acceptance rate 21%.

36
T. Yang, X. Ma, and F. Mueller.
Cross-platform performance prediction of parallel applications
using partial execution.
In Supercomputing, November 2005.
Acceptance rate 24%.

37
Y. Zhu and F. Mueller.
Hybrid leakage and voltage reduction under edf scheduling.
In Proceedings of the IBM Pa=c$^2$ Conference, September 2005.

38
J. Marathe, F. Mueller, and B. R. de Supinski.
A hybrid hardware/software approach to efficiently determine cache coherence bottlenecks.
In International Conference on Supercomputing, pages 21-30, June 2005.
Acceptance rate 27%.

39
N. Zhu, J. Chen, and T.-C. Chiueh.
TBBT: Scalable and accurate trace replay for file server evaluation.
In USENIX Conference on File and Storage Technologies, pages 323-336, December 2005.

40
S. Mohan, F. Mueller, D. Whalley, and C. Healy.
Timing analysis for sensor network nodes of the atmega processor family.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 405-414, March 2005.
Acceptance rate 33%.

41
H. Ramaprasad and F. Mueller.
Bounding worst-case data cache behavior by analytically deriving cache reference patterns.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 148-157, March 2005.
Acceptance rate 33%.

42
W. Zhao, W. Kreahling, D. Whalley, C. Healy, and F. Mueller.
Improving wcet by optimizing worst-case paths.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 138-147, March 2005.
Acceptance rate 33%.

43
A. Anantaraman, K. Seth, K. Patil, E. Rotenberg, and F. Mueller.
Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (visa).
In IEEE Real-Time Systems Symposium, pages 114-125, December 2004.
Acceptance rate 22%.

44
A. Anantaraman, A. Mahmoud, R. Venkatesan, Y. Zhu, and F. Mueller.
Edf-dvs scheduling on the ibm embedded powerpc 405lp.
In Proceedings of the IBM Pa=c$^2$ Conference, October 2004.

45
W. Zhao, D. Whalley, C. Healy, and F. Mueller.
Wcet code positioning.
In IEEE Real-Time Systems Symposium, pages 81-91, June 2004.
Acceptance rate 22%.

46
J. Marathe, A. Nagarajan, and F. Mueller.
Detailed cache coherence characterization for openmp benchmarks.
In International Conference on Supercomputing, pages 287-297, June 2004.
Acceptance rate 22%.

47
Y. Zhu and F. Mueller.
Feedback edf scheduling exploiting dynamic voltage scaling.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 84-93, May 2004.
Acceptance rate 30%.

48
W. Zhao, P. Kulkarni, D. Whalley, C. Healy, F. Mueller, and G.-R. Uh.
Tuning the wcet of embedded applications.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 472-481, May 2004.
Acceptance rate 30%.

49
K. Patil, K. Seth, and F. Mueller.
Compositional static instruction cache simulation.
In ACM SIGPLAN Conference on Language, Compiler, and Tool Support for Embedded Systems, pages 136-145, June 2004.
Acceptance rate 23%.

50
K. Seth, A. Anantaraman, F. Mueller, and E. Rotenberg.
Fast: Frequency-aware static timing analysis.
In IEEE Real-Time Systems Symposium, pages 40-51, December 2003.
Acceptance rate 17%.

51
Tushar Mohan, Bronis R. de Supinski, Sally A. McKee, Frank Mueller, Andy Yoo, and Martin Schulz.
Identifying and exploiting spatial regularity in data memory references.
In Supercomputing, November 2003.
Acceptance rate 29%.

52
R. Venugopalan, P. Ganesan, P. Peddabachagari, A. Dean, F. Mueller, and M. Sichitiu.
Encryption overhead for sensor networks and embedded systems: Modeling and analysis.
In Conference on Compilers, Architecture and Synthesis for Embedded Systems, pages 188-197, October 2003.
Acceptance rate 19%.

53
A. Anantaraman, K. Seth, K. Patil, E. Rotenberg, and F. Mueller.
Virtual simple architecture (VISA): Exceeding the complexity limit in safe real-time systems.
In International Symposium on Computer Architecture, pages 250-261, June 2003.
Acceptance rate 20%.

54
N. Desai and F. Mueller.
Scalable distributed conucrrency services for hierarchical locking.
In International Conference on Distributed Computing Systems, pages 530-537, May 2003.
Acceptance rate 18%.

55
N. Desai and F. Mueller.
A log(n) multi-mode locking protocol for distributed systems.
In International Parallel and Distributed Processing Symposium, April 2003.
Acceptance rate 29%.

56
J. Marathe, F. Mueller, T. Mohan, B. R. de Supinski, S. A. McKee, and A. Yoo.
METRIC: Tracking down inefficiencies in the memory hierarchy via binary rewriting.
In International Symposium on Code Generation and Optimization, pages 289-300, March 2003.
Acceptance rate 35%.

57
A. Dudani, F. Mueller, and Y. Zhu.
Energy-conserving feedback edf scheduling for embedded systems with real-time constraints.
In ACM SIGPLAN Joint Conference Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), pages 213-222, June 2002.
Acceptance rate 30%.

58
J. Vetter and F. Mueller.
Communication characteristics of large-scale scientific applications for contemporary cluster architectures.
In International Parallel and Distributed Processing Symposium, April 2002.
Acceptance rate 37%.

59
S. Unger and F. Mueller.
Handling irreducible loops: Optimized node splitting vs. dj-graphs.
In Euro-Par 2001 Parallel Processing (Int. Euro-Par Conference), pages 207-220. Springer LNCS 2150, August 2001.
Acceptance rate 33%.

60
T. Röblitz and F. Mueller.
Combining multi-threading with asynchronous communication: A case study with dsm-threads using myrinet via bip and madeleine.
In Myrinet User Group Conference, pages 131-138. INRIA, September 2000.

61
C. Wagner and F. Mueller.
Token-based read/write-locks for distributed mutual exclusion.
In Euro-Par 2000 Parallel Processing (Int. Euro-Par Conference), pages 1185-1195. Springer LNCS 1900, August 2000.
Acceptance rate 28%.

62
D. Schulz and F. Mueller.
A thread-aware debugger with an open interface.
In ACM International Symposium on Software Testing and Analysis, pages 201-211, September 2000.
Acceptance rate 21%.

63
F. Mueller.
Priority inheritance and ceilings for distributed mutual exclusion.
In IEEE Real-Time Systems Symposium, pages 340-349, December 1999.
Acceptance rate 19%.

64
D. Macos and F. Mueller.
The rendezvous is dead - long live the protected object.
In SIGAda'98, pages 287-293, November 1998.

65
F. Mueller and J. Wegener.
A comparison of static analysis and evolutionary testing for the verification of timing constraints.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 179-188, June 1998.
Acceptance rate 28%.

66
F. Mueller.
Prioritized token-based mutual exclusion for distributed systems.
In International Parallel Processing Symposium, pages 791-795, 1998.
Acceptance rate 33%.

67
F. Mueller.
On the design and implementation of DSM-threads.
In Proc. 1997 International Conference on Parallel and Distributed Processing Techniques and Applications, pages 315-324, June 1997.
(invited).

68
R. White, F. Mueller, C. Healy, D. Whalley, and M. Harmon.
Timing analysis for data caches and set-associative caches.
In IEEE Real-Time Embedded Technology and Applications Symposium, pages 192-202, June 1997.
Acceptance rate 27%.

69
F. Mueller.
Supporting Ada 95 passive partitions in a distributed environment.
In Reliable Software Technologies - Ada-Europe '97, pages 218-229. Springer LNCS 1251, June 1997.
Acceptance rate 50%.

70
F. Mueller, V. Rustagi, and T. P. Baker.
Mithos - a real-time micro-kernel threads operating system.
In IEEE Real-Time Systems Symposium, pages 49-54, December 1995.
Acceptance rate 32%.

71
F. Mueller and D. B. Whalley.
Avoiding conditional branches by code replication.
In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 56-66, June 1995.
Acceptance rate 23%.

72
F. Mueller and D. B. Whalley.
Fast instruction cache analysis via static cache simulation.
In Simulation Symposium, pages 105-114, April 1995.
Acceptance rate 50%.

73
R. Arnold, F. Mueller, D. B. Whalley, and M. Harmon.
Bounding worst-case instruction cache performance.
In IEEE Real-Time Systems Symposium, pages 172-181, December 1994.
Acceptance rate 21%.

74
E.W. Giering, F. Mueller, and T.P. Baker.
Features of the gnu Ada runtime library.
In TRI-Ada, pages 93-103, November 1994.

75
F. Mueller and D. B. Whalley.
Efficient on-the-fly analysis of program behavior and static cache simulation.
In B. Le Charlier, editor, Static Analysis Symposium, volume 864 of Lecture Notes in Computer Science, pages 101-115. Springer, September 1994.
Acceptance rate 35%.

76
E.W. Giering, Frank Mueller, and T.P. Baker.
Implementing Ada 9x features using POSIX threads: Design issues.
In TRI-Ada '93 Proceedings, pages 214-228. ACM, September 1993.

77
Frank Mueller.
A library implementation of POSIX threads under UNIX.
In Proceedings of the USENIX Conference, pages 29-41, January 1993.

78
F. Mueller and D. B. Whalley.
Avoiding unconditional jumps by code replication.
In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 322-330, June 1992.
Acceptance rate 20%.

Workshops

79
R. Ramaseshan and F. Mueller.
Toward thread-level speculation for coarse-grained parallelism of regular access patterns.
In Workshop on Programmability Issues for Multi-Core Computers, page (accepted), January 2008.

80
M. Latif, R. Ramaseshan, and F. Mueller.
Soft error protection via fault-resilient data representations.
In Workshop on Silicon Errors in Logic - System Effects, April 2007.

81
F. Mueller.
Timing analysis: In search of multiple paradigms.
In Workshop on Parallel and Distributed Real-Time Systems, April 2004.

82
P. Ganesan, R. Venugopalan, P. Peddabachagari, A. Dean, F. Mueller, and M. Sichitiu.
Analyzing and modeling encryption overhead for sensor network nodes.
In Workshop on Wireless Sensor Networks and Applications, September 2003.

83
Y. Zhu and F. Mueller.
Preemption handling and scalability of feedback dvs-edf.
In Workshop on Compilers and Operating Systems for Low Power, September 2002.

84
J. Marathe and F. Mueller.
Detecting memory performance bottlenecks via binary rewriting.
In Workshop on Binary Translation, September 2002.

85
F. Mueller, T. Mohan, B. R. de Supinski, S. A. McKee, and A. Yoo.
Partial data traces: Efficient generation and representation.
In Workshop on Binary Translation, IEEE Technical Committee on Computer Architecture Newsletter, October 2001.

86
E. Vivancos, C. Healy, F. Mueller, and D. Whalley.
Parametric timing analysis.
In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Embedded Systems, volume 36 of ACM SIGPLAN Notices, pages 88-93, August 2001.
Acceptance rate 29%.

87
F. Mueller.
Fault tolerance for token-based synchronization protocols.
In Workshop on Fault-Tolerant Parallel and Distributed Systems, April 2001.

88
F. Mueller.
Decentralized synchronization for multi-threaded dsms.
In Workshop on Software Distributed Shared Memory, May 2000.

89
F. Mueller, J. Nolte, and A. Schlaefer.
Clix - a hybrid programming environment for distributed objects and distributed shared memory.
In J. Rolim et al., editor, Workshop on High-Level Programming Models and Supportive Environments, volume 1800 of Lecture Notes in Computer Science, pages 285-292. Springer, May 2000.

90
F. Mueller.
Adaptive dsm-runtime behavior via speculative data distribution.
In J. Jose et al., editor, Parallel and Distributed Processing - Workshop on Run-Time Systems for Parallel Programming, volume 1586 of Lecture Notes in Computer Science, pages 553-567. Springer, April 1999.
Acceptance rate 47%.

91
F. Mueller.
Timing predictions for multi-level caches.
In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, pages 29-36, June 1997.
Acceptance rate 75%.

92
F. Mueller.
Generalizing timing predictions to set-associative caches.
In EuroMicro Workshop on Real-Time Systems, pages 64-71, June 1997.
Acceptance rate 50%.

93
F. Mueller.
Distributed shared-memory threads: DSM-threads.
In Workshop on Run-Time Systems for Parallel Programming, pages 31-40, April 1997.
Acceptance rate 54%.

94
F. Mueller.
Prioritized token-based mutual exclusion for distributed systems.
In Workshop on Parallel and Distributed Real-Time Systems, pages 72-80, April 1997.
Acceptance rate 40%.

95
F. Mueller.
Compiler support for software-based cache partitioning.
In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, pages 137-145, June 1995.
Acceptance rate 50%.

96
F. Mueller and D. B. Whalley.
Real-time debugging by minimal hardware simulation.
In PEARL Workshop über Realzeitsysteme, pages 68-76, December 1994.

97
F. Mueller and D. B. Whalley.
On debugging real-time applications.
In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June 1994.
Acceptance rate 60%.

98
F. Mueller, D. B. Whalley, and M. Harmon.
Predicting instruction cache behavior.
In ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, June 1994.
Acceptance rate 24%.

99
T. P. Baker, F. Mueller, and Viresh Rustagi.
Experience with a prototype of the POSIX ``minimal realtime system profile''.
In IEEE Workshop on Real-Time Operating Systems and Software, pages 12-16, 1994.

100
Frank Mueller.
Implementing POSIX threads under UNIX: Description of work in progress.
In Proceedings of the Second Software Engineering Research Forum, pages 253-261, November 1992.

101
F. Mueller.
Keeping track of time without a clock.
In IEEE Workshop on Real-Time Operating Systems and Software, pages 120-122, 1992.

102
K. Kerce and F. Mueller.
Heuristic link networks.
In Workshop on Neural Networks: Academic/Industrial/NASA/Defense (WNN-AIND), pages 333-338, February 1990.

Other Publications

103
Christian Engelmann, Stephen L. Scott, David E. Bernholdt, Narasimha R. Gottumukkala, Chokchai Leangsuksun, Jyothish Varma, Chao Wang, Frank Mueller, Aniruddha G. Shet, and P. Sadayappan.
Molar: adaptive runtime support for high-end computing operating and runtime systems.
ACM SIGOPS Operating Systems Review, 40(2):63-72, April 2006.

Talks / Posters / Work in Progress

104
T. Gamblin, P. Ratn, B. de Supinski, M. Schulz, F. Mueller, R. Fowler, and D. Reed.
An open framework for scalable, reconfigurable performance analysis.
In SC Poster Session, November 2007.

105
J. Marathe and F. Mueller.
Hardware profile-guided automatic page placement for ccnuma systems.
In Gelato ICE Itanium Conference & Expo, page (talk), April 2007.

106
S. Mohan and F. Mueller.
Checkermode: A hybrid scheme for timing analysis of modern processor piepelines involving hardware/software interactions.
In Work in Progress at IEEE Real-Time Embedded Technology and Applications Symposium, pages 40-43, April 2007.

107
M. Noeth, F. Mueller, M. Schulz, and B. R. de Supinski.
Scalable compression and replay of communication traces in massively parallel environments.
In SC Poster Session, November 2006.

108
K. Seth, A. Anantaraman, F. Mueller, and E. Rotenberg.
Real-time scheduling for a virtual simple architecture (visa).
In Work in Progress at IEEE Real-Time Systems Symposium, pages 129-132, December 2003.

109
N. Desai and F. Mueller.
Distributed hierarchical locking with real-time priorities.
In Work in Progress at IEEE Real-Time Systems Symposium, pages 129-132, December 2003.

110
N. Desai and F. Mueller.
A brief overview of scalable distributed concurrency services for hierarchical locking.
In Poster in Joint ACM Java Grande / ISCOPE Conference, November 2002.

111
B. R. de Supinski, A. Yoo, F. Mueller, and S. A. McKee.
Benchmarking smp memory systems performance.
In SCICOMP 4 (IBM SP Scientific Computing User Group), October 2001.

112
D. Macos and F. Mueller.
Integrating Gnat/Gcc into a timing analysis environment.
In Work in Progress Session at EuroMicro Workshop on Real-Time Systems, pages 15-18, June 1998.

Technical Reports

113
R. Wilhelm, J. Engblohm, A. Ermedahl, N. Holsti, S. Thesing, D. Whalley, G. Bernat, C. Ferdinand, R. Heckmann, T. Mitra, F. Mueller, I. Puaut, P. Puschner, J. Staschulat, and P. Stenstrom.
The worst-case execution time problem -- overview of methods and survey of tools.
Technical Report MRTC report ISSN 1404-3041 ISRN MDH-MRTC-209/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March 2007.

114
M. Latif, R. Ramaseshan, and F. Mueller.
Soft error protection via fault-resilient data representations.
Technical Report TR 2007-10, Dept. of Computer Science, North Carolina State University, 2007.

115
A. B. Nagarajan and F. Mueller.
Proactive fault tolerance for hpc with xen virtualization.
Technical Report TR 2007-1, Dept. of Computer Science, North Carolina State University, 2007.

116
Daniel M. Smith, Vincent W. Freeh, and Frank Mueller.
Asymmetric multiprocessing for simultaneous multithreading processors.
Technical Report TR 2006-13, Dept. of Computer Science, North Carolina State University, 2006.

117
H. Ramaprasad and F. Mueller.
Tightening the bounds on feasible preemption points.
Technical Report TR 2005-48, Dept. of Computer Science, North Carolina State University, 2005.

118
T. Yang, X. Ma, and F. Mueller.
Predicting parallel applications' performance across platforms using partial execution.
Technical Report TR 2005-16, Dept. of Computer Science, North Carolina State University, 2005.

119
Y. Zhu and F. Mueller.
Feedback edf scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling.
Technical Report TR 2004-35, Dept. of Computer Science, North Carolina State University, 2004.

120
A. Anantaraman, K. Seth, K. Patil, E. Rotenberg, and F. Mueller.
Exploiting visa for higher concurrency in safe real-time systems.
Technical Report TR 2004-15, Dept. of Computer Science, North Carolina State University, 2004.

121
A. Nagarajan, J. Marathe, and F. Mueller.
Detailed cache coherence characterization for openmp benchmarks.
Technical Report TR 2004-6, Dept. of Computer Science, North Carolina State University, 2004.

122
Tushar Mohan, Bronis R. de Supinski, Sally A. McKee, Frank Mueller, Andy Yoo, and Martin Schulz.
Identifying and exploiting spatial regularity in data memory references.
Technical Report TR UCRL-JC-154597, Lawrence Livermore National Laboratory, July 2003.

123
Y. Zhu and F. Mueller.
Feedback dynamic voltage scaling dvs-edf scheduling: Correctness and pid-feedback.
Technical Report TR 2003-13, Dept. of Computer Science, North Carolina State University, 2003.

124
S. A. McKee, B. R. de Supinski, F. Mueller, and G. Tyson.
Memory system technologies for future high-end computing systems.
Technical Report TR UCRL-ID-153361, Lawrence Livermore National Laboratory, May 2003.

125
T. Röblitz, O. Bühn, and F. Mueller.
Simulation of embedded micro-kernels over pthreads.
TR 148, Inst. f. Informatik, Humbolt University Berlin, January 2001.

126
F. Mueller, J. Nolte, and A. Schlaefer.
Clix - a hybrid programming environment for distributed objects and distributed shared memory.
TR 147, Inst. f. Informatik, Humbolt University Berlin, January 2001.

127
S. Unger and F. Mueller.
Handling irreducible loops: Optimized node splitting vs. dj-graphs.
TR 146, Inst. f. Informatik, Humbolt University Berlin, January 2001.

128
F. Mueller.
Real-time schedulability analysis for ada.
TR 145, Inst. f. Informatik, Humbolt University Berlin, January 2001.

129
F. Mueller.
Efficient analysis of temporal properties for real-time systems.
Habilitation, Humboldt University Berlin, September 2000.

130
F. Mueller.
Prioritized token-based mutual exclusion for distributed systems.
TR 97, Inst. f. Informatik, Humbolt University Berlin, January 1998.

131
F. Mueller.
Generalizing timing predictions to set-associative caches.
TR 66, Inst. f. Informatik, Humbolt University Berlin, July 1996.

132
F. Mueller, V. Rustagi, and T. P. Baker.
Mythos - a micro-kernel threads operating system.
TR 94-091, Dept. of CS, Florida State University, September 1994.

133
F. Mueller.
Static Cache Simulation and its Applications.
PhD thesis, Dept. of CS, Florida State University, July 1994.

134
F. Mueller and D. B. Whalley.
Fast instruction cache analysis via static cache simulation.
TR 94-042, Dept. of CS, Florida State University, April 1994.

135
F. Mueller, D. B. Whalley, and M. Harmon.
Predicting instruction cache behavior.
TR 93-091, Dept. of CS, Florida State University, September 1993.

136
F. Mueller.
Register allocation by graph coloring: A review.
TR ???, Dept. of CS, Florida State University, April 1992.
URL: ftp://iecc.com/pub/file/mueller.ps.Z.

137
F. Mueller.
Avoiding unconditional jumps by code replication.
Master's thesis, Dept. of CS, Florida State University, April 1991.

The Chancellor has asked faculty to identify the extent of their contributions in their various publications. I do so in the following table (the numbers in the square brackets refer to the publications).

The most reputable work in Computer Science is published at conferences. These conferences often have acceptance rates of 25% or less.

Table 2: Contributions to Publications
 
Sole
Joint Lead
Joint Equal
Joint Minor
Books [2]   [1,4] [3]
Journal Articles [20] [5,12,14,15,17,18,10,9,8,7] [6,16,19,21,22] [13,11,6]
Papers in Major Conference Proceedings [63,66,67,69,77] [23,24,25,26,27,33,34,35,38,39,37,40,41,43,44,46,49,47,50,54,55,56,57,59,60,61,62,64,70,72,75,99,31,30,29,28] [36,43,52,53,58,65,68,71,73,74,76,78] [42,45,48,51]
Papers in Major Symposia and Workshop Proceedings [81,87,88,90,91,92,93,94,95,100,101] [79,113,80,83,84,85,96,97,98] [103,82,89,102] [86]
Refereed Case Studies, Work-in-Progress Sessions, Presentations and Posters   [104,105,106,107,108,109,110,112] [111]  
Miscellaneous External Publications [128,129,130,131,133,136,137] [117,119,120,121,123,125,127,132,134,135,115,114] [116,118,120,126,124] [122]

       


Invited and Contributed Research Presentations

  1. ``Hardware-assisted Memory Tracing and its Benefits for Performance Tuning within the Memory Hierarchy of Shared-Memory HPC Systems'', Virgina Tech, August 25, 2006 and Zuse Institute Berlin, Germany, June 21, 2007.

  2. ``Can Timing Analysis Increase the Acceptance of Real-Time Scheduling Results?'', UNC Chapel Hill, April 21, 2006; Boston University, May 31, 2006.

  3. ``Win-win partnership of academia and industry'', IEEE Real-Time Technology and Applications Symposium/Embedded Systems Conference joint panel, April 6, 2006.

  4. ``Hardware Profile-guided Automatic Page Placement for ccNUMA Systems'', Lawrence Livermore National Laboratory, April 5, 2006.

  5. ``Alleviating Memory Bottlenecks in SMPs'', Distinguished Alumni Lecture Series, Florida State University, October 28, 2005.

  6. ``A Hybrid Hardware/Software Approach to Efficiently Determine Cache Coherence Bottlenecks'', Lawrence Livermore National Laboratory, March 9, 2005.

  7. ``Power Awareness and Timing Safety for Embedded Systems'', IEEE Embedded Systems SIG, November 17, 2004.

  8. ``Detailed Cache Coherence Characterization for OpenMP Benchmarks'', Lawrence Livermore National Laboratory, July 21, 2004, and HP Labs, July 22, 2004.

  9. ``METRIC and ccSIM: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting'', Oak Ridge National Laboratory, September 24, 2003.

  10. ``Systems Research at NCSU'' (with Vincent Freeh), presented to Sun Microsystems, June 19, 2003.

  11. ``METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting'', Lawrence Livermore National Laboratory, March 25, 2003.

  12. ``Scalable Distributed Concurrency Services for Hierarchical Locking'', Oak Ridge National Laboratory, August 29, 2002.

  13. ``SPAN: Shared-Memory Performance Analysis'', Lawrence Livermore National Laboratory, July 29, 2002.

  14. ``Shared-Memory Performance Analysis'', Intel Research, July 22, 2002.

  15. ``Partial Data Traces'', Duke University, February 27, 2002.

  16. ``Research Topics in Embedded Systems'', presented to Semiconductor Research Cooperation (SRC), October 10, 2001, Ericsson, November 5, 2001, Mitsubishi, October 1, 2001, IBM, October 29, 2001, nVidia, December 7, 2001, nVidia, April 5, 2002.

  17. ``Control-flow Optimization by Code Replication'', Humboldt University Berlin, May 31, 2001.

  18. ``Performance Analysis of Large Clusters'', Humboldt University Berlin, May 29, 2001.

  19. ``Transitive Closures in Code Optimizations'', University of San Francisco, April 6, 2001.

  20. ``Efficient Analysis of Temporal Properties for Real-Time Systems'', University of Pittsburg, March 26, 2001, North Carolina State University, March 27, 2001, Oregon Graduate Institute, April 17, 2001, University of York, August, 2001, UNC Chapel Hill, September 21, 2001.

  21. ``PlayDoh, Epic, ... And What's Next?'', Dagstuhl, Germany, September 21, 2000 at a seminar titled ``Code Optimisation: Trends, Challenges and Perspectives''.

  22. ``Realistic Timing Analysis of Real-Time Systems - A Formal Framework, Supporting Protocols, and an Implementation'', University of California at Davis, March 24, 2000, repeated at Computer Science Colloquium, Humboldt University Berlin, May 18, 2000.

  23. ``On the Design and Implementation of DSM-Threads'', Keynote in Workshop on Parallel Computing for Irregular Applications (WPCIA'00) in conjunction with High-Performance Computer Architecture (HPCA-6), Toulouse, France, January 8, 2000.

  24. ``The Design of DSM-Threads'', Free University Berlin, Germany, Computer Science Colloquium, August 9, 1998.

  25. ``Timing Analysis for Set-Associative Instruction Caches'', University of the Saarland, Saarbruecken, Germany, Department of Computer Science, invited by Prof. Wilhelm under DFG-SFB 124 ``Special Research Project for VLSI and Parallelism'', December 12, 1996.

  26. ``Timing Analysis for Real-Time Systems'', Daimler-Chrysler Research Berlin, September 24, 1996; repeated at Tag der Informatik, Humboldt University Berlin, November 7, 1996.

By Invitation-Only Meetings


Appointment to Professional Boards

External Reviews

Recognized Creative and Professional Activities


\begin{Ventry}{9999-9999} \item[N/A] \end{Ventry}

Research Project Record

Ongoing Research Activities

  1. CAREER: Exploiting Binary Rewriting to Analyze and Alleviate CAREER: Exploiting Binary Rewriting to Analyze and Alleviate. PI, funded by NSF CAREER award at $400,000 from 06/03 to 05/08 and NCSU COE/CSC cost sharing at $35,000.

    This proposal addresses problems in exploiting the memory bandwidth of existing architectures for scientific applications by employing techniques of binary rewriting to analyze and optimize an executable dynamically.

  2. SPARTA: Static Parametric Timing Analysis to Support Dynamic Decisions in Embedded Systems. PI, funded by NSF CCR-EHS grant at $130,000 from 9/03-8/06, no-cost extension to 8/07 (full ITR funding at $390,000 with David Whalley, Florida State University, and Christopher Healy, Furman University)

    This project develops novel approaches for statically assessing the execution time of real-time tasks. It also studies opportunities for energy-conscious computing in embedded systems.

  3. Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems. Co-PI (with PI Rotenberg), funded by NSF CCR-CSA grant at $275,000 from 8/03-7/06, no-cost extension to 7/07

    VISA provides a general framework for safe operation on unsafe processors, setting up new opportunities for exploiting higher performance in embedded systems.

  4. ROSES: Runtime/Operating System Synergy to Exploit Simultaneous Multithreading. Co-PI (with Vincent Freeh), funded by NSF-CNS grant at $380,001 from 08/04 to 07/07

    This project exploits simultaneous multithreading in the operating system context with applications to high-performance computing.

  5. Scal-A: Detecting and Alleviating Sources of Scalability Problems. PI (with David Lowenthal, University of Georgia), funded by NSF-CNS grant at $231,652 from 09/04 to 08/07 (full funding of NCSU and UGA: $395,804).

    This project investigates methods to provide the ability for scientific programmers to inquire about scalability problems and correlate this information back to source code.

  6. MOLAR: Modular Linux and Adaptive Runtime Support for HEC OS/R. PI (with lead-PI Stephen Scott, Oak Ridge National Laboratory), funded by DOE Office of Science at $93,708 from 02/05 to 01/08 and NCSU COE/CSC cost sharing at $18,000 (full funding of NCSU, ORNL, LaTech and OSU: $1,200,000).

    This project investigates methods to enhance Linux for high-end computing, specifically in the areas of high availability and scalability.

  7. Prefetching Guided by Cross-Instruction Dynamic Access Patterns on the Power5. PI, funded by IBM (Faculty Award) at $20,000 from 9/06-8/07.

    With processor speeds growing much faster than memory, a large fraction of application execution time is increasingly spent waiting for the memory system to deliver data. In this proposal, we present a data prefetching scheme to ameliorate this problem using hardware support to efficiently identify predictable references to scalars and non-scalars that may benefit from prefetching.

  8. ARO Workshop on Security of Embedded Systems and Networks. Co-PI (w/ Peng Ning), funded by ARO at $21,000 from 9/06-9/07.

    Embedded systems and networks are used heavily in critical defense applications. Malicious or accidental failures in embedded systems can have dire consequences. The integrity of embedded infrastructures, such as configuration and code, is of utmost importance. Embedded systems and networks often have to operate autonomously in a changing environment. Unauthorized or unverified updates to the infrastructure of an embedded system can compromise its integrity. New techniques are needed that allow updates to the infrastructure of an embedded system without violating its integrity. This workshop intends to bring researchers that have expertise in a variety of techniques for ensuring the security and integrity of mission-critical embedded systems and networks.

  9. Online Data Reconstruction for Supercomputers. funded by ORNL at $15,000 from 1/07-6/07.

    This work seeks to build online recovery mechanisms for transient supercomputer job data. With the proposed on-demand data reconstruction, staged input files that are unavailable due to I/O node failures in a parallel file system are transparently patched from source copies using the recovery metadata.

Past Research Activities



Other Funding


\begin{Ventry}{9999-9999} \par \item[2007] {\em Helwett Packard's University Re... ...onjunction with Dr. A. Polze for a number of faculty members. \par \end{Ventry}

Theses Directed


\begin{smallenumerate} \par \item Humboldt University Berlin: \par \begin{Ventry... ...ao Wang \item[2007-] Ravi Ramaseshan \par \end{Ventry}\par \end{smallenumerate}

Graduate Research Assistants


\begin{Ventry}{9999-9999} \item[2001-2005] Yifan Zhu \item[2002-2007] Jaydeep... ...i Ramaseshan \item[2006-] Arun Nagarajan \item[2006-] Prasun Ratn \end{Ventry}

Technology Transfer


\begin{Ventry} % latex2html id marker 1470 {9999-9999} \item[1991-] Code distr... ...\item[2007-] Code distribution of an MPI Trace Compression Library \end{Ventry}

Cross-Disciplinary Activities


\begin{smallenumerate} \item Member of Center for Efficient, Secure and Reliable... ...ics) \item active grants together with Eric Rotenberg (ECE) \end{smallenumerate}

Extension and Public Service Contributions

Scholarly Accomplishments


\begin{Ventry}{9999-9999} \item[N/A] \end{Ventry}

Technology Transfer


\begin{Ventry}{9999-9999} \item[N/A] \end{Ventry}

Recognized Creative and Professional Achievement


\begin{Ventry}{9999-9999} \item[N/A] \end{Ventry}

Public Service


\begin{Ventry}{9999-9999} \item[ongoing] see \lq\lq Appointment to Professional Boar... ... Contest for College Students (supervised Humboldt University team) \end{Ventry}

Cross-Disciplinary Activities


\begin{Ventry}{9999-9999} \item[N/A] \end{Ventry}

Other Contributions

University Service


\begin{Ventry}{9999-9999} \par \item[2001-2002] Co-chair, Operating Systems fa... ...\par \item[2006-2007] Lead, Systems faculty search committee. \par \end{Ventry}

About this document ...

This document was generated using the LaTeX2HTML translator Version 2002-2-1 (1.70)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -no_navigation -split 0 pa2-08.tex

The translation was initiated by Frank Mueller on 2008-01-03

Frank Mueller 2008-01-03