Thomas Wies

Registered user since Fri 10 Apr 2015

Name: Thomas Wies

Affiliation: New York University, USA

Personal website: http://cs.nyu.edu/wies/

Contributions

ADSL 2020Committee Member in Program Committee within the ADSL 2020-track
Author of Local Reasoning for Global Graph Properties within the ADSL 2020-track
VMCAI 2020Session Chair of Papers 7 (part of VMCAI 2020)
PC Member in Program Committee within the VMCAI 2020-track
PLDI 2020Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
POPL 2020Committee Member in Program Committee within the Research Papers-track
Session Chair of Reasoning about Program Complexity/Efficiency (part of Research Papers)
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track
SPLASH 2018Committee Member in Program Committee within the DocSymposium-track
Mentor in Mentors within the Breakfasts-track
VMCAI 2018Committee Member in Program Committee within the VMCAI 2018-track
Onward! 2017Committee Member in Program Committee within the Onward! Papers-track
POPL 2018Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track
VMCAI 2017Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track
ECOOP 2017Committee Member in Program Committee within the ECOOP Research Papers-track
VMCAICommittee Member in Program Committee
POPL 2016ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
FOOLCommittee Member in Program Committee within the FOOL-track
SPLASH 2014Author of Finding Minimum Type Error Sources within the OOPSLA-track