Lucas Bang

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 25

Top Topics

Noisy Observations

Recursive Functions

Top Venues

ESEC/SIGSOFT FSE

ACM SIGSOFT Softw. Eng. Notes

Publications

Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang
Path Complexity Analysis for Interprocedural Code. ICSE Companion (2024)
Sofiane Dissem, Eli Pregerson, Adi Bhargava, Josh Cordova, Lucas Bang
Path Complexity Correlates with Source Code Comprehension Effort Indicators. ICPC (2023)
Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
Obtaining Information Leakage Bounds via Approximate Model Counting. Proc. ACM Program. Lang. 7 (PLDI) (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)
Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero
Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge. ITiCSE (1) (2023)
Gabriel Bessler, Josh Cordova, Shaheen Cullen-Baratloo, Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh, Lucas Bang
Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion. ICSE (Companion Volume) (2021)
Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
MCBAT: a practical tool for model counting constraints on bounded integer arrays. ESEC/SIGSOFT FSE (2020)
Devon Frost, Shannon Steele, Lucas Bang
Virtually Constrained Dancing: Encoding Language in Movement and Sound. MOCO (2020)
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
MCBAT: Model Counting for Constraints over Bounded Integer Arrays. VSTTE (2020)
Mara Downing, Abtin Molavi, Lucas Bang
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis. GandALF (2020)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Adaptive Attack Synthesis. CoRR (2019)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. CoRR (2019)
Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Profit: Detecting and Quantifying Side Channels in Networked Applications. NDSS (2019)
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
Incremental Attack Synthesis. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
Parameterized model counting for string and numeric constraints. ESEC/SIGSOFT FSE (2018)
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
Attack Synthesis for Strings using Meta-Heuristics. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
Information Leakage in Arbiter Protocols. ATVA (2018)
Lucas Bang, Nicolás Rosner, Tevfik Bultan
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations. EuroS&P (2018)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2017 (2017)
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
Synthesis of Adaptive Side-Channel Attacks. CSF (2017)
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
String analysis for side channels with segmented oracles. SIGSOFT FSE (2016)
Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore
R-LINE: A better randomized 2-server algorithm on the line. Theor. Comput. Sci. 605 (2015)
Abdulbaki Aydin, Lucas Bang, Tevfik Bultan
Automata-Based Model Counting for String Constraints. CAV (1) (2015)
Lucas Bang, Abdulbaki Aydin, Tevfik Bultan
Automatically computing path complexity of programs. ESEC/SIGSOFT FSE (2015)
Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore
R-LINE: A Better Randomized 2-Server Algorithm on the Line. WAOA (2012)