Publications

Notice: The documents here are posted by the contributing authors as a means to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are maintained by authors or by other copyright holders, notwithstanding that they have offered their works here electronically. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Journal papers

• Susumu Nishimura
  Defining Logical Obstruction with Fixpoints in Epistemic Logic
  Journal of Applied and Computational Topology, 2023.
  Online links: [DOI:10.1007/s41468-023-00151-8 | Springer SharedIt]
  
• Keisuke Watanabe and Susumu Nishimura
  May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics (bib+abstract)
  Information Processing Society of Japan Transactions on Programming (PRO), 5(4):17-26, 2012. [IPSJ Online Transactions/J-stage]
• Sin-ya Katsumata and Susumu Nishimura
  Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement. (bib+abstract)
  Journal of Functional Programming, 18(5-6):781-819, 2008. [CambridgeJournals]
  This is a full journal version of the ICFP'06 paper.
• Susumu Nishimura and Keisuke Nakano
  XML stream transformer generation through program composition and dependency analysis. (bib+abstract)
  Science of Computer Programming, 54(2-3):257-290, 2005. [ScienceDirect]
  This is a full journal version of the workshop paper presented at LDTA'2001.
• Martin Müller and Susumu Nishimura
  Type inference for first-class messages with feature constraints. (bib+abstract)
  International Journal of Foundations of Computer Science, 11(1):29-63, 2000. [WordSciNet]
• Susumu Nishimura and Atsushi Ohori
  Parallel functional programming via data-parallel recursion. (bib+abstract)
  Journal of Functional Programming, 9(4):427-463, 1999. [CambridgeJournals]
• Susumu Nishimura
  Strict functional language with cyclic recursive data. (bib+abstract)
  Formal Aspects of Computing, 9(1):78-97, 1997. [Springer link]
• Susumu Nishimura
  Integrating different versions of programs with backward and forward slices. (bib)
  Science of Computer Programming, 27(1):1-35, 1996. [ScienceDirect]

Papers in conference and workshop proceedings

• Susumu Nishimura
  Schlegel Diagram and Optimizable Immediate Snapshot Protocol. (bib+abstract)
  21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2017. [paper at LIPIcs (Open access)]
  

• Susumu Nishimura
  A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. (bib+abstract)
  22nd EACSL Annual Conference on Computer Science Logic (CSL 2013), 2013. [paper at LIPIcs (Open access)]
  

• Yuta Ikeda and Susumu Nishimura
  Calculating Tree Navigation with Symmetric Relational Zipper. (bib+abstract, author's version in PDF ©2011 by ACM)
  20th ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), 2011.

• Susumu Nishimura
  Refining Exceptions in Four-Valued Logic. (bib+abstract, A full version in PDF)
  19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009), LNCS 6037, 2010. [Springer link]

• Susumu Nishimura
  Safe Modification of Pointer Programs in Refinement Calculus. (bib+abstract, author's version in PDF ©Springer Verlag)
  International Conference on Mathematics of Program Construction (MPC '08), LNCS 5133, 2008. [Springer link]

  The PVS implementation of the results in this paper can be found here.

• Sin-ya Katsumata and Susumu Nishimura
  Algebraic Fusion of Functions with an Accumulating Parameter and Its Improvement. (bib+abstract, author's version in PDF ©2006 by ACM)
  Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming (ICFP'06), ACM Press, 2006. [ACM DL]
  

• Susumu Nishimura
  Reasoning about Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. (bib+abstract, preprint version in PDF ©Springer Verlag)
  Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, LNCS 4019, 2006. [Springer link]
  

• Susumu Nishimura
  Fusion with Stacks and Accumulating Parameters. (bib+abstract, gzip'd postscript, pdf ©ACM press)
  Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, ACM Press, 2004. [ACM DL]

Supplementary materials for this publication are available online.

• Susumu Nishimura
  Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. (bib+abstract, gzip'd postscript ©Springer Verlag)
  Proceedings of the First Asian Symposium on Programming Languages and Systems (APLAS 2003), LNCS 2895, 2003. [Springer link]

A longer version is available as a technical report.

• Keisuke Nakano and Susumu Nishimura
  Deriving event-based document transformers from tree-based specifications. (bib+abstract, pdf)
  Proceedings of LDTA'2001 Workshop on Language Descriptions, Tools and Applications, volume 44 of Electronic Notes in Theoretical Computer Science. Elsevier Science, 2001.
  (Superseded by a journal version.)
• Martin Müller and Susumu Nishimura
  Type inference for first-class messages with feature constraints. (bib, gzip'd postscript ©Springer Verlag)
  Proceedings of the 4th ASIAN Computing Science Conference (ASIAN 98), LNCS 1538, 1998. [Springer link]
• Susumu Nishimura
  Static typing for dynamic messages. (bib+abstract, gzip'd postscript ©ACM press)
  Proceedings of the 25th ACM Symposium on Principles of Programming Languages, 1998. [ACM DL]
• Susumu Nishimura, Atushi Ohori, and Keishi Tajima
  An equational object-oriented data model and its data-parallel query language. (bib+abstract, gzip'd postscript ©ACM press)
  OOPSLA '96 Conference Proceedings of Object-Oriented Programming Systems, Languages, and Applications, 1996. [ACM DL]
• Susumu Nishimura and Atsushi Ohori
  A calculus for exploiting data parallelism on recursively defined data (preliminary report). (bib+abstract)
  International Workshop on Theory and Practice on Parallel Programming, LNCS 907, 1995. [Springer link]

Preprints

• Daisuke Nakai, Masaki Muramatsu, and Susumu Nishimura
  Partial Product Updates for Agents of Detectable Failure and Logical Obstruction to Task Solvability. (bib+abstract)
  ArXiv preprint, 2023. [arXiv link]
• Koki Yagi and Susumu Nishimura
  Logical Obstruction to Set Agreement Tasks for Superset-Closed Adversaries. (bib+abstract)
  ArXiv preprint, 2020. [arXiv link]
• Susumu Nishimura
  Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. (bib, gzip'd postscript)
  Technical Report Kyoto-Math 2003-06, a longer version published in the Proceedings of of APLAS 2003.

Unpublished manuscripts

• Susumu Nishimura
  Verifying Data-Parallel Programs with Separation Logic (short presentation).
  SPACE 2006 - 3rd Workshop on Semantics, Program Analysis and Computing Environments for Memory Management.
  This article has been superseded by AMAST'06 paper.
• Susumu Nishimura
  Deforesting in Accumulating Parameters via Type-Directed Transformations. (gzip'd postscript)
  A resume circulated in an informal workshop APLAS'02. This article has been superseded by PEPM'04 paper.

Publications in Japanese language

See here.