ºÝºÝߣ
Submit Search
Pantazis Deligiannis
3
ºÝºÝߣShares
10
Followers
18
Followings
Follow
Block User
3
ºÝºÝߣShares
10
Followers
18
Followings
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 Machines
Ìý
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 Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Ìý