• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20002021

Research activity per year

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

Search results

  • 2021

    A text-based syntax completion method using LR parsing

    Sasano, I. & Choi, K., 2021 Jan 18, PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021. Association for Computing Machinery, Inc, p. 32-43 12 p. (PEPM 2021 - Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Co-located with POPL 2021).

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

    Open Access
  • Server-Side Computation of Package Dependencies in Package-Management Systems

    Kasai, N. & Sasano, I., 2021, Programming Languages and Systems - 19th Asian Symposium, APLAS 2021, Proceedings. Oh, H. (ed.). Springer Science and Business Media Deutschland GmbH, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13008 LNCS).

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

  • 2020

    An approach to generate text-based IDEs for syntax completion based on syntax specification

    Sasano, I., 2020 Jan 20, PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020. Poulsen, C. B. & Hu, Z. (eds.). Association for Computing Machinery, Inc, p. 38-44 7 p. (PEPM 2020 - Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2020).

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

    1 Citation (Scopus)
  • 2019

    Inductive theorem proving in non-terminating rewriting systems and its application to program transformation

    Kikuchi, K., Aoto, T. & Sasano, I., 2019 Oct 7, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. ICST, a13. (PervasiveHealth: Pervasive Computing Technologies for Healthcare).

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

    Open Access
  • 2017

    Detecting code clones with gaps by function applications

    Matsushita, T. & Sasano, I., 2017 Jan 2, PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017. Schultz, U. P. & Yallop, J. (eds.). Association for Computing Machinery, Inc, p. 12-22 11 p. (PEPM 2017 - Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, co-located with POPL 2017).

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

    8 Citations (Scopus)
  • 2012

    Marker-directed optimization of UnCAL graph transformations

    Hidaka, S., Hu, Z., Inaba, K., Kato, H., Matsuda, K., Nakano, K. & Sasano, I., 2012, Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Revised Selected Papers. p. 123-138 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7225 LNCS).

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

    11 Citations (Scopus)
  • 2011

    Toward bidirectionalization of ATL with GRoundTram

    Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H. & Nakano, K., 2011, Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Proceedings. p. 138-151 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6707 LNCS).

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

    16 Citations (Scopus)
  • 2007

    Lightweight fusion by fixed point promotion

    Ohori, A. & Sasano, I., 2007, Conference Record of POPL 2007: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - Papers Presented at the Symposium. p. 143-154 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    29 Citations (Scopus)
  • 2005

    Maximum marking problems with accumulative weight functions

    Sasano, I., Ogawa, M. & Hu, Z., 2005 Dec 1, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 562-578 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3722 LNCS).

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

    5 Citations (Scopus)
  • 2001

    Generation of efficient programs for solving maximum multi-marking problems

    Sasano, I., Hu, Z. & Takeichi, M., 2001, Semantics, Applications, and Implementation of Program Generation - 2nd International Workshop, SAIG 2001, Proceedings. Taha, W. (ed.). Springer Verlag, p. 72-91 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2196).

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

    8 Citations (Scopus)