Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Peter J. Stuckey
conf.researchr.org general profile
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 yet
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
x
Thu 21 Nov 17:15