Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Thomas Wies
conf.researchr.org general profile
ETAPS 2019 profile
PLDI 2020 profile
PLDI 2022 profile
PLDI 2023 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2020 profile
POPL 2021 profile
POPL 2022 profile
POPL 2024 profile
SPLASH 2014 profile
SPLASH 2017 profile
SPLASH 2018 profile
SPLASH 2021 profile
SPLASH 2022 profile
Registered user since Fri 10 Apr 2015
Name:
Thomas Wies
Country:
United States
Affiliation:
New York University
Personal website:
https://cs.nyu.edu/wies/
Contributions
POPL 2024
Committee Member in Program Committee within the POPL-track
PLDI 2023
Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track
SPLASH 2022
Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track
PLDI 2022
Committee Member in PLDI within the PLDI-track
Author of (POPL 2021) Data Flow Refinement Type Inference within the SIGPLAN Track-track
VMCAI 2022
Session Chair of Static Analysis and Abstract Interpretation (part of VMCAI 2022)
Session Chair of Invited Talk (part of VMCAI 2022)
Program Co-Chair in Organizing Committee within the VMCAI 2022-track
SPLASH 2021
Author of Verifying Concurrent Multicopy Search Structures within the Posters-track
Author of Verifying Concurrent Multicopy Search Structures within the OOPSLA-track
Author of Verifying Concurrent Search Structure Templates within the SIGPLAN Papers-track
POPL 2021
Author of Data Flow Refinement Type Inference within the POPL-track
PLDI 2020
Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track
POPL 2020
Committee Member in Program Committee within the Research Papers-track
Session Chair of Reasoning about Program Complexity/Efficiency (part of Research Papers)
VMCAI 2020
Session Chair of Papers 7 (part of VMCAI 2020)
PC Member in Program Committee within the VMCAI 2020-track
ADSL 2020
Committee Member in Program Committee within the ADSL 2020-track
Author of Local Reasoning for Global Graph Properties within the ADSL 2020-track
TACAS 2019
Committee Member in Program Committee within the TACAS 2019-track
SPLASH 2018
Committee Member in Program Committee within the DocSymposium-track
Mentor in Mentors within the Breakfasts-track
POPL 2018
Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track
VMCAI 2018
Committee Member in Program Committee within the VMCAI 2018-track
Onward! 2017
Committee Member in Program Committee within the Onward! Papers-track
ECOOP 2017
Committee Member in Program Committee within the ECOOP Research Papers-track
VMCAI 2017
Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track
POPL 2016
ERC member in External Reviewing Committee within the Research Papers-track
ERC member in External Reviewing Committee
VMCAI
Committee Member in Program Committee
FOOL
Committee Member in Program Committee within the FOOL-track
SPLASH 2014
Author of Finding Minimum Type Error Sources within the OOPSLA-track
Share
x
Tue 6 Jun 00:45