Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Melih Sirlanci

dblp:283/5636 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Compilers and program optimization
compiler optimization
0.812024
When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024
Program analysis
dynamic analysis
0.812024
When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024
Program analysis › symbolic execution
dynamic symbolic execution
0.812024
When Compiler Optimizations Meet Symbolic Execution: An Empirical Study · CCS 2024
Software testing
test generation
0.212024
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
YearPublicationVenuePosition
2025 An Empirical Study of C Decompilers: Performance Metrics and Error Taxonomy
Melih Sirlanci, Carter Yagemann, Zhiqiang Lin 0001
AsiaCCS1
2024 When Compiler Optimizations Meet Symbolic Execution: An Empirical Study
abstract
Compiler 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
CCS2