Keigo Imai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2022
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | TACAS | Kmclib: Automated Inference and Verification of Session Types from OCaml Programs. | Keigo Imai, Julien Lange, Rumyana Neykova |
| 2020 | ECOOP | Multiparty Session Programming With Global Protocol Combinators. | Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen |
| 2020 | FLOPS | Session Types Without Sophistry - System Description. | Oleg Kiselyov, Keigo Imai |
| 2017 | Coordination | Session-ocaml: A Session-Based Library with Polarities and Lenses. | Keigo Imai, Nobuko Yoshida, Shoji Yuen |