Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Lucas Bang
conf.researchr.org general profile
ESEC/FSE 2018 profile
ESEC/FSE 2020 profile
ICFP/SPLASH 2025 profile
ICSE 2021 profile
ICSE 2022 profile
ICSE 2023 profile
ICSE 2024 profile
ISSTA 2020 profile
ISSTA/ECOOP 2024 profile
PLDI 2016 profile
PLDI 2023 profile
SPLASH 2024 profile
Registered user since Fri 30 Aug 2019
Name:
Lucas Bang
Affiliation:
Harvey Mudd College
Personal website:
http://www.cs.hmc.edu/~bang/
Contributions
2025
ICFP/SPLASH
PLMW Co-Chair in Organizing Committee
SPLASH
PLMW Co-Chair in Organizing Committee
2024
SPLASH
Session Chair of Welcome to PLMW! (part of PLMW)
PLMW Co-Chair in Organizing Committee
PLMW Co-Chair in Organizing Committee within the PLMW-track
Session Chair of Grad Student Life (part of PLMW)
Session Chair of Post-PhD & Mentoring (part of PLMW)
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
PLMW
Panelist of Panel: Career paths within the PLMW@PLDI 2023-track
PLDI
Author of Obtaining Information Leakage Bounds via Approximate Model Counting within the PLDI Research Papers-track
International Conference on Program Comprehension
Author of Path Complexity Predicts Code Comprehension Effort within the Research-track
2022
ICSE
Committee Member in Program Committee within the Posters-track
2021
ICSE
Author of Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion within the DEMO - Demonstrations-track
2020
ESEC/FSE
Author of MCBAT: A Practical Tool for Model Counting Constraints on Bounded Integer Arrays within the Tool Demos-track
Panelist of Conversations on SAT and Synthesis within the Paper Presentations-track
ISSTA
Committee Member in Program Committee within the Technical Papers-track
Session Chair of SECURITY (part of Technical Papers)
2018
ESEC/FSE
Author of Parameterized Model Counting for String and Numeric Constraints within the Research Papers-track
Session Chair of Security (part of Research Papers)
JPF
Author of Attack Synthesis for Strings using Meta-Heuristics within the JPF-track
2016
PLDI
Presenter of String Analysis for Vulnerability Detection and Repair within the Tutorials-track
Share
x
Mon 23 Dec 16:51
