Masahiro Sakai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2008–2020
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | PLDI | Semi-static type, shape, and symbolic shape inference for dynamic computation graphs. | Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu |
| 2014 | ICST | MC/DC-Like Structural Coverage Criteria for Function Block Diagrams. | Kohei Maruchi, Hiromasa Shin, Masahiro Sakai |
| 2012 | APSEC | Model-Checking C Programs against JML-like Specification Language. | Masahiro Sakai, Kohei Maruchi, Takeo Imai |
| 2008 | EGVE | Improvement Rendering of Web3D Using the Shading Language. | Masahiro Sakai, Noriyuki Ichijo, Yoshinori Dobashi, Tsuyoshi Yamamoto |