Neven Miculinic
where else to find them
linkedin:nmiculinic
devto:nmiculinic
what they talk about
all 6 in the filters
where they keep going back
- WebCamp Zagreb2 editions2018–2019
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Kubernetes Operators: Safety First Through Model Checkers | KubeCon + CloudNativeCon North America 2020 Virtual | 2020-11-17 |
Shows that applying TLA+/PlusCal model checking to Kubernetes operator designs finds real bugs that unit and fault-injection tests miss — example model of a… | ||
| Data race detection | WebCamp Zagreb 2019 | 2019-10-11 |
Explains concrete data-race detection for Go via the -race flag that compiles with ThreadSanitizer (LLVM) instrumentation, claiming no false positives but… | ||
| Pragmatic execution tracing | WebCamp Zagreb 2018 | 2018-10-05 |
Tracing captures a full request path with spans and trace IDs so you can pinpoint a missing DB index, a hot CPU hotspot, or a fan‑out that makes latency grow… | ||
| nothing matches | ||