If you made any changes in Pure these will be visible here soon.

Research Output

  • 175 Citations
  • 6 h-Index
  • 17 Conference contribution
  • 8 Article
Filter
Conference contribution
2019

Combining higher-order model checking with refinement type inference

Sato, R., Iwayama, N. & Kobayashi, N., Jan 14 2019, PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019. Hermenegildo, M. & Igarashi, A. (eds.). Association for Computing Machinery, Inc, p. 47-53 7 p. (PEPM 2019 - Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Git-based integrated uncertainty manager

Ubayashi, N., Watanabe, T., Kamei, Y. & Sato, R., May 2019, Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019. Institute of Electrical and Electronics Engineers Inc., p. 95-98 4 p. 8802863. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion, ICSE-Companion 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

IARCH-U/MC: An uncertainty-aware model checker for embracing known unknowns

Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2019, ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies. Maciaszek, L., Maciaszek, L. & van Sinderen, M. (eds.). SciTePress, p. 176-184 9 p. (ICSOFT 2018 - Proceedings of the 13th International Conference on Software Technologies).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Modular Programming and Reasoning for Living with Uncertainty

Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2019, Software Technologies - 13th International Conference, ICSOFT 2018, Revised Selected Papers. Maciaszek, L. A., Maciaszek, L. A. & van Sinderen, M. (eds.). Springer Verlag, p. 220-244 25 p. (Communications in Computer and Information Science; vol. 1077).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

When and Why Do Software Developers Face Uncertainty?

Ubayashi, N., Kamei, Y. & Sato, R., Jul 2019, Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019. Institute of Electrical and Electronics Engineers Inc., p. 288-299 12 p. 8854688. (Proceedings - 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2018

Can abstraction be taught? Refactoring-based abstraction learning

Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2018, MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development. Hammoudi, S., Pires, L. F. & Selic, B. (eds.). SciTePress, p. 429-437 9 p. (MODELSWARD 2018 - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
1 Citation (Scopus)

HoIce: An ICE-Based Non-linear Horn Clause Solver

Champion, A., Kobayashi, N. & Sato, R., Jan 1 2018, Programming Languages and Systems - 16th Asian Symposium, APLAS 2018, Proceedings. Ryu, S. (ed.). Springer Verlag, p. 146-156 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11275 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

ICE-based refinement type discovery for higher-order functional programs

Champion, A., Chiba, T., Kobayashi, N. & Sato, R., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer Verlag, p. 365-384 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Poster: Exploring uncertainty in GitHub OSS projects: When and how do developers face uncertainty?

Ubayashi, N., Muraoka, H., Muramoto, D., Kamei, Y. & Sato, R., May 27 2018, Proceedings - International Conference on Software Engineering. IEEE Computer Society, p. 272-273 2 p. (Proceedings - International Conference on Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2017

Modular verification of higher-order functional programs

Sato, R. & Kobayashi, N., Jan 1 2017, Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings. Yang, H. (ed.). Springer Verlag, p. 831-854 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10201 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)
2016

Automatically disproving fair termination of higher-order functional programs

Watanabe, K., Sato, R., Tsukada, T. & Kobayashi, N., Aug 4 2016, ICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming. Sumii, E., Garrigue, J. & Keller, G. (eds.). Association for Computing Machinery, Inc, p. 243-255 13 p. (ICFP 2016 - Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., Jan 11 2016, POPL 2016 - Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Majumdar, R. & Bodik, R. (eds.). Association for Computing Machinery, p. 57-68 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 20-22-January-2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

9 Citations (Scopus)
2015

Predicate abstraction and CEGAR for disproving termination of Higher-Order functional programs

Kuwahara, T., Sato, R., Unno, H. & Kobayashi, N., Jan 1 2015, Computer Aided Verification - 27th International Conference, CAV 2015, Proceedings. Păsăreanu, C. S. & Kroening, D. (eds.). Springer Verlag, p. 287-303 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9207).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Citations (Scopus)

Verifying relational properties of functional programs by first-order refinement

Asada, K., Sato, R. & Kobayashi, N., Jan 13 2015, PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015. Association for Computing Machinery, Inc, p. 61-72 12 p. (PEPM 2015 - Proceedings of the 2015 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2015).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)
2013

Towards a scalable software model checker for higher-order programs

Sato, R., Unno, H. & Kobayashi, N., Feb 12 2013, PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013. p. 53-62 10 p. (PEPM 2013 - Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

27 Citations (Scopus)
2011

Predicate abstraction and CEGAR for higher-order model checking

Kobayashi, N., Sato, R. & Unno, H., Jul 7 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. p. 222-233 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

88 Citations (Scopus)