Optimization and Verification of Parallel Programs

People

Faculty

• Jens Palsberg

PhD Students

• Oren Freiberg
• Riyaz Haque
• Jonathan K. Lee
• Mohsen Lesani