Lucas Bang

29 papers A* 1A 4B 2Journal 9Unranked 13
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generating the Spanning Trees of Series-Parallel Graphs up to Graph Automorphism.
CoRR
Mithra Karamchedu, Lucas Bang
2024 — conf
Fitness Landscape Analysis of a Cell-Based Neural Architecture Search Space.
EXPLAINS
Devon Tao, Lucas Bang
2024 A conf
Interprocedural Path Complexity Analysis.
ISSTA
Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang
2024 — conf
Path Complexity Analysis for Interprocedural Code.
ICSE Companion
Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang
2023 — conf
Formalizing Path Explosion for Recursive Functions via Asymptotic Path Complexity.
FormaliSE
Eli Pregerson, Shaheen Cullen-Baratloo, David Chen, Duy Lam, Max Szostak, Lucas Bang
2023 J jnl
Obtaining Information Leakage Bounds via Approximate Model Counting.
Proc. ACM Program. Lang.
Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, Tevfik Bultan
2023 A conf
Path Complexity Correlates with Source Code Comprehension Effort Indicators.
ICPC
Sofiane Dissem, Eli Pregerson, Adi Bhargava, Josh Cordova, Lucas Bang
2023 — conf
Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge.
ITiCSE (1)
Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero
2021 — conf
Metrinome: Path Complexity Predicts Symbolic Execution Path Explosion.
ICSE (Companion Volume)
Gabriel Bessler, Josh Cordova, Shaheen Cullen-Baratloo, Sofiane Dissem, Emily Lu, Sofia Devin, Ibrahim Abughararh, Lucas Bang
2020 — conf
MCBAT: Model Counting for Constraints over Bounded Integer Arrays.
VSTTE
Abtin Molavi, Tommy Schneider, Mara Downing, Lucas Bang
2020 — conf
MCBAT: a practical tool for model counting constraints on bounded integer arrays.
ESEC/SIGSOFT FSE
Abtin Molavi, Mara Downing, Tommy Schneider, Lucas Bang
2020 — conf
Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis.
GandALF
Mara Downing, Abtin Molavi, Lucas Bang
2020 J jnl
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes
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
2020 — conf
Virtually Constrained Dancing: Encoding Language in Movement and Sound.
MOCO
Devon Frost, Shannon Steele, Lucas Bang
2019 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
CoRR
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Adaptive Attack Synthesis.
CoRR
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 J jnl
Incremental Attack Synthesis.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, William Eiers, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2019 A* conf
Profit: Detecting and Quantifying Side Channels in Networked Applications.
NDSS
Nicolás Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan
2018 J jnl
Attack Synthesis for Strings using Meta-Heuristics.
ACM SIGSOFT Softw. Eng. Notes
Seemanta Saha, Ismet Burak Kadron, William Eiers, Lucas Bang, Tevfik Bultan
2018 B conf
Information Leakage in Arbiter Protocols.
ATVA
Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood
2018 A conf
Online Synthesis of Adaptive Side-Channel Attacks Based On Noisy Observations.
EuroS&P
Lucas Bang, Nicolás Rosner, Tevfik Bultan
2018 — conf
Parameterized model counting for string and numeric constraints.
ESEC/SIGSOFT FSE
Abdulbaki Aydin, William Eiers, Lucas Bang, Tegan Brennan, Miroslav Gavrilov, Tevfik Bultan, Fang Yu
2017 A conf
Synthesis of Adaptive Side-Channel Attacks.
CSF
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2017 J jnl
Synthesis of Adaptive Side-Channel Attacks.
IACR Cryptol. ePrint Arch.
Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2016 — conf
String analysis for side channels with segmented oracles.
SIGSOFT FSE
Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
2015 — conf
Automata-Based Model Counting for String Constraints.
CAV (1)
Abdulbaki Aydin, Lucas Bang, Tevfik Bultan
2015 — conf
Automatically computing path complexity of programs.
ESEC/SIGSOFT FSE
Lucas Bang, Abdulbaki Aydin, Tevfik Bultan
2015 J jnl
R-LINE: A better randomized 2-server algorithm on the line.
Theor. Comput. Sci.
Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore
2012 B conf
R-LINE: A Better Randomized 2-Server Algorithm on the Line.
WAOA
Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore