| Issue Date | Title | Author(s) |
| 23-Jun-2022 | A deterministic memory allocator for dynamic symbolic execution | Schemmel, D; Büning, J; Busse, F; Nowack, M; Cadar, C, et al |
| Nov-2020 | Characterization and processing of novel neck photoplethysmography signals for cardiorespiratory monitoring | Rodriguez-Villegas, Esther; García López, Irene Mar´ıa; |
| 1-Jul-2022 | Combining static analysis error traces with dynamic symbolic execution (experience paper) | Busse, F; Gharat, P; Cadar, C; Donaldson, A; , et al |
| 8-Jul-2022 | CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively | Even-Mendoza, K; Cadar, C; Donaldson, A; , et al |
| Mar-2021 | Mechanocatalytic conversion of (Ligno)cellulosic biomass: kinematic modelling of the milling process and experimental methods for product valorisation | Rinaldi, Roberto; Kessler, Martin; |
| 1-Nov-2020 | Past-sensitive pointer analysis for symbolic execution | Trabish, D; Kapus, T; Rinetzky, N; Cadar, C; |
| 25-Dec-2020 | Pending constraints in symbolic execution for better exploration and seeding | Kapus, T; Busse, F; Cadar, C; |
| Jul-2020 | Running symbolic execution forever | Busse, F; Nowack, M; Cadar, C; , et al |
| 21-Jan-2022 | SaBRe: load-time selective binary rewriting | Arras, P-A; Andronidis, A; Pina, L; Mituzas, K; Shu, Q, et al |
| Aug-2022 | Semantic and effective communications | Gunduz, Deniz; Tung, Tze-Yang; |
| 18-Jul-2022 | SnapFuzz: High-throughput fuzzing of network applications | Andronidis, A; Cadar, C; |