Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Eli Pregerson
conf.researchr.org general profile
ICSE 2023 profile
Not registered as user yet
Name:
Eli Pregerson
Affiliation:
Harvey Mudd College
Contributions
2023
FormaliSE
Author of Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity within the FormaliSE 2023-track
ICSE
Author of Path Complexity of Recursive Functions within the SRC - ACM Student Research Competition-track
International Conference on Program Comprehension
Author of Path Complexity Predicts Code Comprehension Effort within the Research-track
Share
x
Sat 23 Nov 13:06