Dusko Pavlovic -

Registered user since Sun 10 Nov 2019

Name:Dusko Pavlovic

Country:United States

Affiliation:University of Hawaii

Personal website: http://dusko.org/

Research interests:security, logic, computation, semantics

Contributions

2020

POPL

Author of Abstract Extensionality: On the Properties of Incomplete Abstract Interpretations within the Research Papers-track