Frank Mueller

CLAIRE: Enabling Continual Learning for Real-time Autonomous Driving with a Dual-head Architecture

2022 IEEE 25TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2022), pp. 51–60.

Combining Hard and Soft Constraints in Quantum Constraint-Satisfaction Systems

SC22: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS.

Guest editorial: Special issue on the 2020 IEEE symposium on real-time distributed computing (ISORC)

Cucinotta, T., Mueller, F., & Simmhan, Y. (2022, March). JOURNAL OF SYSTEMS ARCHITECTURE, Vol. 124.

P-ckpt: Coordinated Prioritized Checkpointing

2022 IEEE 36TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2022), pp. 436–446.

T-SYS: Timed-Based System Security for Real-Time Kernels

2022 13TH ACM/IEEE INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2022), pp. 247–258.

Hummingbird: efficient performance prediction for executing genomic applications in the cloud

BIOINFORMATICS, 37(17), 2537–2543.

Mapping Constraint Problems onto Quantum Gate and Annealing Devices

PROCEEDINGS OF SECOND INTERNATIONAL WORKSHOP ON QUANTUM COMPUTING SOFTWARE (QCS 2021), pp. 110–117.

NUMA-aware memory coloring for multicore real-time systems

JOURNAL OF SYSTEMS ARCHITECTURE, 118.

Quantum Annealing Stencils with Applications to Fuel Loading of a Nuclear Reactor

2021 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE 2021) / QUANTUM WEEK 2021, pp. 265–275.

Systemic Assessment of Node Failures in HPC Production Platforms

2021 IEEE 35TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 267–276.

T-Pack: Timed Network Security for Real Time Systems

2021 IEEE 24TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2021), pp. 20–28.

Aarohi: Making Real-Time Node Failure Prediction Feasible

2020 IEEE 34TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM IPDPS 2020, pp. 1092–1101.

BarrierFinder: recognizing ad hoc barriers

EMPIRICAL SOFTWARE ENGINEERING, 25(6), 4676–4706.

Just-in-time Quantum Circuit Transpilation Reduces Noise

IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING (QCE20), pp. 345–355.

Symbiotic HW Cache and SW DTLB Prefetching for DRAM/NVM Hybrid Memory

2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS), 1–8.

VCFC: Structural and Semantic Compression and Indexing of Genetic Variant Data

2020 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, pp. 200–203.

Automatically Translating Quantum Programs from a Subset of Common Gates to an Adiabatic Representation

REVERSIBLE COMPUTATION (RC 2019), Vol. 11497, pp. 146–161.

BARRIERFINDER: Recognizing Ad Hoc Barriers

2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.

End-to-End Resilience for HPC Applications

HIGH PERFORMANCE COMPUTING, ISC HIGH PERFORMANCE 2019, Vol. 11501, pp. 271–290.

FuncyTuner: Auto-tuning Scientific Applications With Per-loop Compilation

PROCEEDINGS OF THE 48TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING (ICPP 2019).

Implementing NChooseK on IBM Q Quantum Computer Systems

REVERSIBLE COMPUTATION (RC 2019), Vol. 11497, pp. 209–223.

Performance characterization of a DRAM-NVM hybrid memory architecture for HPC applications using intel optane DC persistent memory modules

Proceedings of the International Symposium on Memory Systems - MEMSYS '19. Presented at the the International Symposium.

Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises

PROCEEDINGS OF THE 24TH SYMPOSIUM ON PRINCIPLES AND PRACTICE OF PARALLEL PROGRAMMING (PPOPP '19), pp. 451–451.

The Colored Refresh Server for DRAM

2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), pp. 27–34.

The Colored Refresh Server for DRAM

2019 IEEE 40TH REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2019), pp. 146–153.

Uncore Power Scavenger: A Runtime for Uncore Power Conservation on HPC Systems

PROCEEDINGS OF SC19: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS.

A Failure Recovery Protocol for Software-Defined Real-Time Networks

Qian, T., & Mueller, F. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2222–2232.

Chameleon: Online Clustering of MPI Program Traces

2018 32ND IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 1102–1112.

CloneHadoop: Process Cloning to Reduce Hadoop's Long Tail

2018 IEEE/ACM 5TH INTERNATIONAL CONFERENCE ON BIG DATA COMPUTING APPLICATIONS AND TECHNOLOGIES (BDCAT), pp. 11–20.

Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches

Damschen, M., Mueller, F., & Henkel, J. (2018, November). IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, Vol. 37, pp. 2337–2347.

Controller-Aware Memory Coloring for Multicore Real-Time Systems

33RD ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, pp. 584–592.

Desh: Deep Learning for System Health Prediction of Lead Times to Failure in HPC

HPDC '18: PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE PARALLEL AND DISTRIBUTED COMPUTING, pp. 40–51.

KeyValueServe(dagger): Design and performance analysis of a multi-tenant data grid as a cloud service

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 30(14).

PShiter: Feedback-based Dynamic Power Shiting within HPC Jobs for Performance

HPDC '18: PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE PARALLEL AND DISTRIBUTED COMPUTING, pp. 106–117.

Work-In-Progress: Making Machine Learning Real-Time Predictable

2018 39TH IEEE REAL-TIME SYSTEMS SYMPOSIUM (RTSS 2018), pp. 157–160.

DINO: Divergent node cloning for sustained redundancy in HPC

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 109, 350–362.

ScalaIOExtrap: Elastic I/O Tracing and Extrapolation

2017 31ST IEEE INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 585–594.

Scalable communication event tracing via clustering

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 109, 230–244.

A Power-aware Cost Model for HPC Procurement

2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), pp. 1110–1113.

A resilient software infrastructure for wide-area measurement systems

2016 ieee power and energy society general meeting (pesgm).

Benchmark Generation and Simulation at Extreme Scale

2016 IEEE/ACM 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), pp. 9–18.

Distributed Job Allocation for Large-Scale Manycores

In Lecture Notes in Computer Science (pp. 404–425).

Distributed job allocation for large-scale manycores

High performance computing, 9697, 404–425.

Efficient and Predictable Group Communication for Manycore NoCs

In Lecture Notes in Computer Science (pp. 383–403).

Efficient and predictable group communication for manycore NoCs

High performance computing, 9697, 383–403.

Efficient clustering for ultra-scale application tracing

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 98, 25–39.

Exploiting data representation for fault tolerance

Journal of Computational Science, 14, 51–60.

FlipSphere: A Software-based DRAM Error Detection and Correction Library for HPC

2016 IEEE/ACM 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), pp. 19–28.

Hybrid MPI/OpenMP programming on the Tilera manycore architecture

2016 International Conference on High Performance Computing & Simulation (HPCS 2016), 326–333.

Performance analysis of a multi-tenant in-memory data grid

Proceedings of 2016 ieee 9th international conference on cloud computing (cloud), 956–959.

Reducing NoC and Memory Contention for Manycores

In Architecture of Computing Systems – ARCS 2016 (pp. 293–305).

Sensitivity analysis for a quantum informed ferroelectric energy model

Proceedings of the asme conference on smart materials adaptive.

SparkScore: Leveraging Apache Spark for Distributed Genomic Inference

2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS (IPDPSW), pp. 435–442.

TintMalloc: Reducing Memory Access Divergence via Controller-Aware Coloring

2016 IEEE 30TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2016), pp. 363–372.

A fine-grained block ILU scheme on regular structures for GPGPUs

COMPUTERS & FLUIDS, 119, 149–161.

Architecture aware semi partitioned real-time scheduling on multicore platforms

REAL-TIME SYSTEMS, 51(3), 274–313.

DINO: Divergent Node Cloning for Sustained Redundancy in HPC

2015 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING - CLUSTER 2015, pp. 180–183.

Evaluation of Memory Access Arbitration Algorithm on Tilera's TILEPro64 platform

2015 IEEE 17TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2015 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CYBERSPACE SAFETY AND SECURITY, AND 2015 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS), pp. 1154–1159.

Hybrid EDF Packet Scheduling for Real-Time Distributed Systems

PROCEEDINGS OF THE 2015 27TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2015), pp. 37–46.

Intrusion Detection for CPS Real-Time Controllers

CYBER PHYSICAL SYSTEMS APPROACH TO SMART ELECTRIC POWER GRID, pp. 329–358.

NoCMsg: A Scalable Message-Passing Abstraction for Network-on-Chips

ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 12(1).

OpenACC acceleration of an unstructured CFD solver based on a reconstructed discontinuous Galerkin method for compressible flows

International Journal for Numerical Methods in Fluids, 78(3), 123–139.

Providing task isolation via TLB coloring

21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2015), 3–13.

Reliable and scalable communication for the power grid

Cyber Physical Systems Approach to Smart Electric Power Grid, 195–217.

Static Task Partitioning for Locked Caches in Multicore Real-Time Systems

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 14(1).

A real-time distributed hash table

2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

A real-time distributed storage system for multi-resolution virtual synchrophasor

2014 IEEE PES General Meeting | Conference & Exposition. Presented at the 2014 IEEE Power & Energy Society General Meeting.

Evaluating the Impact of SDC on the GMRES Iterative Solver

2014 IEEE 28TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM.

NoCMsg: Scalable NoC-Based Message Passing

2014 14TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), pp. 186–195.

ScalaJack: Customized Scalable Tracing with In-situ Data Analysis

In Lecture Notes in Computer Science (pp. 13–25).

Tools for Simulation and Benchmark Generation at Exascale

In Tools for High Performance Computing 2013 (pp. 19–24).

Understanding the tradeoffs between software-managed vs. hardware-managed caches in GPUs

Ieee international symposium on performance analysis of systems and, 231–241.

Autogeneration and Autotuning of 3D Stencil Codes on Homogeneous and Heterogeneous GPU Clusters

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 24(3), 417–427.

Best papers, IPDPS 2011

Mueller, F. (2013, July). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 73, pp. 939–939.

HiDP: A hierarchical data parallel language

Proceedings of the 2013 ieee/acm international symposium on code generation and optimization (cgo), 171–181.

A Tunable, Software-Based DRAM Error Detection and Correction Library for HPC

In Euro-Par 2011: Parallel Processing Workshops (pp. 251–261).

Combining Partial Redundancy and Checkpointing for HPC

2012 IEEE 32ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), pp. 615–626.

Detection and correction of silent data corruption for large-scale high-performance computing

International conference for high performance computing networking.

Low ContentionMapping of Real-Time Tasks onto a TilePro 64 Core Processor

2012 IEEE 18TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS), pp. 131–140.

Memory Trace Compression and Replay for SPMD Systems Using Extended PRSDs

COMPUTER JOURNAL, 55(2), 206–217.

Proactive process-level live migration and back migration in HPC environments

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 72(2), 254–267.

SCALAEXTRAP: Trace-Based Communication Extrapolation for SPMD Programs

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 34(1).

ScalaBenchGen: Auto-Generation of Communication Benchmarks Traces

2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), pp. 1250–1260.

ScalaTrace: Tracing, Analysis and Modeling of HPC Codes at Scale

In Applied Parallel and Scientific Computing (pp. 410–418).

ScalaTrace: Tracing, analysis and modeling of HPC codes at scale

Applied parallel and scientific computing, pt ii, 7134, 410–418.

Static task partitioning for locked caches in multi-core real-time systems

Cases'12: proceedings of the 2012 ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 161–170.

Data-intensive document clustering on graphics processing unit (GPU) clusters

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 71(2), 211–224.

Making DRAM refresh predictable

REAL-TIME SYSTEMS, 47(5), 430–453.

Predictable Task Migration for Locked Caches in Multi-Core Systems

ACM SIGPLAN NOTICES, 46(5), 131–140.

Predictable task migration for locked caches in multi-core systems

LCTES 11: Proceedings of the ACM Sigplan/Sigbed 2011 Conference on Languages, Complilers, Tools and Theory for Embedded Systems, 131–140.

ScalaExtrap: Trace-Based Communication Extrapolation for SPMD Programs

Wu, X., & Mueller, F. (2011, August). ACM SIGPLAN NOTICES, Vol. 46, pp. 113–122.

Feedback-directed page placement for ccNUMA via hardware-generated memory traces

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 70(12), 1204–1219.

Parametric Timing Analysis and Its Application to Dynamic Voltage Scaling

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 10(2).

Tightening the Bounds on Feasible Preemptions

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 10(2).

A Tunable Holistic Resiliency Approach for High-Performance Computing Systems

Scott, S. L., Engelmann, C., Vallee, G. R., Naughton, T., Tikotekar, A., Ostrouchov, G., … Varma, J. (2009, April). ACM SIGPLAN NOTICES, Vol. 44, pp. 305–306.

Improving the availability of supercomputer job input data using temporal replication

Computer Science - Research and Development, 23(3-4), 149–157.

Push-Assisted Migration of Real-Time Tasks in Multi-Core Processors

Sarkar, A., Mueller, F., Ramaprasad, H., & Mohan, S. (2009, July). ACM SIGPLAN NOTICES, Vol. 44, pp. 80–89.

ScalaTrace: Scalable compression and replay of communication traces for high-performance computing

Noeth, M., Ratn, P., Mueller, F., Schulz, M., & Supinski, B. R. (2009, August). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 69, pp. 696–710.

Exploiting synchronous and asynchronous DVS for feedback EDF scheduling on an embedded platform

ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 7(1).

The worst-case execution-time problem - Overview of methods and survey of tools

[Review of ]. ACM Transactions on Embedded Computing Systems, 7(3).

DVSleak: Combining leakage reduction and voltage scaling in feedback EDF scheduling

Zhu, Y., & Mueller, F. (2007, July). ACM SIGPLAN NOTICES, Vol. 42, pp. 31–40.

Generalizing parametric timing analysis

Coffman, J., Healy, C., Mueller, F., & Whalley, D. (2007, July). ACM SIGPLAN NOTICES, Vol. 42, pp. 152–154.

METRIC: Memory tracing via dynamic binary rewriting to identify cache inefficiencies

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 29(2).

Source-code-correlated cache coherence characterization of OpenMP benchmarks

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 18(6), 818–834.

FAST: Frequency-Aware Static Timing Analysis

ACM Transactions on Programming Languages and Systems, 5(1), 200–224.

Improving WCET by applying worst-case path optimizations

REAL-TIME SYSTEMS, 34(2), 129–152.

Feedback EDF scheduling exploiting hardware-assisted asynchronous dynamic voltage scaling

Zhu, Y. F., & Mueller, F. (2005, July). ACM SIGPLAN NOTICES, Vol. 40, pp. 203–212.

Feedback EDF scheduling of real-time tasks exploiting dynamic voltage scaling

REAL-TIME SYSTEMS, 31(1-3), 33–63.

Compositional static instruction cache simulation

Patil, K., Seth, K., & Mueller, F. (2004, July). ACM SIGPLAN NOTICES, Vol. 39, pp. 136–145.

Enforcing safety of real-time schedules on contemporary processors using a virtual simple architecture (VISA)

25TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, pp. 114–125.

Scalable hierarchical locking for distributed systems

JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 64(6), 708–724.

Communication characteristics of large-scale scientific applications for contemporary cluster architectures

Vetter, J. S., & Mueller, F. (2003, September). JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, Vol. 63, pp. 853–865.

FAST: Frequency-aware static timing analysis

RTSS 2003: 24TH IEEE INTERNATIONAL REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, pp. 40–51.

Virtual Simple Architecture (VISA): Exceeding the complexity limit in safe real-time systems

Computers and their applications :|bproceedings of the ISCA 16th International Conference, Seattle, Washington, USA, March 28-30, 2001, 350–361. Cary, NC: ISCA.

Energy-conserving feedback EDF scheduling for embedded systems with real-time constraints

Dudani, A., Mueller, F., & Zhu, Y. F. (2002, July). ACM SIGPLAN NOTICES, Vol. 37, pp. 213–222.

Handling irreducible loops: Optimized node splitting versus DJ-Graphs

ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 24(4), 299–333.

A comparison of static analysis and evolutionary testing for the verification of timing constraints

REAL-TIME SYSTEMS, 21(3), 241–268.

High-level parallel programming models and supportive environments 6th international workshop, HIPS 2001, San Francisco, CA, USA, April 23, 2001 : proceedings

New York: Springer.