• Contact Info
Publications in VIVO
 

Izraelevitz, Joseph Assistant Professor

Positions

Research Areas research areas

Research

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

keywords

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

Publications

selected publications

Background

International Activities

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

Other Profiles