Date Range
Date Range
Date Range
LAP FPRESSO 2016 Processor Architecture Laboratory.
In the Circuits and Systems group. Which is part of the Department of Electrical and Electronic Engineering. My latest research project involves using a SAT solver to compare memory consistency models. I have previously worked on improving the semantics of atomic operations in C11 and OpenCL.
Feburary 22, 2017 - Monterey, CA, USA. The 2017 edition of OLAF will feature multiple presentation panels on peer-reviewed papers.
Forgot Password or Username? Deviant for 8 Years. This is the place where you can personalize your profile! Monsters .