• Contact Info
Publications in VIVO

Izraelevitz, Joseph Assistant Professor


Research Areas research areas


research overview

  • I work at the intersection of systems software and distributed computing theory, and most of my work is tied together by the twin themes of nonvolatile memory technologies and parallel programming. On the systems side, I have built run-time libraries for ensuring consistent state on machines with new nonvolatile memory technologies, concurrent and persistent data structures, and novel consensus protocols. On the theory side, I have proven my systems work correct and developed formal tools for reasoning about programs in nonvolatile memory. In general, I build practical systems with formal guarantees


  • computer systems, systems software, nonvolatile memory, distributed systems, concurrent programming


selected publications


International Activities

global connections related to teaching and scholarly work (in recent years)

Other Profiles