Thomas A. Henzinger -

Not registered as user yet

Name:Thomas A. Henzinger

Affiliation:IST Austria, Austria

Contributions

PLDI 2022	Author of (PLDI 2020) Inductive Sequentialization of Asynchronous Programs within the SIGPLAN Track-track
VMCAI 2022	Author of Sequential Information Flow within the VMCAI 2022-track
PLDI 2020	Author of Inductive Sequentialization of Asynchronous Programs within the PLDI 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
POPL 2016	Author of PSync: a partially synchronous language for fault-tolerant distributed algorithms within the Research Papers-track
ESOP 2015	Author of Segment Abstraction for Worst-Case Execution Time Analysis within the ESOP-track