Demo Data from EDBT 2026 / reviewers in the wild / expert
Melih Sirlanci
dblp:283/5636
· DBLP profile ↗
2ranked-venue papers
1as first author
2since 2021 · last 2025
0000-0001-9156-5522ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Security and privacy · 2 · 1 first-author · 2 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Program analysis · 61% Compilers and program optimization · 30% Software testing · 9% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Compilers and program optimization
compiler optimization |
0.8 | 1 | 2024 | When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024 |
Program analysis
dynamic analysis |
0.8 | 1 | 2024 | When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024 |
Program analysis › symbolic execution
dynamic symbolic execution |
0.8 | 1 | 2024 | When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024 |
Software testing
test generation |
0.2 | 1 | 2024 | When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024 |
Methods — techniques the papers use, named apart from their topics
statistical analysis · 0.8empirical study · 0.8
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy
Melih Sirlanci, Carter Yagemann, Zhiqiang Lin 0001 |
AsiaCCS | 1 |
| 2024 | When Compiler Optimizations Meet Symbolic Execution: An Empirical StudyabstractCompiler optimizations intend to transform a program into a semantic-equivalent one with improved performance, but it is unclear how these optimizations may impact the performance of dynamic symbolic execution (DSE) on binary code. To systematically understand the impact of compiler optimizations on two popular DSE techniques (i.e., symbolic exploration and symbolic tracing), this paper presents an empirical study that quantifies 209 GCC compilation flags and 73 Clang compilation flags to reveal both positive and negative optimizations to DSE. Our data set contains 992 unique test cases, which are produced from 3,449 source files in the GCC test suite. After analyzing 2,978,976 binary programs that we compiled with two compilers and various compilation flags, we found that although some optimizations make DSE faster, most optimizations will actually slow down DSE. Our analysis further reveals root causes behind these impacts. The most positive impacts that optimizations have on DSE come from the reduction of the number of instructions and program paths, whereas negative impacts are caused by a series of unexpected behaviors, including increased numbers of instructions or program paths, library function inlining preventing DSE engines from using function summaries, and arithmetic optimizations leading to more sophisticated constraints. Being the first in-depth analysis on why compiler flags influence the performance of DSE, this project sheds light on program transformations that can be applied before performing DSE tasks for better performance. Yue Zhang 0025, Melih Sirlanci, Ruoyu Wang 0001, Zhiqiang Lin 0001 |
CCS | 2 |