Kengo Kido
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2015–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | APLAS | Sharper and Simpler Nonlinear Interpolants for Program Verification. | Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo |
| 2016 | VMCAI | Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2015 | CAV | Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |