Omar Inverso - PPoPP 2020

Write a Blog >>

Sat 22 - Wed 26 February 2020 San Diego, California, United States

Not registered as user yet

Name:Omar Inverso

Affiliation:Gran Sasso Science Institute

Contributions

2020

Principles and Practice of Parallel Programming

Parallel and Distributed Bounded Model Checking of Multi-threaded Programs

Show activities from other conferences

PPoPP 2020-profile
View general profile