Automata-Based Model Counting for String Constraints. - Abdulbaki Aydin; Lucas Bang; Tevfik Bultan (CAV (1), 2015)

Automatically computing path complexity of programs. - Lucas Bang; Abdulbaki Aydin; Tevfik Bultan (ESEC/SIGSOFT FSE, 2015)

R-LINE: A better randomized 2-server algorithm on the line. - Lucas Bang; Wolfgang W. Bein; Lawrence L. Larmore (Theor. Comput. Sci., 2015)

String analysis for side channels with segmented oracles. - Lucas Bang; Abdulbaki Aydin; Quoc-Sang Phan; Corina S. Pasareanu; Tevfik Bultan (SIGSOFT FSE, 2016)

Synthesis of Adaptive Side-Channel Attacks. - Quoc-Sang Phan; Lucas Bang; Corina S. Pasareanu; Pasquale Malacaria; Tevfik Bultan (IACR Cryptol. ePrint Arch., 2017)

Information Leakage in Arbiter Protocols. - Nestan Tsiskaridze; Lucas Bang; Joseph McMahan; Tevfik Bultan; Timothy Sherwood (ATVA, 2018)

Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. - Lucas Bang; Nicolás Rosner; Tevfik Bultan (EuroS&P, 2018)

Parameterized model counting for string and numeric constraints. - Abdulbaki Aydin; William Eiers; Lucas Bang; Tegan Brennan; Miroslav Gavrilov; Tevfik Bultan; Fang Yu 001 (ESEC/SIGSOFT FSE, 2018)

Attack Synthesis for Strings using Meta-Heuristics. - Seemanta Saha; Ismet Burak Kadron; William Eiers; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2018)

Software Side-Channel Analysis. - Lucas Adam Bang (2018)

Profit: Detecting and Quantifying Side Channels in Networked Applications. - Nicolás Rosner; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (NDSS, 2019)

Incremental Adaptive Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (CoRR, 2019)

Incremental Attack Synthesis. - Seemanta Saha; William Eiers; Ismet Burak Kadron; Lucas Bang; Tevfik Bultan (ACM SIGSOFT Softw. Eng. Notes, 2019)

Virtually Constrained Dancing: Encoding Language in Movement and Sound. - Devon Frost; Shannon Steele; Lucas Bang (MOCO, 2020)

MCBAT: a practical tool for model counting constraints on bounded integer arrays. - Abtin Molavi; Mara Downing; Tommy Schneider; Lucas Bang (ESEC/SIGSOFT FSE, 2020)

MCBAT: Model Counting for Constraints over Bounded Integer Arrays. - Abtin Molavi; Tommy Schneider; Mara Downing; Lucas Bang (VSTTE, 2020)

Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. - Mara Downing; Abtin Molavi; Lucas Bang (GandALF, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)

Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion. - Gabriel Bessler; Josh Cordova; Shaheen Cullen-Baratloo; Sofiane Dissem; Emily Lu; Sofia Devin; Ibrahim Abughararh; Lucas Bang (ICSE (Companion Volume), 2021)

Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity. - Eli Pregerson; Shaheen Cullen-Baratloo; David Chen; Duy Lam; Max Szostak; Lucas Bang (FormaliSE, 2023)

Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge. - Katherine Breeden; Lucas Bang; Christopher A. Stone; Julie Medero (ITiCSE (1), 2023)

Path Complexity Correlates with Source Code Comprehension Effort Indicators. - Sofiane Dissem; Eli Pregerson; Adi Bhargava; Josh Cordova; Lucas Bang (ICPC, 2023)

Obtaining Information Leakage Bounds via Approximate Model Counting. - Seemanta Saha; Surendra Ghentiyala; Shihua Lu; Lucas Bang; Tevfik Bultan (Proc. ACM Program. Lang., 2023)

Fitness Landscape Analysis of a Cell-Based Neural Architecture Search Space. - Devon Tao; Lucas Bang (EXPLAINS, 2024)

Path Complexity Analysis for Interprocedural Code. - Mira Bhagirathi Kaniyur; Ana Cavalcante-Studart; Yihan Yang; Sangeon Park; David Chen; Duy Lam; Lucas Bang (ICSE Companion, 2024)

Interprocedural Path Complexity Analysis. - Mira Bhagirathi Kaniyur; Ana Cavalcante-Studart; Yihan Yang; Sangeon Park; David Chen; Duy Lam; Lucas Bang (ISSTA, 2024)

Generating the Spanning Trees of Series-Parallel Graphs up to Graph Automorphism. - Mithra Karamchedu; Lucas Bang (CoRR, 2025)