Kostas Ferles
where else to find them
x:KFerles
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Benjamin Sepanskionce
- Isil Dilligonce
- James Bornholtonce
all 6 in the filters
who talks about the same things
- Jon Stephens4 talks
- Isil Dillig15 talks
- Cezar-Constantin Andrici8 talks
- Cătălin Hriţcu16 talks
- Exequiel Rivas6 talks
- Ilya Kaysin2 talks
| title | conference | date |
|---|---|---|
| Synthesizing fine-grained synchronization protocols for implicit monitors | OOPSLA 2022 | 2022-12-05 |
A tool called Cortado statically proves safe interleavings by commutativity checks, builds a MaxSAT encoding that assigns locks per code snippet, and… | ||
| V for Verification | DeFi Security Summit 2022 | 2022-08-27 |
A unified verification-as-a-service runs a language- and blockchain-agnostic pipeline that takes code plus optional V specification language assertions… | ||
| Verifying Correct Usage of Context-Free API Protocols | POPL 2021 | 2021-01-17 |
CFPChecker verifies context-free grammar API protocols by over-approximating program API sequences with a CFG, checking language inclusion, and running… | ||
| nothing matches | ||