3 papers
cs.SE2024
Sound Concurrent Traces for Online Monitoring Technical Report
Chukri Soueidi, Ylies Falcone
Monitoring concurrent programs typically rely on collecting traces to abstract program executions. However, existing approaches targeting general behavioral properties are either n…
cs.PL2021
Efficient and Expressive Bytecode-Level Instrumentation for Java Programs
Chukri Soueidi, Marius Monnier, Ali Kassem +1
We present an efficient and expressive tool for the instrumentation of Java programs at the bytecode-level. BISM (Bytecode-Level Instrumentation for Software Monitoring) is a light…
cs.PL2020
BISM: Bytecode-Level Instrumentation for Software Monitoring
Chukri Soueidi, Ali Kassem, Yliès Falcone
BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentati…