ºÝºÝߣ

ºÝºÝߣShare a Scribd company logo
Personal Information
Organization / Workplace
London United Kingdom
Occupation
PhD Candidate
Industry
Technology / Software / Internet
About
parallel programming; heterogeneous architectures (e.g. GPUs); programming languages; software verification; game development; code performance optimisation
Contact Details

Presentations(3)Ìý

Asynchronous Programming, Analysis and Testing with State Machines
Asynchronous Programming, Analysis and Testing with State MachinesAsynchronous Programming, Analysis and Testing with State Machines
Asynchronous Programming, Analysis and Testing with State Machines
Ìý
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device DriversFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Ìý
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device DriversFast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Ìý