• Sign in
  • Sign up
conf.researchr.org / Peter Stuckey
  • POPL 2016 profile
  • SPLASH 2020 profile
No Photo

Not registered as user

Name:Peter Stuckey
Country:Australia
Affiliation:University of Melbourne

Contributions

2020

LPOP

  • Invited Speaker of Invited Talk: From CLP(R) to MiniZinc: There and Back Again within the LPOP 2020-track
  • Panelist of Panel: Since Logic Languages Are So Good, Why Aren’t They Pervasive? within the LPOP 2020-track

2016

VMCAI

  • Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track
Share
xThu 22 May 05:41
using conf.researchr.org (v1.69.0)
Support page
Sign Up