Konstantinos (Kostis) Sagonas - POPL 2020

Write a Blog >>

Sun 19 - Sat 25 January 2020 New Orleans, Louisiana, United States

Registered user since Sun 11 Nov 2018

Name:Konstantinos (Kostis) Sagonas

Country:Sweden

Affiliation:Uppsala University, Sweden

Research interests:Software Technology, Programming Languages, Testing and Verification, Security

Contributions

2020

POPL

[T5] Stateless Model Checking Algorithms and Tools for Strong and Weak Memory Models

Symposium on Practical Aspects of Declarative Languages

Session Chair of Invited Experience and Direction Session (part of PADL 2020)
Session Chair of Invited Experience and Direction Session (Continued) (part of PADL 2020)

Show activities from other conferences

POPL 2020-profile
View general profile