Atsushi Igarashi

J-GLOBAL         Last updated: Dec 7, 2018 at 16:06
 
Avatar
Name
Atsushi Igarashi
E-mail
igarashikuis.kyoto-u.ac.jp
ORCID ID
0000-0002-5143-9764

Published Papers

 
Dynamic Type Inference for Gradual Hindley-Milner Typing
Yusuke Miyazaki, Taro Sekiyama, and Atsushi Igarashi
Proceedings of the ACM on Programming Languages   3(POPL) 18:1-18:29   Jan 2019   [Refereed]
Nondetermnistic Manifest Contracts
Yuki Nishida and Atsushi Igarashi
Proceedings of theInternational Symposium on Principles and Practice of Declarative Programming   16:1-16:13   Sep 2018   [Refereed]
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
Proceedings of the 32nd European Conference on Object-Oriented Programming   2:1-2:33   Jul 2018   [Refereed]
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
Science of Computer Programming   156 104-120   Mar 2018   [Refereed]
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation   2-14   Jan 2018   [Refereed]
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Journal of Automated Reasoning   60(3) 279-298   Mar 2018   [Refereed]
A Nonstandard Functional Programming Language
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems   LNCS 10695 514-533   Nov 2017   [Refereed]
A DSL for Compensable and Interruptible Executions
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
Proceedings of 4th Workshop on Reactive and Event-based Languages & Systems (REBLS)      Oct 2017   [Refereed]
On Polymorphic Gradual Typing
Yuu Igarashi, Taro Sekiyama, Atsushi Igarashi
Proceedings of the ACM on Programming Languages   1(ICFP) 40:1-40:29   Sep 2017   [Refereed]
Gradual Session Types
Atsushi Igarashi, Peter Thiemann, Vasco T. Vasconcelos, Philip Wadler
Proceedings of the ACM on Programming Languages   1(ICFP) 38:1-38:28   Sep 2017   [Refereed]
A Type Reconstruction Algorithm for Gradually Typed Delimited Continuations
Yusuke Miyazaki, Atsushi Igarashi
第19回プログラミングおよびプログラミング言語ワークショップ(PPL2017)論文集      Mar 2017
A Hoare Logic for GPU Kernels
Kensuke Kojima and Atsushi Igarashi
ACM Transactions on Computational Logic   18(1) 3:1-3:43   Feb 2017   [Refereed]
Verification of Code Generators via Higher-Order Model Checking
Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi
Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation   59-70   Jan 2017   [Refereed]
Stateful Manifest Contracts
Taro Sekiyama and Atsushi Igarashi
Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages   530-544   Jan 2017   [Refereed]
Polymorphic Manifest Contracts, Revised and Resolved
Taro Sekiyama, Atsushi Igarashi, Michael Greenberg
ACM Transactions on Programming Languages and Systems   39(1) 3:1-3:36   Jan 2017   [Refereed]
Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi
Proceedings of the 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016)   LNCS 9971 90-106   Nov 2016   [Refereed]
An Extended Behavioral Type System for Memory-Leak Freedom
Qi Tan, Kohei Suenaga, Atsushi Igarashi
   Sep 2016
A Library-Based Approach to Context-Dependent Computation with Reactive Values
Hiroaki Inoue, Atsushi Igarashi
Proceedings of The Constrained and Reactive Objects Workshop      Mar 2016   [Refereed]
Hiroaki Inoue, Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems   9458 445-464   Nov 2015   [Refereed]
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems   9458 189-207   Nov 2015   [Refereed]
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
International Workshop on Context-Oriented Programming, COP'15 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'15      Jul 2015   [Refereed]
Taro Sekiyama, Yuki Nishida, Atsushi Igarashi
Proceedings of ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)   195-207   Jan 2015   [Refereed]
Robert Hirschfeld, Hidehiko Masuhara, Atsushi Igarashi, Tim Felgentreff
Computer Software   32(3) 149-158   Aug 2015   [Refereed]
Automatic Memory Management Based on Program Transformation using Ownerships
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
Proceedings of Asian Symposium on Programming Languages and Systems (APLAS)   8858 58-77   Nov 2014   [Refereed]
Automatic Synthesis of Combiners in the MapReduce Framework: An Approach with Right Inverse
Minoru Kinoshita, Kohei Suenaga, Atsushi Igarashi
Proceedings of International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)      Sep 2014   [Refereed]
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi
International Workshop on Context-Oriented Programming, COP'14 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14      Jul 2014   [Refereed]
Hiroaki Inoue and Atsushi Igarashi and Malte Appeltauer and Robert Hirschfeldi
International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP'14      Jul 2014   [Refereed]
Yuichiro Hanada, Atsushi Igarashi
Proceedings of International Symposium on Functional and Logic Programming   8475 103-118   Apr 2014   [Refereed]
Layer Refinement in L
Robert Hirschfeld, Atsushi Igarashi, Hidehiko Masuhara
   Aug 2013
Robert Hirschfeld, Hidehiko Masuhara, and Atsushi Igarashi
Proceedings of International Workshop on Context-Oriented Programming (COP'13)      Jul 2013   [Refereed]
C. Saito; A. Igarashi
Science of Computer Programming   78(7) 933-952   2013   [Refereed]
Kensuke Kojima,Atsushi Igarashi
Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings   8301 58-73   Dec 2013   [Refereed]
Naoki Kobayashi,Atsushi Igarashi
Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings   431-450   2013   [Refereed]
A Type System for Dynamic Layer Composition
Atsushi Igarashi, Robert Hirschfeld, and Hidehiko Masuhara
Proceedings of the International Workshop on Foundations of Object-Oriented Languages (FOOL2012)      Oct 2012   [Refereed]
Kohei Suenaga,Ryota Fukuda,Atsushi Igarashi
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012   1-20   2012   [Refereed]
K. Kojima; A. Igarashi
Information and Computation   209(12) 1491-1503   Dec 2011   [Refereed]
João Filipe Belo,Michael Greenberg,Atsushi Igarashi,Benjamin C. Pierce
Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings   18-37   2011   [Refereed]
Robert Hirschfeld,Atsushi Igarashi,Hidehiko Masuhara
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, FOAL 2011, Porto de Galinhas, Brazil, March 21-25, 2011   19-23   2011   [Refereed]
Lintaro Ina,Atsushi Igarashi
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2011, part of SPLASH 2011, Portland, OR, USA, October 22 - 27, 2011   609-624   2011   [Refereed]
T. Tsukada; A. Igarashi
Logical Methods in Computer Science   6(4)    2010   [Refereed]
H. Masuhara; A. Igarashi; M. Toyama
AOSD.10 - 9th International Conference on Aspect-Oriented Software Development   121-132   2010   [Refereed]
S. Chiba; A. Igarashi; S. Zakirov
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA   539-554   2010   [Refereed]
C. Saito; A. Igarashi
ACM SIGPLAN Notices   44(10) 263-282   Oct 2009   [Refereed]
T. Tsukada; A. Igarashi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   5608 LNCS 341-355   2009   [Refereed]
Lintaro Ina; Atsushi Igarashi
Proceedings for the 1st Workshop on Script to Program Evolution, STOP'09 in Conjunction with European Conference on Object-Oriented Programming, ECOOP'09   17-29   2009   [Refereed]
Chieri Saito, Atsushi Igarashi
Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC2009), 1851-1858      2009   [Refereed]
The Essence of Lightweight Family Polymorphism
Chieri Saito, Atsushi Igarashi
Journal of Object Technology   7(5) 67-99   Jun 2008
On Constructive Linear-Time Temporal Logic
Kensuke Kojima, Atsushi Igarashi
Proceedings of the Workshop on Intuitionistil Modal Logic and Applications (IMLA'08)      Jun 2008
C. Saito; A. Igarashi; M. Viroli
Journal of Functional Programming   18 285-331   May 2008   [Refereed]
M. Sato; T. Sakurai; Y. Kameyama; A. Igarashi
Frontiers of Computer Science in China   2(1) 12-21   2008   [Refereed]

Misc

 
R. Jhala; A. Igarashi
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   7705 LNCS vi   2012   [Refereed]
Preface
M. Appeltauer; S. González; R. Hirschfeld; H. Masuhara; J. Vallejos; S. Chiba; D. Clarke; M. Denker; A. Igarashi; T. Kamina; T. Rho; E. Truyen
International Workshop on Context-Oriented Programming, COP'12 - Co-located with the 26th European Conference on Object-Oriented Programming, ECOOP\\'12      2012   [Refereed]
Special track on object-oriented languages and systems
D. Ancona; S. Chiba; A. Igarashi; A. Kellens
Proceedings of the ACM Symposium on Applied Computing   1273-1274   2011   [Refereed]
E. Albert; A. Banerjee; S. Drossopoulou; M. Huisman; A. Igarashi; G.T. Leavens; P. Müller; T. Wrigstad
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)   5475 LNCS 70-76   2009   [Refereed]
D. Ancona; R. Raje; M. Viroli; U. Bellur; V. Bono; J. Boyland; G. Castagna; A. Coglio; P. Cointe; P. Costanza; S. Drossopoulou; E. Ernst; G. Fox; J. Gray; A. Igarashi; R. Klefstad; D. Lea; M. Parashar; G. Rimassa; V. Sassone; Y. Smaragdakis; D. Syme; B. Tekinerdogan; J. Vitek; E. Zucca
Proceedings of the ACM Symposium on Applied Computing   2 1256-1257   2005   [Refereed]

Books etc

 
Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016. Proceedings
Atsushi Igarashi (Part:Editor)
Springer-Verlag   Nov 2016   
Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura (Part:Joint Editor)
Springer-Verlag   2014   
Programming Languages and Systems: Proceedings of the 10th Asian Symposium, APLAS 2012
Ranjit Jhala and Atsushi Igarashi (Part:Joint Editor)
Springer-Verlag   Dec 2012   

Conference Activities & Talks

 
Processes as Types: A Generic Framework of Behavioral Type Systems
The 4th International Workshop on Foundations of Coordination Languages and Service Architectures   Aug 2005   
Towards Pactical Resource Usage Analysis
プログラム解析ワークショップ   Aug 2007   日本IBM東京基礎研究所
Featherweight Approach to FOOL
European Conference on Object-Oriented Programming   Jul 2011   AITO

Association Memberships