Mahsa Najafzadeh

Latest

• Co-Design and Verification of an Available File System
• Programmable Elasticity for Actor-based Cloud Applications