Publications

Books

  1. "Proceedings of the IEEE Real-Time Embedded Technology and Applications Symposium" by S. Brandt and F. Mueller (eds.) in IEEE Computer Press 2007
  2. "High-Level Parallel Programming Models and Supportive Environments" by F. Mueller (ed.) in Lecture Notes in Computer Science, vol. 2026, Springer 2001
  3. "Parallel and Distributed Processing" (Workshop Proceedings of IPPS/SPDP'99) by J. Rolim and F. Mueller and A. Zomaya and F. Ercal and F. Ercal and S. Olariu and B. Ravindran and J. Gustafsson and H. Takada and R. Olsson and L. Kale and P. Backman and M. Haines and H. ElGindy and D. Coaromel and S. Chaumette and G. Fox and Y. Pan and K. Li and T. Yang and G. Chiola and G. Conte and L. Mancini and D. Mery and B. Sanders and D. Bhatt and V. Parsanna (eds.) in Lecture Notes in Computer Science, vol. 1586, Springer 1999
  4. "Languages, Compilers, and Tools for Embedded Systems" by F. Mueller and A. Bestravros (eds.) in Lecture Notes in Computer Science, vol. 1474, Springer 1998

Journals

  1. "ScalaTrace: Scalable Compression and Replay of Communication Traces in High Performance Computing" by M. Noeth and P. Ratn and F. Mueller and M. Schulz and B. de Supinski, Journal of Parallel and Distributed Computing, V ?, No ?, accepted Sep 2008, pages ???.
  2. "Tightening the Bounds on Feasible Preemptions" by H. Ramaprasad and F. Mueller in ACM Transactions on Embedded Computing Systems, Vol. ?, No. ?, accepted Mar 2008, pages ???.
  3. Parametric Timing Analysis and Its Application to Dynamic Voltage Scaling by S. Mohan and F. Mueller and W. Hawkins and M. Root and D. Whalley and C. Healy in ACM Transactions on Embedded Computing Systems, Vol. ?, No. ?, accepted Sep 2007, pages ???.
  4. "The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools" by 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, P. Stenström in ACM Transactions on Embedded Computing Systems, Vol. 7, No. 3, Apr 2008, pages 1-53.
  5. "Exploiting Synchronous and Asynchronous DVS for Feedback EDF Scheduling on an Embedded Platform" by Y. Zhu and F. Mueller in ACM Transactions on Embedded Computing Systems, Vol. 7, No. 1, Dec 2007, pages 1-26.
  6. "Source-Code Correlated Cache Coherence Characterization of OpenMP Benchmarks" by J. Marathe and F. Mueller in IEEE Transactions on Parallel and Distributed Systems, vol. 18, No. 6, Jun 2007, pages 818-834.
  7. "METRIC: Memory Tracing via Dynamic Binary Rewriting to Identify Cache Inefficiencies" by J. Marathe F. Mueller, T. Mohan, S. McKee, B. de Supinski, A. Yoo in ACM Transactions on Programming Languages, Vol. 29, No. 2, Apr 2007, pages 1-36.
  8. "Analysis of Cache Coherence Bottlenecks with Hybrid Hardware/Software Techniques" by J. Marathe F. Mueller and B. de Supinski in ACM Transactions on Architecture and Code Optimization, Vol. 3, No. 4, Dec 2006, pages 390-423.
  9. "Improving WCET by Applying Worst-case Path Optimizations" by W. Zhao and W. Kreahling and D. Whalley and C. Healy and F. Mueller in Real-Time Systems Journal, Vol. 34, No. 2, Oct 2006, pages 129-152.
  10. "FAST: Frequency-Aware Static Timing Analysis" by K. Seth, A. Anantaraman, F. Mueller, E. Rotenberg in ACM Transactions on Embedded Computing Systems, Vol. 5, No. 1, Feb 2006, pages 200-224.
  11. "Improving WCET by Applying a WC Code Positioning Optimization" by W. Zhao, D. Whalley, C. Healy and F. Mueller in ACM Transactions on Architecture and Code Optimization, Vol 2, No 3, Dec 2005, pages 335-365.
  12. "Feedback EDF Scheduling of Real-Time Tasks Exploiting Dynamic Voltage Scaling" by Y. Zhu and F. Mueller in Real-Time Systems Journal, Vol. 31, No. 1-3, Dec 2005, pages 33-63.
  13. "Scalable Hierarchical Locking for Distributed Systems" by N. Desai and F. Mueller in Journal of Parallel and Distributed Computing, V 64, No 6, Jun 2004, pages 708-724.
  14. "Communication Characteristics of Large-Scale Scientific Applications for Contemporary Cluster Architectures" by J. Vetter and F. Mueller in Journal of Parallel and Distributed Computing, Vol. 63, No. 9, Sep 2003, pages 853-865.
  15. "Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs" S. Unger and Frank Mueller in ACM Transactions on Programming Languages, Vol. 24, No. 4, 2002, pages 299-333.
  16. "LegoSim: Simulation of Embedded Kernels over Pthreads" by T. Röblitz and Oliver Bühn and Frank Mueller in ACM Journal on Educational Resources in Education, Vol. 2, No. 1, 2002, March pages 117-130.
  17. "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints" by J. Wegener and F. Mueller in Real-Time Systems Journal, Vol. 21, No. 3, Nov 2001, pages 241-268
  18. "Timing Analysis for Instruction Caches" by F. Mueller in Real-Time Systems Journal, Vol. 18, No. 2/3, May 2000, pages 209-239
  19. "Timing Analysis for Data and Wrap-Around Fill Caches" by R. T. White and F. Mueller and C. Healy and D. Whalley and M. G. Harmon in Real-Time Systems Journal, Vol. 17, No. 2/3, Nov 1999, pages 209-233
  20. "Bounding Pipeline and Instruction Cache Performance" by C. A. Healy and R. D. Arnold and F. Mueller and D. Whalley and M. G. Harmon in IEEE Transactions on Computers, vol. 48, No. 1, Jan 1999, pages 53-70

Conferences

  1. "Merging State and Preserving Timing Anomalies in Pipelines of High-End Processors" by S. Mohan and F. Mueller in Real-Time Systems Symposium, Dec 2008 (accepted).
  2. "Proactive Process-Level Live Migration in HPC Environments" by C. Wang and F. Mueller in Supercomputing, Nov 2008 (accepted).
  3. "On-the-fly Recovery of Job Input Data in Supercomputers" by C. Wang, Z. Zhang, S. Vazhkudai, X. Ma, and F. Mueller in International Conference on Parallel Processing, Sep 2008 (accepted).
  4. "Preserving Time in Large-Scale Communication Traces" by P. Ratn and F. Mueller and M. Schulz and B. de Supinski in International Conference on Supercomputing, Jun 2008, pages 46-55.
  5. "Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions" byH. Ramaprasad and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, Apr 2008, pages 58-67.
  6. "Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions" by S. Mohan and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, Apr 2008, pages 285-294.
  7. "Optimizing Center Performance through Coordinated Data Staging, Scheduling and Recovery" by Z. Zhang, C. Wang, S. Vazhkudai, X. Ma, G. Pike, J. Cobb and F. Mueller in Supercomputing, Nov 2007.
  8. "Proactive Fault Tolerance for HPC with Xen Virtualization" by A. Nagarajan and F. Mueller and C. Engelmann and S. Scott in International Conference on Supercomputing, Jun 2007, pages 23-32.
  9. "DVSleak: Combining Leakage Reduction and Voltage Scaling in Feedback EDF Scheduling " by Y. Zhu and F. Mueller in ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'07), Jun 2007.
  10. "Scalable Compression and Replay of Communication Traces in Massively Parallel Environments" by M. Noeth and F. Mueller and M. Schulz and B. de Supinski in International Parallel and Distributed Processing Symposium, Mar 2007, Best Paper Award.
  11. "A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance" by C. Wang and F. Mueller and C. Engelmann and S. Scott" in International Parallel and Distributed Processing Symposium, Mar 2007.
  12. "Tightening the Bounds on Feasible Preemption Points" by H. Ramaprasad and F. Mueller in Real-Time Systems Symposium, Dec 2006, pages 212-222.
  13. "Scalable Compression and Replay of Communication Traces in Massively Parallel Environments" by M. Noeth and F. Mueller and M. Schulz and B. de Supinski in P=ac2 Conference, IBM T.J. Watson, Oct 2006.
  14. "Scalable, Fault-Tolerant Membership for MPI Tasks on HPC Systems" by J. Varma, C. Wang, F. Mueller, C. Engelmann and S. Scott in International Conference on Supercomputing, Jun 2006, pages 219-228.
  15. "Bounding Preemption Delay within Data Cache Reference Patterns for Real-Time Tasks" by H. Ramaprasad and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, Apr 2006, pages 71-80.
  16. "Hardware Profile-guided Automatic Page Placement for ccNUMA Systems" by J. Marathe and F. Mueller in ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Mar 2006, pages 90-99.
  17. ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling by S. Mohan and F. Mueller and W. Hawkins and M. Root and D. Whalley and C. Healy in Real-Time Systems Symposium, Dec 2005, pages 233-242.
  18. "Cross-Platform Performance Prediction of Parallel Applications Using Partial Execution" by Tao Yang, Xiaosong Ma and Frank Mueller in Supercomputing, Nov 2005.
  19. "Hybrid Leakage and Voltage Reduction under EDF Scheduling" by Y. Zhu and F. Mueller in P=ac2 Conference, IBM T.J. Watson, Sep 2005.
  20. "A Hybrid Hardware/Software Approach to Efficiently Determine Cache Coherence Bottlenecks" by J. Marathe, F. Mueller and B. de Supinski in International Conference on Supercomputing, Jun 2005, pages 21-30.
  21. "Feedback EDF Scheduling Exploiting Hardware-Assisted Asynchronous Dynamic Voltage Scaling" by Y. Zhu and F. Mueller in ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'05), Jun 2005, pages 203-212.
  22. "Timing Analysis for Sensor Network Nodes of the Atmega Processor Family" by S. Mohan and F. Mueller and D. Whalley and C. Healy in Real-Time and Embedded Technology and Applications Symposium, March 2005, pages 405-414.
  23. "Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns" by H. Ramaprasad and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, March 2005, pages 148-157.
  24. "Improving WCET by Optimizing Worst-Case Paths" by W. Zhao and W. Kreahling and D. Whalley and C. Healy and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, March 2005, pages 138-147.
  25. "Enforcing Safety of Real-Time Schedules on Contemporary Processors using a Virtual Simple Architecture (VISA)" by A. Anantaraman, K. Seth, E. Rotenberg and F. Mueller in IEEE Real-Time Systems Symposium, Dec 2004, pages 114-125.
  26. "EDF-DVS Scheduling on the IBM Embedded PowerPC 405LP" by A. Anantaraman, A. Mahmoud, R. Venkatesan, Y. Zhu and F. Mueller in P=ac2 Conference, IBM T.J. Watson, Oct 2004.
  27. "WCET Code Positioning" by W. Zhao, D. Whalley, C. Healy and F. Mueller in IEEE Real-Time Systems Symposium, Dec 2004, pages 81-91.
  28. "Detailed Cache Coherence Characterization for OpenMP Benchmarks" by J. Marathe, A. Nagarajan and F. Mueller in International Conference on Supercomputing, Jun 2004, pages 287-297.
  29. "Feedback EDF Scheduling Exploiting Dynamic Voltage Scaling" by Y. Zhu and F. Mueller in Real-Time and Embedded Technology and Applications Symposium, May 2004, pages 84-93.
  30. "Tuning the WCET of Embedded Applications" by W. Zhao and P. Kulkarni and D. Whalley and C. Healy and F. Mueller and G.-R. Uh in Real-Time and Embedded Technology and Applications Symposium, May 2004, pages 472-481.
  31. "Compositional Static Instruction Cache Simulation" by K. Patil and K. Seth and F. Mueller in ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Jun 2004, pages 136-145.
  32. "FAST: Frequency-Aware Static Timing Analysis" by K. Seth, A. Anantaraman, F. Mueller, E. Rotenberg in IEEE Real-Time Systems Symposium, Dec 2003, pages 40-51, Best Student Paper Award.
  33. "Identifying and Exploiting Spatial Regularity in Data Memory References" by Tushar Mohan and Bronis R. de Supinski and Sally A. McKee and Frank Mueller and Andy Yoo and Martin Schulz in Supercomputing, Nov 2003.
  34. "Encryption Overhead for Sensor Networks and Embedded Systems: Modeling and Analysis" by Ramnath Venugopalan, Prasanth Ganesan, Pushkin Peddabachagari, Alexander Dean, Frank Mueller and Mihail Sichitiu in Conference on Compiler, Architecture and Synthesis on Embedded Systems (CASES'03), Oct/Nov 2003, pages 188-197.
  35. "Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems" by A. Anantaraman, K. Seth, K. Patil, E. Rotenberg and F. Mueller in International Symposium on Computer Architecture, Jun 2003, pages 350-361.
  36. "Scalable Distributed Concurrency Services for Hierarchical Locking" by N. Desai and F. Mueller in International Conference on Distributed Computing Systems, May 2003, pages 530-537.
  37. "A Log(n) Multi-Mode Locking Protocol for Distributed Systems" by N. Desai and F. Mueller in International Parallel and Distributed Processing Symposium, Apr 2003.
  38. "METRIC: Tracking Down Inefficiencies in the Memory Hierarchy via Binary Rewriting" by J. Marathe, F. Mueller, T. Mohan, B. R. de Supinski, S. A. McKee and A. Yoo in International Symposium on Code Generation and Optimization, Mar 2003, pages 289-300.
  39. "Energy-Conserving Feedback EDF Scheduling for Embedded Systems with Real-Time Constraints" by A. Dudani and F. Mueller and Y. Zhu in ACM SIGPLAN Joint Conference Languages, Compilers, and Tools for Embedded Systems (LCTES'02) and Software and Compilers for Embedded Systems (SCOPES'02), Jun 2002, pages 213-222.
  40. "Communication Characteristics of Large-Scale Scientific Applications for Contemporary Cluster Architectures" by J. Vetter and F. Mueller in International Parallel and Distributed Processing Symposium, Apr 2002, Best Paper Award.
  41. "Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs" by S. Unger and F. Mueller in Euro-Par 2001 Parallel Processing (Int. Euro-Par Conference), Springer LNCS 2150, eds. R. Sakellariou et al., Aug 2001, pages 207-220
  42. "Combining Multi-Threading with Asynchronous Communication: A Case Study with DSM-Threads using Myrinet via BIP and Madeleine" by T. Röblitz and F. Mueller in Myrinet User Group Conference, published by INRIA, Sep 2000, pages 131-138
  43. "Token-based Read/Write-Locks for Distributed Mutual Exclusion" by C. Wagner and F. Mueller in Euro-Par 2000 Parallel Processing (Int. Euro-Par Conference), Springer LNCS 1900, eds. A. Bode et al., Aug 2000, pages 1185-1195
  44. "A Thread-Aware Debugger with an Open Interface" by D. Schulz and F. Mueller in International Symposium on Software Testing and Analysis, published as ACM Software Engineering Notes, Vol. 25, No. 5, Sep 2000, pages 201-211
  45. "Priority Inheritance and Ceilings for Distributed Mutual Exclusion" by F. Mueller in IEEE Real-Time Systems Symposium, Dec 1999, pages 340-349
  46. "The Rendezvous is Dead -- Long Live the Protected Object" by D. Macos and F. Mueller in ACM SIGAda'98, Nov 1998, pages 287-293,38
  47. "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints" by F. Mueller and J. Wegener in Real-Time Technology and Applications Symposium, Jun 1998, pages 179-188
  48. "Prioritized Token-Based Mutual Exclusion for Distributed Systems" by F. Mueller in International Parallel Processing Symposium, Mar 1998, pages 791-795 (slides)
  49. "On the Design and Implementation of DSM-Threads" by F. Mueller in Int. Conference on Parallel and Distributed Processing Techniques and Applications, Jun 1997, pages 315-324 (slides)
  50. "Timing Analysis for Data Caches and Set-Associative Caches" by R. White, F. Mueller, C. Healy, D. Whalley and M. Harmon in Real-Time Technology and Applications Symposium, Jun 1997, pages 192-202
  51. "MithOS -- A Real-Time Micro-Kernel Threads Operating System" by F. Mueller, V. Rustagi and T. P. Baker in IEEE Real-Time Systems Symposium, Dec 1995, pages 49-53
  52. "Avoiding Conditional Branches via Code Replication" by F. Mueller and D. B. Whalley in ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 1995, pages 56-66
  53. "Fast Instruction Cache Analysis via Static Cache Simulation" by F. Mueller and D. B. Whalley in Simulation Symposium, Apr 1995, pages 105-114
  54. "Bounding Worst-Case Instruction Cache Performance" by R. Arnold, F. Mueller, D. B. Whalley and M. Harmon in IEEE Real-Time Systems Symposium, Dec 1994, pages 172-181
  55. "Features of the Gnu Ada Runtime Library" by E. W. Giering, F. Mueller and T. P. Baker in TRI-Ada, Nov 1994, pages 93-103
  56. "Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation" by F. Mueller and D. B. Whalley in Static Analysis Symposium, B. Le Charlier, editor, volume 864 of Lecture Notes in Computer Science, Springer, Sep 1994, pages 101-115
  57. "Implementing Ada 9X features using POSIX Threads: Design Issues" by E.W. Giering, Frank Mueller and T.P. Baker in TRI-Ada, Sep 1993, pages 214-228
  58. "A Library Implementation of POSIX Threads under UNIX" by Frank Mueller in Proceedings of the USENIX Conference, Jan 1993, pages 29-41
  59. "Avoiding Unconditional Jumps by Code Replication" by F. Mueller and D. B. Whalley in ACM SIGPLAN Conference on Programming Language Design and Implementation, Jun 1992, pages 322-330

Workshops

  1. "PFetch: Software Prefetching Exploiting Temporal Predictability of Memory Access Streams" by J. Marathe and F. Mueller in Workshop on MEmory performance: DEaling with Applications, systems and architecture, Oct 2008, pages 1-8.
  2. "An Open Infrastructure for Scalable, Reconfigurable Analysis" by B. de Supinski and Rob Fowler and Todd Gamblin and F. Mueller and P. Ratn and M. Schulz in International Workshop on Scalable Tools for High-End Computing, Jun 2008, pages 39-50.
  3. "Toward Thread-Level Speculation for Coarse-Grained Parallelism of Regular Access Patterns" by Ravi Ramaseshan, Frank Mueller in Workshop on Programmability Issues for Multi-Core Computers, Jan 2008.
  4. "Soft Error Protection via Fault-Resilient Data Representations" by Muhammad M. Latif, Ravi Ramaseshan, Frank Mueller in Workshop on Silicon Errors in Logic - System Effects, Apr 2007.
  5. "Challenges for Cyber-Physical Systems: Security, Timing Analysis and Soft Error Protection" by Frank Mueller in National Workshop on High Confidence Software Platforms for Cyber-Physical Systems: Research Needs and Roadmap (HCSP-CPS), Nov 2006.
  6. "Timing Analysis: In Search of Multiple Paradigms" by F. Mueller in Workshop on Parallel and Distributed Real-Time Systems, Apr 2004.
  7. "Analyzing and Modeling Encryption Overhead for Sensor Network Nodes" by Prasanth Ganesan, Ramnath Venugopalan, Pushkin Peddabachagari, Alexander Dean, Frank Mueller and Mihail Sichitiu in Workshop on Wireless Sensor Networks and Applications (WSNA '03) with MobiCom'03, Sep 2003, pages.
  8. "Preemption Handling and Scalability of Feedback DVS-EDF" by Y. Zhu and F. Mueller in Workshop on Compilers and Operating Systems for Low Power, Sep 2002.
  9. "Detecting Memory Performance Bottlenecks via Binary Rewriting" by J. Marathe and F. Mueller in Workshop on Binary Translation, Sep 2002.
  10. "Partial Data Traces: Efficient Generation and Representation" by F. Mueller and T. Mohan and B. de Supinski and S. McKee and A. Yoo in Workshop on Binary Translation, published in IEEE Technical Committee on Computer Architecture Newsletter, Oct 2001.
  11. "Parametric Timing Analysis" by E. Vivancos, C. Healy, F. Mueller and D. Whalley in ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, ACM SIGPLAN Notices, Aug 2001, pages 88-93
  12. "Fault Tolerance for Token-based Synchronization Protocols" by F. Mueller in International Parallel and Distributed Processing Symposium -- Workshop on Fault-Tolerant Parallel and Distributed Systems, IEEE Press, April 2001
  13. "Decentralized Synchronization for Multi-Threaded DSMs" by F. Mueller in Workshop on Software Distributed Shared Memory, May 2000
  14. "CLIX -- A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory" by F. Mueller and Jörg Nolte and Alexander Schlaefer in Parallel and Distributed Processing -- Workshop on High-Level Parallel Programming Models and Supportive Environments, Springer LNCS 1800, eds. J. Rolim et al., May 2000, pages 285-292
  15. "Adaptive DSM-Runtime Behavior via Speculative Data Distribution" by F. Mueller in Parallel and Distributed Processing -- Workshop on Run-Time Systems for Parallel Programming, Springer LNCS 1586, eds. J. Rolim et al., Apr 1999, pages 553-567 (slides)
  16. "Timing Predictions for Multi-Level Caches" by F. Mueller in ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, Jun 1997, pages 29-36
  17. "Generalizing Timing Predictions to Set-Associative Caches" by F. Mueller in EuroMicro Workshop on Real-Time Systems, Jun 1997, pages 64-71
  18. "Distributed Shared-Memory Threads: DSM-Threads" by F. Mueller in Workshop on Run-Time Systems for Parallel Programming, Apr 1997, pages 31-40 (slides)
  19. "Prioritized Token-Based Mutual Exclusion for Distributed Systems" by F. Mueller in Workshop on Parallel and Distributed Real-Time Systems, Apr 1997, pages 72-80
  20. "Compiler Support for Software-Based Cache Partitioning" by F. Mueller in ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, Jun 1995, pages 137-145
  21. "Real-Time Debugging by Minimal Hardware Simulation" by F. Mueller and D. B. Whalley in PEARL Workshop über Realzeitsysteme, Dec 1994, pages 68-76
  22. "On Debugging Real-Time Applictions" by F. Mueller and D. B. Whalley in ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, Jun 1994
  23. "Predicting Instruction Cache Behavior" by F. Mueller, D. B. Whalley and M. Harmon in ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems, Jun 1994
  24. "Experience with a Prototype of the POSIX ``Minimal Realtime System Profile''" by T. P. Baker, F. Mueller and Viresh Rustagi in IEEE Workshop on Real-Time Operating Systems and Software, May 1994, pages 12-16
  25. "Implementing POSIX Threads under UNIX: Description of Work in Progress" by Frank Mueller in Proceedings of the Second Software Engineering Research Forum, Nov 1992, pages 253-261
  26. "Keeping Track of Time without a Clock" by F. Mueller in IEEE Workshop on Real-Time Operating Systems and Software, May 1992, pages 120-122
  27. "Heuristic Link Networks" by Kingsley Kerce and Frank Mueller in Proceedings of the First Workshop on Neural Networks: Academic/Industrial/NASA/Defense (WNN-AIND), pages 333-338, Feb 1990. Society for Computer Simulation International, San Diego, CA.

Other Publications

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

Technical Reports

  1. "Preserving Timing Anomalies in Pipelines of High-End Processors" by Sibin Mohan and Frank Mueller in TR 2007-13, Dept. of Computer Science, North Carolina State University, May 2008
  2. "Soft Error Protection via Fault-Resilient Data Representations" by Muhammad M. Latif, Ravi Ramaseshan, Frank Mueller in TR 2007-10, Dept. of Computer Science, North Carolina State University, Oct 2007
  3. "Bounding Worst-Case Response Time for Tasks With Non-Preemptive Regions" by Harini Ramaprasad and Frank Mueller in TR 2007-22, Dept. of Computer Science, North Carolina State University, Aug 2007
  4. "The Worst-Case Execution Time Problem - Overview of Methods and Survey of Tools" by 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, P. Stenström in MRTC report ISSN 1404-3041 ISRN MDH-MRTC-209/2007-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, Mar 2007.
  5. "Proactive Fault Tolerance for HPC with Xen Virtualization" A. B. Nagarajan and F. Mueller in TR 2007-1, Dept. of Computer Science, North Carolina State University, Jan 2007.
  6. "Asymmetric Multiprocessing for Simultaneous Multithreading Processors" by Daniel M. Smith, Vincent W. Freeh, Frank Mueller in TR 2006-13, Dept. of Computer Science, North Carolina State University, Jun 2006.
  7. "Tightening the Bounds on Feasible Preemption Points" by Harini Ramaprasad and Frank Mueller in TR 2005-48, Dept. of Computer Science, North Carolina State University, Dec 2005 (rev 1, May 2006).
  8. "Predicting Parallel Applications' Performance Across Platforms Using Partial Execution" by Tao Yang, Xiaosong Ma and Frank Mueller in TR 2005-16, Dept. of Computer Science, North Carolina State University, Mar 2005.
  9. "Feedback EDF Scheduling Exploiting Hardware-Assisted Asynchronous Dynamic Voltage Scaling" by Yifan Zhu and Frank Mueller in TR 2004-35, Dept. of Computer Science, North Carolina State University, Dec 2004.
  10. "Exploiting VISA for Higher Concurrency in Safe Real-Time Systems" by Aravindh Anantaraman, Kiran Seth, Eric Rotenberg and Frank Mueller in TR 2004-15, Dept. of Computer Science, North Carolina State University, May 2004.
  11. "Detailed Cache Coherence Characterization for OpenMP Benchmarks" by A. Nagarajan, J. Marathe, F. Mueller in TR 2004-9, Dept. of Computer Science, North Carolina State University, Mar 2004.
  12. "Identifying and Exploiting Spatial Regularity in Data Memory References" by Tushar Mohan and Bronis R. de Supinski and Sally A. McKee and Frank Mueller and Andy Yoo and Martin Schulz in TR UCRL-JC-154597 by Lawrence Livermore National Laboratory, Jul 2003.
  13. "Feedback Dynamic Voltage Scaling DVS-EDF Scheduling: Correctness and PID-Feedback" by Yifan Zhu and Frank Mueller in CS Dept., North Carolina State University, TR-2003-13, Jun 2003.
  14. "Memory System Technologies for Future High-End Computing Systems" by S. McKee, B. de Supinski, F. Mueller and G. Tyson in Lawrence Livermore National Laboratory, TR UCRL-ID-153361, May 2003.
  15. "Simulation of Embedded Micro-Kernels over Pthreads" by T. Röblitz, Oliver Bühn and F. Mueller in TR 01-148 Institut f. Informatik, Humboldt-University, Jan 2001
  16. "CLIX -- A Hybrid Programming Environment for Distributed Objects and Distributed Shared Memory" by F. Mueller, J. Nolte and A. Schlaefer in TR 01-147 Institut f. Informatik, Humboldt-University, Jan 2001
  17. "Handling Irreducible Loops: Optimized Node Splitting vs. DJ-Graphs" by S. Unger and F. Mueller in TR 01-146 Institut f. Informatik, Humboldt-University, Jan 2001
  18. "Real-Time Schedulability Analysis for Ada" by F. Mueller in TR 01-145 Institut f. Informatik, Humboldt-University, Jan 2001
  19. "Prioritized Token-Based Mutual Exclusion for Distributed Systems" by F. Mueller in TR 98-97 Institut f. Informatik, Humboldt-University, Jan 1998 (revision published in International Parallel Processing Symposium, Mar 1998)
  20. "Generalizing Timing Predictions to Set-Associative Caches" by F. Mueller in TR 96-66 Institut f. Informatik, Humboldt-University, Jul 1996 (revision published in EuroMicro Workshop on Real-Time Systems, Jun 1997)
  21. "Supporting Ada 95 Passive Partitions in a Distributed Environment" by F. Mueller in Reliable Software Technologies -- Ada-Europe '97, Springer LNCS 1251, eds. K. Hardy and J. Briggs, Jun 1997, pages 218-229
  22. "MythOS -- A Micro-Kernel Threads Operating System" by F. Mueller, V. Rustagi and T. P. Baker in TR 94-091 Dept. of CS, Florida State University, Sep 1994 (revision published in Real-Time Systems Symposium 1995)
  23. "Fast Instruction Cache Analysis via Static Cache Simulation" by F. Mueller and D. B. Whalley in TR 94-042 Dept. of CS, Florida State University, Apr 1994 (revision published in Simulation Symposium 1995)
  24. "Predicting Instruction Cache Behavior" by F. Mueller, D. B. Whalley and M. Harmon in TR 93-091 Dept. of CS, Florida State University, Sep 1993 (revision published in ACM SIGPLAN Workshop on Language, Compiler, and Tool Support for Real-Time Systems 1994)
  25. "Register Allocation by Graph Coloring: A Review" by Frank Mueller in TR ??? Dept. of CS, Florida State University, Apr 1992, 1st revision Mar 1993, 2nd revision Aug 1994

Talks / Posters / Work in Progress

  1. A Tunable Holistic Resiliency Approach for High-Performance Computing Systems by S. Scott, C. Engelmann, C. Leangsuksun and F. Mueller , refereed poster at PPoPP, Feb 2009.
  2. "An Open Framework for Scalable, Reconfigurable Performance Analysis" by T. Gamblin, P. Ratn, B. de Supinski, M. Schulz, F. Mueller, R. Fowler and D. Reed, refereed poster at Supercomputing, Nov 2007.
  3. "Generalizing Parametric Timing Analysis" by J. Coffman, C. Healy, F. Mueller, D. Whalley, refereed poster in the Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems, June 2007, pages 152-154.
  4. "Hardware Profile-guided Automatic Page Placement for ccNUMA Systems" by J. Marathe and F. Mueller in Gelato ICE Itanium Conference & Expo, Apr 2007. April 2007 Gelato (IP)2 Award, Innovative Project on Itanium Processors.
  5. "CheckerMode: A Hybrid Scheme for Timing Analysis of Modern Processor Pipelines Involving Hardware/Software Interactions" by S. Mohan and F. Mueller in Work-in-Progress of Real-Time Embedded Technology and Applications Symposium, Apr 2007, pages 40-43.
  6. "Scalable Compression and Replay of Communication Traces in Massively Parallel Environments" by M. Noeth and F. Mueller and M. Schulz and B. de Supinski, refereed poster at Supercomputing, Nov 2006.
  7. "Real-Time Scheduling for a Virtual Simple Architecture (VISA)" by K. Seth, A. Anantaraman, F. Mueller, E. Rotenberg in Work-in-Progress of IEEE Real-Time Systems Symposium, Dec 2003, pages 113-116.
  8. "Distributed Hierarchical Locking with Real-Time Priorities" by N. Desai and F. Mueller in Work-in-Progress of IEEE Real-Time Systems Symposium, Dec 2003, pages 129-132.
  9. "A Brief Overview of Scalable Distributed Concurrency Services for Hierarchical Locking" by N. Desai and F. Mueller, refereed poster in Joint ACM Java Grande / ISCOPE Conference, Nov 2002.
  10. "Benchmarking SMP Memory Systems Performance" by B. de Supinski, A. Yoo, F. Mueller and S. McKee in SCICOMP 4 (IBM SP Scientific Computing User Group), Oct 2001.
  11. "Integrating Gnat/Gcc into a Timing Analysis Environment" by D. Macos and F. Mueller in Work-in-Progress of EuroMicro Workshop on Real-Time Systems, Jun 1998, pages 15-18

Dissertations of Students

  1. "Exploiting Hardware/Software Interactions for Analyzing Embedded Systems" by S. Mohan, Ph.D. Thesis, North Carolina State University, Aug 2008 (last known position: prospective post-doc at UIUC)
  2. "Analytical Bounding Data Cache Behavior for Real-Time Systems" by H. Ramaprasad, Ph.D. Thesis, North Carolina State University, Jul 2008 (last known position: faculty at the Univ. of Southern Illinois, IL)
  3. "Trace Based Performance Characterization and Optimization" by J. Marathe, Ph.D. Thesis, North Carolina State University, May 2007 (last known position: Nvidia Compiler Group, CA)
  4. "Dynamic Voltage Scaling with Feedback EDF Scheduling for Real-Time Embedded Systems" by Y. Zhu, Ph.D. Thesis, North Carolina State University, Aug 2005 (last known position: Sony-Ericsson, NC)
  5. "Efficient Analysis of Temporal Properties for Real-Time Systems" by Frank Mueller, Habilitation, Humboldt University Berlin, Sep 2000
  6. "Static Cache Simulation and its Applications" by F. Mueller, Ph.D. Dissertation, Florida State University, Jul 1994

Master's Theses of Students

  1. "Preserving Time in Large-Scale Communication Traces" by Prasun Ratn, M.S. Thesis, North Carolina State University, Aug 2008
  2. "Dynamic Page Migration on ccNUMA Platforms Guided by Hardware Tracing" by Vivek Thakkar, M.S. Thesis, North Carolina State University, Aug 2008 (last known position: Intel, OR)
  3. "Remote Data Collection and Analysis using Mobile Agents and Service-Oriented Architectures" by Harsha Girish, M.S. Thesis, North Carolina State University, Jul 2008 (last known position: Cisco, CA)
  4. "System Virtualization for Proactive Fault-Tolerant Computing" by Arun Nagarajan, M.S. Thesis, North Carolina State University, Apr 2008 (last known position: Nvidia, CA)
  5. "Trace-Based Dependence Analysis for Speculative Loop Optimizations" by Ravi Ramaseshan, M.S. Thesis, North Carolina State University, Jun 2007 (last known position: Ph.D. student, NCSU)
  6. "Scalable Compression and Replay of Communication Traces in Massively Parallel Environments" by Michael Noeth, M.S. Thesis, North Carolina State University, Aug 2006 (last known position: Lenovo, NC)
  7. "Scalable, Fault-Tolerant Membership for Group Communication on HPC Systems" by Jyothish Varma, M.S. Thesis, North Carolina State University, Mar 2006 (last known position: SecureWorks, GA)
  8. "Buddy Threading in Distributed Applications on Simultaneous Multi-Threading Processors" by Nikola Vouk, M.S., North Carolina State University, Apr 2005 (last known position: IBM, NC)
  9. "Hybrid online/offline optimization of Application Binaries" by Anubhav Dhoot, M.S., North Carolina State University, Jul 2004 (last known position: Microsoft, WA)
  10. "Frequency-aware Static Timing Analysis for Power-aware Embedded Architectures" by Kiran Seth, M.S., North Carolina State University, Dec 2003 (last known position: QualComm, NC)
  11. "Compositional Static Cache Analysis Using Module-Level Abstraction" by Kaustubh Patil, M.S., North Carolina State University, Aug 2003 (last known position: VMware, CA)
  12. "Analyzing Memory Performance Bottlenecks in OpenMP Programs on SMP Architectures using ccSIM" by Anita Nagarajan, M.S., North Carolina State University, Aug 2003, (last known position: Intel at Bangalore, India, Desktop Platforms Group, Graphics Core Engine team)
  13. "METRIC: Tracking Memory Bottlenecks via Binary Rewriting" by Jaydeep Marathe, M.S., North Carolina State University, Jun 2003 (last known position: PhD candidate North Carolina State University)
  14. "Scalable Distributed Concurrency Protocol with Priority Support" by Nirmit Desai, M.S., North Carolina State University, Jun 2003 (last known position: PhD candidate North Carolina State University)
  15. "Träge Release-Konsistenz" by Peter Weisse, M.S., Humboldt University Berlin, Feb 2002
  16. "Effiziente dynamische Verwaltung von gemeinsam genutztem Speicher in einem verteilten System" by Nikolas Hahn, M.S., Humboldt University Berlin, Mar 2001
  17. "Kommunikation in verteilten Systemen mit gemeinsamem Speicher" by Thomas Röblitz, M.S., Humboldt University Berlin, Dec 2000 (last known position: PhD candidate Konrad-Zuse-Zentrum für Informationstechnik Berlin, Germany)
  18. "Dynamische Speicherverwaltung in einem verteilten System mit gemeinsamen Speicher" by Nikolas Hahn, Studienarbeit, Humboldt University Berlin, Mar 2000
  19. "Träge Release-Konsistenz" by Peter Weisse, Studienarbeit, Humboldt University Berlin, Feb 2000
  20. "Algorithmen zum gegenseiten Ausschluß in verteilten Systemen" by Claus Wagner, M.S., Humboldt University Berlin, Dec 1999 (last known position: research staff at Technion, Israel)
  21. "Design and Implementation of a Flexible Report Generating Tool" by Karla Müller, M.S., Humboldt University Berlin, Dec 1999 (last known position: ADtrans, Copenhagen, Denmark)
  22. "Planbarkeitsanalyse von Ada-tasks in Echtzeitsystemen" by Oliver Bühn, M.S., Technische Fachhochschule Berlin, Jul 1999 (last known position: Raytek GmbH, Berlin, Germany)
  23. "Thread Debug Interface -- TDI" by Daniel Schulz, M.S., Humboldt University Berlin, May 1999 (honored as best master's thesis in Computer Science at the Humboldt University Berlin during the academic years of 1999 and 2000) (last know position: Qcentric GmbH, Berlin, Germany)
  24. "Bewertung von Algorithmen zum gegenseiten Ausschluß" by Claus Wagner, Studienarbeit, Humboldt University Berlin, Nov 1998
  25. "POSIX Threads Debugger" by D. Schulz, Studienarbeit, Humboldt University Berlin, Apr 1998
  26. "Transforming Irreducible Regions of Control Flow into Reducible Regions by Optimized Node Splitting" by Sebastian Unger, Studienarbeit, Humboldt University Berlin, Jan 1998
  27. "Avoiding Unconditional Jumps by Code Replication" by Frank Mueller, M.S., Florida State University, Apr 1991
My academic lineage for those who might care.