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

Research Output 2011 2019

  • 157 Citations
  • 6 h-Index
  • 16 Conference contribution
  • 6 Article
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

Model checking

Git-based integrated uncertainty manager

Ubayashi, N., Watanabe, T., Kamei, Y. & Sato, R., May 1 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

Managers
uncertainty
manager
software development
Software engineering
1 Citation (Scopus)

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., van Sinderen, M. & Maciaszek, L. (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

Software engineering
Uncertainty

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

Programming
Reasoning
Uncertainty
Software engineering
Software Development

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

Uncertainty
Software engineering
Defects
2018

An empirical study on weighting techniques for open source software assessment models

Nakano, D., Kamei, Y., Sato, R., Ubayashi, N., Takayama, S. & Iwasaki, T., Jan 1 2018, In : Computer Software. 35, 4, p. 136-143 8 p.

Research output: Contribution to journalArticle

Open source software
Degradation
Industry
1 Citation (Scopus)

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. Pires, L. F., Selic, B. & Hammoudi, S. (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

Students
Software engineering
Teaching
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

Horn clause
Program Verification
Higher Order
Transition Systems
Supervised learning
6 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

Ice
Refinement
Higher Order
Invariant
Recursive functions

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.

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

Software engineering
Uncertainty

Toward automatic program repair using knowledge extracted from stack overflow

Hirose, M., Ubayashi, N., Kamei, Y. & Sato, R., Jan 1 2018, In : Computer Software. 35, 4, p. 144-150 7 p.

Research output: Contribution to journalArticle

Websites
Repair
2017
2 Citations (Scopus)

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

Higher Order
Refinement
Model checking
Counterexample
Intersection
3 Citations (Scopus)

Verifying relational properties of functional programs by first-order refinement

Asada, K., Sato, R. & Kobayashi, N., Apr 1 2017, In : Science of Computer Programming. 137, p. 2-62 61 p.

Research output: Contribution to journalArticle

Recursive functions
Model checking
Experiments
2016
3 Citations (Scopus)

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.

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

Model checking
4 Citations (Scopus)

Temporal verification of higher-order functional programs

Murase, A., Terauchi, T., Kobayashi, N., Sato, R. & Unno, H., Apr 8 2016, In : ACM SIGPLAN Notices. 51, 1, p. 57-68 12 p.

Research output: Contribution to journalArticle

Acoustic waves
7 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

Acoustic waves
2015
10 Citations (Scopus)

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

Model checking
Predicate
Termination
Branch
Random number generation
2 Citations (Scopus)

Refinement type checking via assertion checking

Sato, R., Asada, K. & Kobayashi, N., Nov 15 2015, In : Journal of information processing. 23, 6, p. 827-834 8 p.

Research output: Contribution to journalArticle

Specifications
Experiments
6 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

Recursive functions
Model checking
Experiments
2013
26 Citations (Scopus)

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

Model checking
Data structures
Scalability
2011

Ordered types for stream processing of tree-structured data

Sato, R., Suenaga, K. & Kobayashi, N., Jan 1 2011, In : Journal of information processing. 19, p. 74-87 14 p.

Research output: Contribution to journalArticle

Processing
85 Citations (Scopus)

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

Model checking