Faculty Information - TATSUYA ABE

■ Academic background

1.	1998/04～2002/03	Faculty of Science, Kyoto University, Graduated, BSc
2.	2002/04～2004/03	〔Master Course〕, Graduate School of Infomation Science and Technology, The University of Tokyo, Completed, MSc
3.	2004/04～2007/09	〔Doctorial Course〕, Graduate School of Infomation Science and Technology, The University of Tokyo, Accomplished credits for doctoral program
4.	2007/12/25 Degree Acquisition	The University of Tokyo, PhD

■ Present specialized field

Software (Key Word：Programming languages, mathematical logic, lambda calculi, concurrency)

■ E-Mail Address

■ Research activities

1.	2011/06～	Information Processing Society of Japan
2.	2017/08～	Japan Society for Software Science and Technology

■ Works

1.	Article	A concurrent system of multi-ported processes with causal dependency Proceedings of APLAS pp.146-162 (Single) 2004/11
2.	Article	Completeness of modal proofs in first-order predicate logic JSSST Computer Software 24(4),pp.165-177 (Single) 2007/11
3.	Article	Formalization of system LSI specification and automatic generation of verification items Proceedings of TESTCOM/FATES pp.75-76 (Collaboration) 2008/06
4.	Article	Xcrypt: a Perl extension for job level parallel programming Proceedings of WHIST pp.1-9 (Collaboration) 2012/05
5.	Article	Auto-tuning of numerical programs by block multi-color ordering code generation and job-level parallel execution Proceedings of iWAPT pp.404-419 (Collaboration) 2012/07
6.	Article	On-the-fly synchronization checking for interactive programming in XcalableMP Proceedings of P2S2 pp.29-37 (Collaboration) 2012/09
7.	Article	Xcrypt on Lisp: a scripting system for job level parallel programming in Lisp Proceedings of ILC pp.107-114 (Collaboration) 2012/10
8.	Article	Model checking with user-definable abstraction for partitioned global address space languages Proceedings of PGAS pp.1-10 (Collaboration) 2012/10
9.	Article	Model checking stencil computations written in a partitioned global address space language Proceedings of HIPS pp.365-374 (Collaboration) 2013/05
10.	Article	Model checking with user-definable memory consistency models. Proceedings of PGAS pp.225-230 (Collaboration) 2013/10
11.	Article	A general model checking framework for various memory consistency models Proceedings of HIPS pp.332-341 (Collaboration) 2014/05
12.	Article	Optimization of a general model checking framework for various memory consistency models. Proceedings of PGAS pp.1-14 (Collaboration) 2014/10
13.	Article	Towards a unified verification theory for various memory consistency models Proceedings of LOLA pp.1-2 (Collaboration) 2015/07
14.	Article	Reducing state explosion for software model checking with relaxed memory consistency models Proceedings of SETTA pp.118-135 (Collaboration) 2016/11
15.	Article	Observation-based concurrent program logic for relaxed memory consistency models Proceedings of APLAS pp.63-84 (Collaboration) 2016/11
16.	Article	Concurrent program logic for relaxed memory consistency models with dependencies across loop iterations Journal of Information Processing 25,pp.244-255 (Collaboration) 2017/01
17.	Article	Reordering control approaches to state explosion in model checking with memory consistency models Proceedings of VSTTE (Collaboration) 2017/07
18.	Article	The system SOL: second-order laboratory Proceedings of IWC pp.79-79 (Collaboration) 2017/09
19.	Article	Model checking copy phases of concurrent copying garbage collection with various memory models Proceedings of OOPSLA (Collaboration) 2017/10
20.	Article	A General Model Checking Framework for Various Memory Consistency Models International Journal on Software Tools for Technology Transfer 19(5),pp.623-647 (Collaboration) 2017/10
21.	Article	A verifier of directed acyclic graphs for model checking with memory consistency models Proceedings of HVC pp.51-66 (Single) 2017/11
22.	Article	Improvement of a Library for Model Checking under Weakly Ordered Memory Model with SPIN Journal of Information Processing 26,pp.314-326 (Collaboration) 2018/03
23.	Article	Local Data Race Freedom with Non-Multi-Copy Atomicity Proceedings of SPIN pp.196-215 (Single) 2018/06
24.	Article	A Type System for Data Independence of Loop Iterations in a Directive-Based PGAS Language Proceedings of MPLR pp.50-62 (Single) 2019/10
25.	Article	Polymorphic computation systems: Theory and practice of confluence with call-by-value Science of Computer Programming 187(102322) (Collaboration) 2020/02
26.	Article	An Extensionally Equivalence-Ensured Language for Task Parallel Processing with Backtracking-Based Load Balancing Journal of Information Processing 29,pp.434-448 (Collaboration) 2021/06
27.	Article	Extending a Call-by-Value Calculus Based on Bilateralism with Dynamic Binding Journal of Applied Logics 10(4),pp.511-530 (Collaboration) 2023/07
28.	Article	A Typed Lambda-Calculus with First-Class Configurations Journal of Logic and Computation 33(7),pp.1527-1565 (Collaboration) 2023/10
Display 5 items
Display all(28)

■ Home Page

https://abetatsuya.github.io/

■ Committee and society

1.	2016/03/07～2016/03/09	The 18th JSSST PPL Workshop Program Committee
2.	2018/03/05～2018/03/07	The 20th JSSST PPL Workshop Organizing Committee
3.	2018/04/01～2022/03/31	Journal of Information Processing in Special Section on Programming Editorial Committee Member in Special Section on Programming
4.	2019/03/06～2019/03/08	The 21st JSSST PPL Workshop Organizing Committee
5.	2020/03/02～2020/03/04	The 22nd JSSST PPL Workshop Program Committee
6.	2023/03/06～2023/03/08	The 25th JSSST PPL Workshop Program Committee
7.	2023/04/01～	Journal of Information Processing in Special Section on Programming Editorial Committee Member in Special Section on Programming
8.	2024/03/05～2024/03/07	The 26th JSSST PPL Workshop Program Co-chair
9.	2024/04/01～	JSSST-SIGPPL Steering Committee
10.	2025/03/05～2025/03/07	The 27th JSSST PPL Workshop Organizing Committee
Display 5 items
Display all(10)