• Sign in
  • Sign up
conf.researchr.org / David Chen
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ISSTA/ECOOP 2024 profile

Not registered as user

Name:David Chen
Country:United States
Affiliation:Harvey Mudd College

Contributions

2024

ISSTA

  • Author of Interprocedural Path Complexity Analysis within the Technical Papers-track

ICSE

  • Author of Path Complexity Analysis for Interprocedural Code within the Posters-track

2023

FormaliSE

  • Author of Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity within the FormaliSE 2023-track
Share
xMon 1 Sep 19:14
using conf.researchr.org (v1.70.0)
Support page
Sign Up