Ali José Mashtizadeh

Assistant Professor
David R. Cheriton School of Computer Science
University of Waterloo
Email: mashti AT uwaterloo.ca
Research interests: Operating Systems, Distributed Systems
[ Twitter | Bitbucket | Keybase.io ]

Research Interests

My research interests are in building reliable and easier to manage systems. Often my work spans many layers of the software stack from architecture to the application. I enjoy working across operating systems, distributed systems, architecture, and compilers. You can find more details about my vision, approach, and direction in my research statement.

I am currently looking for PhD students and undergraduates interested in a URA who enjoy designing and building systems.

About Me

I completed my PhD at Stanford University in the Secure Computer Systems lab. My advisor was Prof. David Mazieres, and I worked closely with Prof. Dan Boneh and Prof. Mendel Rosenblum.

Prior to Stanford, I worked for VMware, Inc. as the technical lead for the Storage vMotion and vMotion products. I also designed and built the memory compression cache used by ESX.

I completed my M.Eng. and B.S. in electrical engineering at MIT.

Projects

You can read about my projects and broader vision in my research statement.

Castor: Fast Multi-core Record/Replay

CCFI: Cryptographic Control Flow Integrity

[ code ]

Ori File System

[ code ]

Courses

University of Waterloo

Fall 2017:
CS854-002: Advanced Topics in Operating Systems

Stanford

Winter 2015:
CS140: Operating Systems (Instructor)
Fall 2014:
CS244b: Distributed Systems (Teaching Assistant)

MIT

Spring 2007:
6.004: Computation Structures (Teaching Assistant)

Publications

Google Scholar.

Conferences/Workshops

  • Ali Mashtizadeh, Tal Garfinkel, David Terei, David Mazieres, and Mendel Rosenblum. Towards Practical Default-On Multi-Core Record/Replay, In Proceedings of Symposium on Architectural Support for Programming Languages and Operating Systems April, 2017.
    [ paper ]
  • Ali Mashtizadeh, Andrea Bittau, Dan Boneh, and David Mazieres. CCFI: Cryptographically Enforced Control Flow Integrity, In Proceedings of Conference on Computer and Communications Security. October, 2015.
    [ paper ]
  • Ricardo Koller, Ali José Mashtizadeh, and Raju Rangaswami. Centaur: Host-Side SSD Caching for Storage Performance Control, In Proceedings of the 2015 IEEE International Conference on Autonomic Computing. July, 2015.
    [ paper ] - Best Paper
  • Andrea Bittau, Adam Belay, Ali Mashtizadeh, David Mazieres, and Dan Boneh. Hacking Blind, In Proceedings of the 2014 IEEE Symposium on Security and Privacy. October, 2014.
    [ paper ]
  • Ali Mashtizadeh, Min Cai, Gabriel Tarasuk-Levin, Ricardo Koller, Tal Garfinkel, and Sreekanth Setty. XvMotion: Unified Virtual Machine Migration over Long Distance, In Proceedings of USENIX Annual Technical Conference. June, 2014.
    [ paper · slides · video ]
  • Ali Mashtizadeh, Andrea Bittau, Yifeng Frank Huang, and David Mazieres. Replication, History, and Grafting in the Ori File System, In Proceedings of Symposium on Operating Systems Principles. November, 2013.
    [ paper · video ]
  • Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazieres, and Christos Kozyrakis. Dune: Safe User-level Access to Privileged CPU Features, In Proceedings of the 10th USENIX Conference on Operating Systems Design and Implementation. November, 2012.
    [ paper ]
  • Ali Mashtizadeh, Emre Celebi, Tal Garfinkel, and Min Cai. The Design and Evolution of Live Storage Migration in VMware ESX, In Proceedings of the USENIX Annual Technical Conference. June, 2011.
    [ paper · slides · video ]
  • Irfan Ahmad, Ajay Gulati, and Ali Mashtizadeh. vIC: Interrupt Coalescing for Virtual Machine Storage Device IO, In Proceedings of the USENIX Annual Technical Conference. June, 2011.
    [ paper ]
  • Irfan Ahmad, Ajay Gulati, and Ali Mashtizadeh. Improving Performance with Interrupt Coalescing for Virtual Machine Disk IO in VMware ESX Server, In Proceedings of the International Workshop on Virtualization Performance: Analysis, Characterization, and Tools. April, 2009.
    [ paper ]