Collaborated with:Y.He R.Kumar S.Amani Alex Hixon Z.Chen C.Rizkallah P.Chubb L.O'Connor Joel Beeren J.Lim T.Sewell Joseph Tuong G.Keller T.C.Murray G.Klein G.Heiser
Talks about:proof (3) isabell (2) system (2) hol (2) recommend (1) implement (1) strategi (1) languag (1) generat (1) verifi (1)
Person: Yutaka Nagashima
DBLP: Nagashima:Yutaka
Contributed to:
2018
2017
2016Wrote 3 papers:
- ASE-2018-NagashimaH #higher-order #named #proving #recommendation
- PaMpeR: proof method recommendation system for Isabelle/HOL (YN, YH), pp. 362–372.
- CADE-2017-NagashimaK #generative #higher-order #proving
- A Proof Strategy Language and Proof Script Generation for Isabelle/HOL (YN, RK), pp. 528–545.
- ASPLOS-2016-AmaniHCRCOBNLST #file system #implementation #named #verification
- CoGENT: Verifying High-Assurance File System Implementations (SA, AH, ZC, CR, PC, LO, JB, YN, JL, TS, JT, GK, TCM, GK, GH), pp. 175–188.