• Sign in
  • Sign up
conf.researchr.org / Tim Nelson
  • ASE 2019 profile
  • ASE 2021 profile
  • ETAPS 2019 profile
  • ICSE 2021 profile
  • SPLASH 2022 profile
  • ‹Programming› 2021 profile
  • ‹Programming› 2022 profile
  • ‹Programming› 2023 profile
Tim Nelson

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
xFri 1 Dec 16:41
using conf.researchr.org (v1.62.0)
Support page
Sign Up