Abstract is missing.
- Combining E-Graphs with Abstract InterpretationSamuel Coward, George A. Constantinides, Theo Drane. 1-7 [doi]
- Static Analysis of Data Transformations in Jupyter NotebooksLuca Negrini, Guruprerana Shabadi, Caterina Urban. 8-13 [doi]
- Speeding up Static Analysis with the Split OperatorVincenzo Arceri, Greta Dolcetti, Enea Zaffanella. 14-19 [doi]
- When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in CMichael Schwarz 0007, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl. 20-26 [doi]
- HWASanIO: Detecting C/C++ Intra-object Overflows with Memory ShadingKonrad Hohentanner, Florian Kasten, Lukas Auer. 27-33 [doi]
- Extensible and Scalable Architecture for Hybrid AnalysisMarc Miltenberger, Steven Arzt. 34-39 [doi]
- User-Assisted Code Query OptimizationBen Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang 0005. 40-46 [doi]
- Completeness Thresholds for Memory Safety of Array Traversing ProgramsTobias Reinhard, Justus Fasse, Bart Jacobs 0002. 47-54 [doi]
- Crosys: Cross Architectural Dynamic AnalysisSangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim. 55-62 [doi]
- RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection AlgorithmsMichael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly. 63-70 [doi]