Marek Chalupa
where else to find them
github:mchalupa
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Jan Strejcekonce
who talks about the same things
- Krishnendu Chatterjee11 talks
- Michael Pradel7 talks
- Zhendong Su25 talks
- Manuel Rigger10 talks
- Andreas Pavlogiannis18 talks
- Michalis Kokologiannakis12 talks
| title | conference | date |
|---|---|---|
| Backward Symbolic Execution with Loop Folding | SAS 2021 | 2021-10-17 |
Presents backward symbolic execution with loop folding that proves error unreachability by deriving inductive, often disjunctive loop invariants from backward… | ||
| Symbiotic: finding bugs in C programs | DevConf.CZ 2019 | 2019-01-25 |
Symbiotic is an open‑source C bug finder that translates code to LLVM bitcode via clang, applies optimizations and program slicing, then runs symbolic… | ||
| nothing matches | ||