Johannes Bader
where else to find them
no profile links on file
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 2 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Joshua Sunshine3 talks
- Cameron Wong3 talks
- Michael Pradel7 talks
- Tamás Szabó6 talks
- Jonathan Aldrich17 talks
- Alexander J. Summers13 talks
| title | conference | date |
|---|---|---|
| Gradual Verification of Recursive Heap Data Structures | OOPSLA 2020 | 2020-11-15 |
Practical system that extends a base static verifier with gradual formulas and optimistic strengthening, inserting runtime checks when a missing spec was… | ||
| A Comprehensive Measurement Study of Domain Generating Malware | USENIX Security '16 | 2016-08-10 |
Reimplemented 43 DGAs and extracted 253 seeds to precompute about 160 million domains, then queried historical WHOIS/DomainTools records for up to 18 million… | ||
| nothing matches | ||