Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Tim Nelson
conf.researchr.org general profile
ASE 2019 profile
ASE 2021 profile
ETAPS 2019 profile
ICSE 2021 profile
SPLASH 2022 profile
‹Programming› 2021 profile
‹Programming› 2022 profile
‹Programming› 2023 profile
Not registered as user yet
Name:
Tim Nelson
Country:
United States
Affiliation:
Brown University
Personal website:
https://cs.brown.edu/~tn/
Contributions
2023
‹Programming›
Author of Little Tricky Logic: Misconceptions in the Understanding of LTL within the Research Papers-track
2022
SPLASH
Author of Applying cognitive principles to model-finding output: the positive value of negative information within the OOPSLA-track
‹Programming›
Author of Automated, Targeted Testing of Property-Based Testing Predicates within the Research Papers-track
2021
ASE
Committee Member in Program Committee within the Tool Demonstrations-track
ICSE
Committee Member in Additional Reviewers within the Technical Track-track
‹Programming›
Author of Using Relational Problems to Teach Property-Based Testing within the Research Papers-track
2019
SEInfraConfig
Author of Synthesizing Mutable Configurations: Setting up Systems for Success within the SEConfig 2019-track
ESOP
Committee Member in Program Committee within the ESOP 2019-track
Share
x
Fri 1 Dec 16:41
