Thomas Wies -

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

2024

POPL

Committee Member in Program Committee within the POPL-track

2023

PLDI

Author of Embedding Hindsight Reasoning in Separation Logic within the PLDI Research Papers-track

2022

SPLASH

Author of A Concurrent Program Logic with a Future and History within the OOPSLA-track

PLDI

VMCAI

2021

SPLASH

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

Author of Data Flow Refinement Type Inference within the POPL-track

2020

PLDI

Author of Verifying Concurrent Search Structure Templates within the PLDI Research Papers-track

POPL

VMCAI

ADSL

2019

TACAS

Committee Member in Program Committee within the TACAS 2019-track

2018

SPLASH

POPL

Author of Go with the Flow: Compositional Abstractions for Concurrent Data Structures within the Research Papers-track

VMCAI

Committee Member in Program Committee within the VMCAI 2018-track

2017

Onward!

Committee Member in Program Committee within the Onward! Papers-track

ECOOP

Committee Member in Program Committee within the ECOOP Research Papers-track

VMCAI

Author of Partitioned Memory Models for Program Analysis. within the VMCAI-track

2016

POPL

VMCAI

Committee Member in Program Committee

2014

FOOL

Committee Member in Program Committee within the FOOL-track

SPLASH

Author of Finding Minimum Type Error Sources within the OOPSLA-track