• Sign in
  • Sign up
conf.researchr.org / Peter J. Stuckey
  • APLAS 2019 profile
  • FLOPS 2022 profile
  • ICFP 2021 profile
  • ICSE 2023 profile
  • ISSTA 2019 profile
  • PLDI 2024 profile
  • SPLASH 2021 profile

Not registered as user

Name:Peter J. Stuckey
Affiliation:Monash University

Contributions

2024

PLDI

  • Author of SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques within the PLDI Research Papers-track

2023

International Conference on Program Comprehension

  • Author of ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration within the Research-track

2022

FLOPS

  • Invited Speaker of There are no integers in discrete optimisation models! within the FLOPS 2022-track

2021

Static Analysis Symposium

  • Author of Disjunctive Interval Analysis within the SAS-track

TyDe

  • Author of Interactive Haskell Type Inference Exploration (Extended Abstract) within the TyDe 2021-track

2019

APLAS

  • Author of Dissecting Widening: Separating Termination from Information within the Research Papers-track

ISSTA

  • Author of Optimal Context-Sensitive Dynamic Partial Order Reduction with Observers within the Technical Papers-track
Share
xSun 22 Jun 16:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up