Author

Michael Bauer

0 works0 citationsORCID

Recent research

  • AI & ComputingOpen access

    Relight: Simple User-Level Checkpointing and Fast-Forward Replay for Distributed Task-Based Systems

    Checkpointing, or periodic saving of program state to storage, is the de facto standard technique used to mitigate risks of nondeterministic bugs, hardware faults, and job wall-time limits in long-running programs. Traditional approaches require users to manually manage the migra...

    Proceedings of the ACM on Programming Languages2026-10-011 citationsDOI
  • AI & ComputingOpen access

    A Survey of Distributed Asynchronous Many-Task Models and Their Applications

    Asynchronous many-task (AMT) runtime systems have become an important paradigm for expressing fine-grained parallelism and managing asynchrony in high-performance computing (HPC). Originating from early dataflow concepts, AMTs have evolved to enable dynamic task generation, expli...

    ACM Computing Surveys2026-08-141 citationsDOI