Travelled to:1 × India
1 × Italy
2 × USA
Collaborated with:N.Kobayashi N.K.0001 H.Unno K.Asada Naoki Iwayama T.Kuwahara Akihiro Murase T.Terauchi H.U.0001
Talks about:order (7) higher (6) program (5) function (4) model (3) abstract (2) predic (2) verif (2) refin (2) check (2)
Person: Ryosuke Sato
DBLP: Sato:Ryosuke
Contributed to:
2015
20152013
2011
2017
20162019Wrote 7 papers:
- CAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination
- Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
- PEPM-2015-AsadaS0 #first-order #functional #refinement #relational #source code #verification
- Verifying Relational Properties of Functional Programs by First-Order Refinement (KA, RS, NK), pp. 61–72.
- PEPM-2013-SatoUK #higher-order #model checking #scalability #source code #towards
- Towards a scalable software model checker for higher-order programs (RS, HU, NK), pp. 53–62.
- PLDI-2011-KobayashiSU #abstraction #higher-order #model checking
- Predicate abstraction and CEGAR for higher-order model checking (NK, RS, HU), pp. 222–233.
- ESOP-2017-Sato0 #composition #functional #higher-order #source code #verification
- Modular Verification of Higher-Order Functional Programs (RS, NK0), pp. 831–854.
- POPL-2016-MuraseT0SU #functional #higher-order #source code #verification
- Temporal verification of higher-order functional programs (AM, TT, NK0, RS, HU0), pp. 57–68.
- PEPM-2019-SatoI0 #higher-order #model checking #refinement #type inference
- Combining higher-order model checking with refinement type inference (RS, NI, NK0), pp. 47–53.