Peter J. Stuckey -

Not registered as user yet

Name:Peter J. Stuckey

Affiliation:Monash University

Contributions

FLOPS 2022	Invited Speaker of There are no integers in discrete optimisation models! within the FLOPS 2022-track
TyDe 2021	Author of Interactive Haskell Type Inference Exploration (Extended Abstract) within the TyDe 2021-track
SAS 2021	Author of Disjunctive Interval Analysis within the SAS-track
APLAS 2019	Author of Dissecting Widening: Separating Termination from Information within the Research Papers-track
ISSTA 2019	Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track