Lucas Bang - ICSE 2023

Write a Blog >>

Sun 14 - Sat 20 May 2023 Melbourne, Australia

Registered user since Fri 30 Aug 2019

Name:Lucas Bang

Country:United States

Affiliation:Harvey Mudd College

Personal website: http://www.cs.hmc.edu/~bang/

Contributions

2023

FormaliSE

Formalizing Symbolic Execution Path Explosion for Recursive Functions via Asymptotic Path Complexity

International Conference on Program Comprehension

Path Complexity Predicts Code Comprehension Effort

Show activities from other conferences

ICSE 2023-profile
View general profile