This shows you the differences between two versions of the page.
| Next revision | Previous revision |
| using:pgo_generating_go_from_pluscal [2024/09/28 15:58] – created - external edit 127.0.0.1 | using:pgo_generating_go_from_pluscal [2024/09/28 18:21] (current) – fponzi |
|---|
| Watch the talk to the TLA+ 2019 conf: | Watch the talk to the TLA+ 2019 conf: |
| |
| <HTML> | {{youtube>GvrpUeDN5zs?large}} |
| <iframe width="859" height="483" src="https://www.youtube.com/embed/GvrpUeDN5zs?list=PLWLcqZLzY8u_Osnz-YPOVrptG1ys73OkR" title="Compiling Distributed System Models into Implementations with PGo - Ivan Beschastnikh, Finn Hackett" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" referrerpolicy="strict-origin-when-cross-origin" allowfullscreen> | |
| </iframe> | |
| </HTML> | |
| You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]] | You can also read the related paper: [[https://dl.acm.org/doi/10.1145/3575693.3575695|Compiling Distributed System Models with PGo]] |
| |
127.0.0.1