• Sign in
  • Sign up
conf.researchr.org / Harald Sondergaard
  • APLAS 2019 profile
  • FLOPS 2022 profile
  • POPL 2016 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2024 profile
  • SPLASH 2021 profile
Harald Sondergaard

Registered user since Wed 29 Dec 2021

Name:Harald Sondergaard
Country:Australia
Affiliation:The University of Melbourne
Personal website: https://people.eng.unimelb.edu.au/harald/
Research interests:Software security and reliability, Program analysis, Program transformation and compilation, Logic and functional programming, Logic in computer science, Computer science education

Contributions

2024

PEPM

  • Author of The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution) within the PEPM 2024-track

2022

FLOPS

  • Committee Member in Program Committee within the FLOPS 2022-track

2021

Static Analysis Symposium

  • Author of Disjunctive Interval Analysis within the SAS-track

2019

APLAS

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

PEPM

  • Committee Member in Program Committee within the PEPM 2019-track

2018

PEPM

  • Committee Member in Programme Committee within the PEPM 2018-track

2016

VMCAI

  • Author of An Abstract Domain of Uninterpreted Functions within the VMCAI-track
Share
xThu 12 Jun 08:24
using conf.researchr.org (v1.69.0)
Support page
Sign Up