PhD Student
Teaching
CV

Ismail Kuru

PhD Student in Programming Languages and Systems Verification

Philadelphia
Email
Twitter
LinkedIn
Github
ORCID

Verifying Programs under Snapshot Isolation and Similar Relaxed Consistency Models

Published in TRANSACT, 2014

Share on

Twitter Facebook Google+ LinkedIn

Follow:
GitHub
Feed

© 2022 Ismail Kuru. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.