• Sign in
  • Sign up
conf.researchr.org / Thomas A. Henzinger
  • ESOP 2015 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • POPL 2016 profile
  • POPL 2022 profile
No Photo

Not registered as user

Name:Thomas A. Henzinger
Affiliation:IST Austria, Austria

Contributions

2022

PLDI

  • Author of (PLDI 2020) Inductive Sequentialization of Asynchronous Programs within the SIGPLAN Track-track

VMCAI

  • Author of Sequential Information Flow within the VMCAI 2022-track

2020

PLDI

  • Author of Inductive Sequentialization of Asynchronous Programs within the PLDI Research Papers-track

2016

POPL

  • Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track

VMCAI

  • Author of Lipschitz Robustness of Timed I/O Systems within the VMCAI-track
  • Author of Abstraction-driven Concolic Testing within the VMCAI-track

2015

ESOP

  • Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track
Share
xSun 11 May 05:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up