FunctionSimSearch: Fast search for statically linked library functions

How Different Tokenization Algorithms Impact LLMs and Transformer Models...

Ahmed Mostafa, Raisul Arefin Nahid, Samuel Mulder (Auburn University)

FirmLine: a Generic Pipeline for Large-Scale Analysis of Non-Linux...

Alexander Balgavy (Independent), Marius Muench (University of Birmingham)

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Sheng-Han Wen (National Taiwan University), Wei-Loon Mow (National Taiwan University), Wei-Ning Chen (National Taiwan University), Chien-Yuan Wang (National Taiwan University), Hsu-Chun Hsiao (National Taiwan University)

Effects of Precise and Imprecise Value-Set Analysis (VSA) Information...

Laura Matzen, Michelle A Leger, Geoffrey Reedy (Sandia National Laboratories)

FunctionSimSearch: Fast search for statically linked library functions

View More Papers

How Different Tokenization Algorithms Impact LLMs and Transformer Models...

FirmLine: a Generic Pipeline for Large-Scale Analysis of Non-Linux...

Enhancing Symbolic Execution by Machine Learning Based Solver Selection

Effects of Precise and Imprecise Value-Set Analysis (VSA) Information...