Kostis Sagonas
where else to find them
github:kostis
what they talk about
where they keep going back
- Erlang User Conference4 editions2012–2017
on a stage with
never shared a talk
who talks about the same things
- Nelson Vides8 talks
- Thomas Arts7 talks
- Adam McCullough6 talks
- Quinn Wilton4 talks
- Andreas Löscher4 talks
- Robert Virding23 talks
| title | conference | date |
|---|---|---|
| Fifteen Years of Successfully Dialyzing Erlang and Elixir Code (Keynote) | Erlang 2021 | 2021-08-26 |
https://icfp21.sigplan.org/details/erlang-2021-papers/7/Fifteen-Years-of-Successfully-Dialyzing-Erlang-and-Elixir-Code-Keynote- | ||
| Testing and Verifying Chain Repair Protocols using Concuerror | Erlang User Conference 2017 | 2017-06-08 |
Model of Corfu chain repair gets programmed in Erlang and checked with Concuerror; the tool finds a known buggy repair quickly with bounding — about 65 traces… | ||
| A CutEr Tool | Erlang User Conference 2016 | 2016-09-08 |
CutEr is a fully automatic concolic unit testing tool for Erlang that aims for high path coverage by doing concrete plus symbolic execution, collecting path… | ||
| On the Scalability of the Erlang Virtual Machine and its Term Storage | Erlang Factory SF Bay Area 2014 | 2014-03-06 |
Benchmarks use the open benchErl suite and real apps to show which VM changes actually move the needle: lock‑free scheduler queues, a new allocator… | ||
| Finding Concurrency Errors using Concuerror | Erlang User Conference 2013 | 2013-06-13 |
Erlang User Conference 2013
More info and slides on the website: http://www.erlang-factory.com/conference/ErlangUserConference2013/talks
Concurrent programs… | ||
| An Erlang-Based Framework for the Automatic Testing of Web Services | Erlang User Conference 2012 | 2012-05-28 |
Framework reads a WSDL, uses xmerl to parse types, and automatically generates PropEr generators from WSDL types plus test files that call operations via Yaws… | ||
| nothing matches | ||