Eli Pregerson

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 3

Top Topics

Inductive Inference

Mining Software Repositories

Recursive Functions

Impact Analysis

Top Venues

Publications

Sofiane Dissem, Eli Pregerson, Adi Bhargava, Josh Cordova, Lucas Bang
Path Complexity Correlates with Source Code Comprehension Effort Indicators. ICPC (2023)
Eli Pregerson
Path Complexity of Recursive Functions. ICSE Companion (2023)
Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. FormaliSE (2023)