Lucas Bang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2012–2024
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICSE | Path Complexity Analysis for Interprocedural Code. | Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang |
| 2024 | ISSTA | Interprocedural Path Complexity Analysis. | Mira Bhagirathi Kaniyur, Ana Cavalcante-Studart, Yihan Yang, Sangeon Park, David Chen, Duy Lam, Lucas Bang |
| 2023 | ITiCSE | Student Experiences and Academic Outcomes When Multiple Introductory Tracks Converge. | Katherine Breeden, Lucas Bang, Christopher A. Stone, Julie Medero |
| 2021 | ICSE | 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 |
| 2019 | NDSS | Profit: Detecting and Quantifying Side Channels in Networked Applications. | Nicols Rosner, Ismet Burak Kadron, Lucas Bang, Tevfik Bultan |
| 2018 | ATVA | Information Leakage in Arbiter Protocols. | Nestan Tsiskaridze, Lucas Bang, Joseph McMahan, Tevfik Bultan, Timothy Sherwood |
| 2015 | CAV | Automata-Based Model Counting for String Constraints. | Abdulbaki Aydin, Lucas Bang, Tevfik Bultan |
| 2012 | WAOA | R-LINE: A Better Randomized 2-Server Algorithm on the Line. | Lucas Bang, Wolfgang W. Bein, Lawrence L. Larmore |