SASANO Isao

J-GLOBAL         Last updated: Jan 23, 2019 at 17:14
 
Avatar
Name
SASANO Isao
Affiliation
Shibaura Institute of Technology
Section
College of Engineering, Department of Information Science and Engineering
Degree
Ph. D.(University of Tokyo)

Research Areas

 
 
  • Informatics / Software / Program transformation
  • Informatics / Software / Programming languages
  • Informatics / Software / Programming support

Academic & Professional Experience

 
Oct 2012
 - 
Today
Associate Professor, Department of Information Science and Engineering, College of Engineering, Shibaura Institute of Technology
 
Oct 2008
 - 
Sep 2012
Assistant Professor, Department of Information Science and Engineering, College of Engineering, Shibaura Institute of Technology
 
Apr 2007
 - 
Sep 2008
Assistant Professor, Ohori lab, Research Institute of Electrical Communication, Tohoku University
 
Jun 2005
 - 
Mar 2007
Research associate, Ohori lab, Research Institute of Electrical Communication, Tohoku University
 
Apr 2003
 - 
May 2005
Research associate, School of Information Science, JAIST
 
Apr 2002
 - 
Mar 2003
Research fellow (PD), Japan Society for the Promotion of Science
 
Apr 2002
 - 
Jan 2003
Academic Visitor, Computing Laboratory, Oxford University
 
Apr 2001
 - 
Mar 2002
Research fellow (DC2), Japan Society for the Promotion of Science
 

Education

 
Apr 1999
 - 
Mar 2002
Graduate School of Engineering, The University of Tokyo
 
Apr 1997
 - 
Mar 1999
Graduate School of Engineering, The University of Tokyo
 

Published Papers

 
Tsubasa Matsushita,Isao Sasano
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017   12-22   2017   [Refereed]
Isao Sasano
EAI Endorsed Trans. Self-Adaptive Systems   2(5) e5   2016   [Refereed]
Isao Sasano
BICT 2015, Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), New York City, United States, December 3-5, 2015   438-441   2015   [Refereed]
Isao Sasano
8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014      2014   [Refereed]
Isao Sasano,Takumi Goto
Higher-Order and Symbolic Computation   25(1) 127-163   2012   [Refereed]
Takumi Goto,Isao Sasano
Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012   131-140   2012   [Refereed]
Isao Sasano,Zhenjiang Hu,Soichiro Hidaka,Kazuhiro Inaba,Hiroyuki Kato,Keisuke Nakano
Theory and Practice of Model Transformations - 4th International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings   138-151   2011   [Refereed]
Soichiro Hidaka,Zhenjiang Hu,Kazuhiro Inaba,Hiroyuki Kato,Kazutaka Matsuda,Keisuke Nakano,Isao Sasano
Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers   123-138   2011   [Refereed]
Isao Sasano, Atsushi Ohori
ACM Principles of Programming Languages   143-154   Jan 2007   [Refereed]
Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
International Colloquium on Theoretical Aspects of Computing   562-578   Oct 2005   [Refereed]
Iterative-free program analysis
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
ACM International Conference on Functional Programming   111-123   Aug 2003   [Refereed]
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
Computer Software   19(4) 39-44   Jul 2002   [Refereed]
Mizuhito Ogawa,Zhenjiang Hu,Isao Sasano,Masato Takeichi
The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings   58-73   Nov 2002
Isao Sasano, Zhenjiang Hu, Masato Takeichi
Workshop on the Semantics, Applications, and Implementation of Program Generation, Lecture Notes in Computer Science   2196 72-91   Jan 2001   [Refereed]
© Springer-Verlag Berlin Heidelberg 2001. Program generation has seen an important role in a wide range of software development processes, where effective calculation rules are critical. In this paper, we propose a more general calculation rule fo...
Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
ACM International Conference on Functional Programming   137-149   Sep 2000   [Refereed]
In this paper we propose a new method for deriving a practical linear-time algorithm from the specification of a maximum-weightsum problem: From the elements of a data structure x, find a subset which satisfies a certain property p and whose weigh...

Research Grants & Projects

 
JSPS: KAKENHI
Project Year: Apr 2016 - Mar 2019    Investigator(s): SASANO Isao
JSPS: KAKENHI
Project Year: Apr 2007 - Mar 2011    Investigator(s): Isao Sasano
Interactive program development system based on program transformation
Project Year: 2007 - 2011
JSPS: KAKENHI
Project Year: Apr 2004 - Mar 2007    Investigator(s): SASANO Isao