Satoshi Matsuoka

Pavan Balaji, Satoshi Matsuoka: Guest Editors' Introduction: Special Issue on Applications for the Heterogeneous Computing Era. IJHPCA 27(2): 87-88 (2013)

Satoshi Matsuoka: A New Proof of P-time Completeness of Linear Lambda Calculus. CoRR abs/1301.2763 (2013)

Satoshi Matsuoka: A coding theoretic study of MLL proof nets. Mathematical Structures in Computer Science 22(3): 409-449 (2012)

Akihiro Nomura, Yutaka Ishikawa, Naoya Maruyama, Satoshi Matsuoka: Design and Implementation of Portable and Efficient Non-blocking Collective Communication. CCGRID 2012: 1-8

Koichi Shirahata, Hitoshi Sato, Toyotaro Suzumura, Satoshi Matsuoka: A GPU Implementation of Generalized Graph Processing Algorithm GIM-V. CLUSTER Workshops 2012: 207-212

Leonardo Arturo Bautista-Gomez, Thomas Ropars, Naoya Maruyama, Franck Cappello, Satoshi Matsuoka: Hierarchical Clustering Strategies for Fault Tolerance in Large Scale HPC Systems. CLUSTER 2012: 355-363

Irina Demeshko, Naoya Maruyama, Hirofumi Tomita, Satoshi Matsuoka: Multi-GPU Implementation of the NICAM Atmospheric Model. Euro-Par Workshops 2012: 175-184

Leonardo Arturo Bautista-Gomez, Bogdan Nicolae, Naoya Maruyama, Franck Cappello, Satoshi Matsuoka: Scalable Reed-Solomon-Based Reliable Local Storage for HPC Applications on IaaS Clouds. Euro-Par 2012: 313-324

Alex Ramírez, Dimitrios S. Nikolopoulos, David R. Kaeli, Satoshi Matsuoka: Topic 16: GPU and Accelerators Computing. Euro-Par 2012: 857-858

Aleksandr Drozd, Naoya Maruyama, Satoshi Matsuoka: Sequence Alignment on Massively Parallel Heterogeneous Systems. IPDPS Workshops 2012: 2498-2501

Abdelhalim Amer, Ahmed Touflk, Walid-Khaled Hidouci, Satoshi Matsuoka: Using Bittorrent and SVC for efficient video sharing and streaming. ISCC 2012: 537-543

Kento Sato, Naoya Maruyama, Kathryn Mohror, Adam Moody, Todd Gamblin, Bronis R. de Supinski, Satoshi Matsuoka: Design and modeling of a non-blocking checkpointing system. SC 2012: 19

Akira Nukada, Kento Sato, Satoshi Matsuoka: Scalable multi-GPU 3-D FFT for TSUBAME 2.0 supercomputer. SC 2012: 44

Katsuki Fujisawa, Hitoshi Sato, Satoshi Matsuoka, Toshio Endo, Makoto Yamashita, Maho Nakata: High-performance general solver for extremely large-scale semidefinite programming problems. SC 2012: 93

Jack Dongarra, Peter H. Beckman, Terry Moore, Patrick Aerts, Giovanni Aloisio, Jean-Claude Andre, David Barkai, Jean-Yves Berthou, Taisuke Boku, Bertrand Braunschweig, Franck Cappello, Barbara M. Chapman, Xuebin Chi, Alok N. Choudhary, Sudip S. Dosanjh, Thom H. Dunning, Sandro Fiore, Al Geist, Bill Gropp, Robert J. Harrison, Mark Hereld, Michael A. Heroux, Adolfy Hoisie, Koh Hotta, Zhong Jin, Yutaka Ishikawa, Fred Johnson, Sanjay Kale, Richard Kenway, David E. Keyes, Bill Kramer, Jesús Labarta, Alain Lichnewsky, Thomas Lippert, Bob Lucas, Barney Maccabe, Satoshi Matsuoka, Paul Messina, Peter Michielse, Bernd Mohr, Matthias S. Müller, Wolfgang E. Nagel, Hiroshi Nakashima, Michael E. Papka, Daniel A. Reed, Mitsuhisa Sato, Edward Seidel, John Shalf, David Skinner, Marc Snir, Thomas L. Sterling, Rick Stevens, Fred Streitz, Bob Sugar, Shinji Sumimoto, William Tang, John Taylor, Rajeev Thakur, Anne E. Trefethen, Mateo Valero, Aad van der Steen, Jeffrey S. Vetter, Peg Williams, Robert W. Wisniewski, Katherine A. Yelick: The International Exascale Software Project roadmap. IJHPCA 25(1): 3-60 (2011)

Mitsuhisa Sato, Satoshi Matsuoka, Peter M. A. Sloot, G. Dick van Albada, Jack Dongarra: Preface. Procedia CS 4: 1-6 (2011)

Mohamed Amin Jabri, Satoshi Matsuoka: Dealing with Grid-Computing Authorization Using Identity-Based Certificateless Proxy Signature. CCGRID 2011: 544-553

Sumeth Lerthirunwong, Hitoshi Sato, Satoshi Matsuoka: Multi-ring Structured Overlay Network for the Inter-cloud Computing Environment. CLOSER 2011: 5-14

Toyotaro Suzumura, Koji Ueno, Hitoshi Sato, Katsuki Fujisawa, Satoshi Matsuoka: Performance characteristics of Graph500 on large-scale distributed environment. IISWC 2011: 149-158

Akira Nukada, Hiroyuki Takizawa, Satoshi Matsuoka: NVCR: A Transparent Checkpoint-Restart Library for NVIDIA CUDA. IPDPS Workshops 2011: 104-113

Yves Robert, William J. Dally, Jack Dongarra, Satoshi Matsuoka, Robert Schreiber, Horst D. Simon, Uzi Vishkin: Panel Statement. IPDPS 2011: 505

Satoshi Matsuoka: Making TSUBAME2.0, the world's greenest production supercomputer, even greener: challenges to the architects. ISLPED 2011: 367-368

Takashi Shimokawabe, Takayuki Aoki, Tomohiro Takaki, Toshio Endo, Akinori Yamanaka, Naoya Maruyama, Akira Nukada, Satoshi Matsuoka: Peta-scale phase-field simulation for dendritic solidification on the TSUBAME 2.0 supercomputer. SC 2011: 3

Massimo Bernaschi, Mauro Bisson, Toshio Endo, Satoshi Matsuoka, Massimiliano Fatica, Simone Melchionna: Petaflop biofluidics simulations on a two million-core system. SC 2011: 4

Naoya Maruyama, Tatsuo Nomura, Kento Sato, Satoshi Matsuoka: Physis: an implicitly parallel programming model for stencil computations on large-scale GPU-accelerated supercomputers. SC 2011: 11

Aleksandr Drozd, Naoya Maruyama, Satoshi Matsuoka: Poster: fast GPU read alignment with burrows wheeler transform based index. SC Companion 2011: 21-22

Leonardo Arturo Bautista-Gomez, Seiji Tsuboi, Dimitri Komatitsch, Franck Cappello, Naoya Maruyama, Satoshi Matsuoka: FTI: high performance fault tolerance interface for hybrid systems. SC 2011: 32

Pavan Balaji, Wu-chun Feng, Heshan Lin, Jeremy S. Archuleta, Satoshi Matsuoka, Andrew S. Warren, João Carlos Setubal, Ewing L. Lusk, Rajeev Thakur, Ian T. Foster, Daniel S. Katz, Shantenu Jha, K. Shinpaugh, Susan Coghlan, Daniel A. Reed: Global-scale distributed I/O with ParaMEDIC. Concurrency and Computation: Practice and Experience 22(16): 2266-2281 (2010)

Ali Cevahir, Akira Nukada, Satoshi Matsuoka: High performance conjugate gradient solver on multi-GPU clusters using hypergraph partitioning. Computer Science - R&D 25(1-2): 83-91 (2010)

Naoya Maruyama, Satoshi Matsuoka: Model-based Fault Localization: Finding Behavioral Outliers in Large-scale Computing Systems. New Generation Comput. 28(3): 237-255 (2010)

Tatsuhiro Chiba, Mathijs den Burger, Thilo Kielmann, Satoshi Matsuoka: Dynamic Load-Balanced Multicast for Data-Intensive Applications on Clouds. CCGRID 2010: 5-14

Leonardo Arturo Bautista-Gomez, Naoya Maruyama, Franck Cappello, Satoshi Matsuoka: Distributed Diskless Checkpoint for Large Scale Systems. CCGRID 2010: 63-72

Koichi Shirahata, Hitoshi Sato, Satoshi Matsuoka: Hybrid Map Task Scheduling for GPU-Based Heterogeneous Clusters. CloudCom 2010: 733-740

Hitoshi Nagasaka, Naoya Maruyama, Akira Nukada, Toshio Endo, Satoshi Matsuoka: Statistical power modeling of GPU kernels using performance counters. Green Computing Conference 2010: 115-122

Leonardo Arturo Bautista-Gomez, Akira Nukada, Naoya Maruyama, Franck Cappello, Satoshi Matsuoka: Low-overhead diskless checkpoint for hybrid computing systems. HiPC 2010: 1-10

Mohamed Amin Jabri, Satoshi Matsuoka: Authorization within grid-computing using certificateless identity-based proxy signature. HPDC 2010: 292-295

Toshio Endo, Akira Nukada, Satoshi Matsuoka, Naoya Maruyama: Linpack evaluation on a supercomputer with heterogeneous accelerators. IPDPS 2010: 1-8

Naoya Maruyama, Akira Nukada, Satoshi Matsuoka: A high-performance fault-tolerant software framework for memory on commodity GPUs. IPDPS 2010: 1-12

Takashi Shimokawabe, Takayuki Aoki, Chiashi Muroi, Junichi Ishida, Kohei Kawano, Toshio Endo, Akira Nukada, Naoya Maruyama, Satoshi Matsuoka: An 80-Fold Speedup, 15.0 TFlops Full GPU Acceleration of Non-Hydrostatic Weather Model ASUCA Production Code. SC 2010: 1-11

Morris Riedel, Erwin Laure, Thomas Soddemann, Laurence Field, John-Paul Navarro, James Casey, Maarten Litmaath, Jean-Philippe Baud, Birger Koblitz, Charlie Catlett, Dane Skow, Cindy Zheng, Philip M. Papadopoulos, Mason J. Katz, Neha Sharma, Oxana Smirnova, Balázs Kónya, Peter W. Arzberger, Frank Würthwein, Abhishek Singh Rana, Terrence Martin, M. Wan, Von Welch, Tony Rimovsky, Steven Newhouse, Andrea Vanni, Yoshio Tanaka, Yusuke Tanimura, Tsutomu Ikegami, David Abramson, Colin Enticott, Graham Jenkins, Ruth Pordes, Steven Timm, Gidon Moont, Mona Aggarwal, D. Colling, Olivier van der Aa, Alex Sim, Vijaya Natarajan, Arie Shoshani, Junmin Gu, S. Chen, Gerson Galang, Riccardo Zappi, Luca Magnoni, Vincenzo Ciaschini, Michele Pace, Valerio Venturi, Moreno Marzolla, Paolo Andreetto, Robert Cowles, Shaowen Wang, Yuji Saeki, Hitoshi Sato, Satoshi Matsuoka, Putchong Uthayopas, Somsak Sriprayoonsakul, Oscar Koeroo, Matthew Viljoen, Laura Pearlman, Stephen Pickles, David Wallom, Glenn Moloney, Jerome Lauret, Jim Marsteller, Paul Sheldon, Surya Pathak, Shaun De Witt, Jiri Mencák, Jens Jensen, Matt Hodges, Derek Ross, Sugree Phatanapherom, Gilbert Netzer, Anders Rhod Gregersen, Mike Jones, S. Chen, Péter Kacsuk, Achim Streit, Daniel Mallmann, Felix Wolf, Thomas Lippert, Thierry Delaitre, Eduardo Huedo, Neil Geddes: Interoperation of world-wide production e-Science infrastructures. Concurrency and Computation: Practice and Experience 21(8): 961-990 (2009)

Jack Dongarra, Peter H. Beckman, Patrick Aerts, Franck Cappello, Thomas Lippert, Satoshi Matsuoka, Paul Messina, Terry Moore, Rick Stevens, Anne E. Trefethen, Mateo Valero: The International Exascale Software Project: a Call To Cooperative Action By the Global High-Performance Community. IJHPCA 23(4): 309-322 (2009)

Reiji Suda, Takayuki Aoki, Shoichi Hirasawa, Akira Nukada, Hiroki Honda, Satoshi Matsuoka: Aspects of GPU for general purpose high performance computing. ASP-DAC 2009: 216-223

Sumeth Lerthirunwong, Naoya Maruyama, Satoshi Matsuoka: Adaptive Resource Indexing Technique for Unstructured Peer-to-Peer Networks. CCGRID 2009: 172-179

Hitoshi Sato, Satoshi Matsuoka, Toshio Endo: File Clustering Based Replication Algorithm in a Grid Environment. CCGRID 2009: 204-211

Kento Sato, Hitoshi Sato, Satoshi Matsuoka: A Model-Based Algorithm for Optimizing I/O Intensive Applications in Clouds Using VM-Based Migration. CCGRID 2009: 466-471

Ali Cevahir, Akira Nukada, Satoshi Matsuoka: Fast Conjugate Gradients with Multiple GPUs. ICCS (1) 2009: 893-903

Tomoaki Hamano, Toshio Endo, Satoshi Matsuoka: Power-aware dynamic task scheduling for heterogeneous accelerated clusters. IPDPS 2009: 1-8

Akira Nukada, Satoshi Matsuoka: Auto-tuning 3-D FFT library for CUDA GPUs. SC 2009

Satoshi Matsuoka, Kazushige Saga, Mutsumi Aoyagi: Coupled-Simulation e-Science Support in the NAREGI Grid. IEEE Computer 41(11): 42-49 (2008)

Yuya Machida, Shin'ichiro Takizawa, Hidemoto Nakada, Satoshi Matsuoka: Intelligent data staging with overlapped execution of grid applications. Future Generation Comp. Syst. 24(5): 425-433 (2008)

Hideyuki Jitsumoto, Toshio Endo, Satoshi Matsuoka: Environmental-aware optimization of MPI checkpointing intervals. CLUSTER 2008: 326-329

Hitoshi Sato, Satoshi Matsuoka, Toshio Endo, Naoya Maruyama: Access-pattern and bandwidth aware file replication algorithm in a grid environment. GRID 2008: 250-257

Kento Sato, Hitoshi Sato, Satoshi Matsuoka: Model-based optimization for data-intensive application on virtual cluster. GRID 2008: 367-368

Toshio Endo, Satoshi Matsuoka: Massive supercomputing coping with heterogeneity of modern accelerators. IPDPS 2008: 1-10

Y. Hosogaya, Toshio Endo, Satoshi Matsuoka: Performance evaluation of parallel applications on next generation memory architecture with power-aware paging method. IPDPS 2008: 1-8

Naoya Maruyama, Satoshi Matsuoka: Model-based fault localization in large-scale computing systems. IPDPS 2008: 1-12

Yasuhiko Ogata, Toshio Endo, Naoya Maruyama, Satoshi Matsuoka: An efficient, model-based CPU-GPU heterogeneous FFT library. IPDPS 2008: 1-10

S. Takizawa, Toshio Endo, Satoshi Matsuoka: Locality aware MPI communication on a commodity opto-electronic hybrid network. IPDPS 2008: 1-8

Satoshi Matsuoka: To distribute or not to distribute, that is the question in petascale and beyond. Mardi Gras Conference 2008: 1

Akira Nukada, Yasuhiko Ogata, Toshio Endo, Satoshi Matsuoka: Bandwidth intensive 3-D FFT kernel for GPUs using CUDA. SC 2008: 5

Satoshi Matsuoka: The Rise of the Commodity Vectors. VECPAR 2008: 53-62

Satoshi Matsuoka: Weak typed Böhm theorem on IMLL. Ann. Pure Appl. Logic 145(1): 37-90 (2007)

Laurent Baduel, Satoshi Matsuoka: Outil autonome de surveillance de grilles. Ingénierie des Systèmes d'Information 12(3): 85-104 (2007)

Tatsuhiro Chiba, Toshio Endo, Satoshi Matsuoka: High-Performance MPI Broadcast Algorithm for Grid Environments Utilizing Multi-lane NICs. CCGRID 2007: 487-494

Hideo Nishimura, Naoya Maruyama, Satoshi Matsuoka: Virtual Clusters on the Fly - Fast, Scalable, and Flexible Installation. CCGRID 2007: 549-556

Denis Caromel, Alexandre di Costanzo, Laurent Baduel, Satoshi Matsuoka: Grid'BnB : A Parallel Branch and Bound Framework for Grids. HiPC 2007: 566-579

Laurent Baduel, Satoshi Matsuoka: A Peer-to-Peer Infrastructure for Autonomous Grid Monitoring. IPDPS 2007: 1-8

Hideyuki Jitsumoto, Toshio Endo, Satoshi Matsuoka: ABARIS: An Adaptable Fault Detection/Recovery Component Framework for MPIs. IPDPS 2007: 1-8

Laurent Baduel, Satoshi Matsuoka: A Decentralized, Scalable, and Autonomous Grid Monitoring System. OPODIS 2007: 1-15

Satoshi Matsuoka: The TSUBAME Cluster Experience a Year Later, and onto Petascale TSUBAME 2.0. PVM/MPI 2007: 8-9

Norihiro Umeda, Hidemoto Nakada, Satoshi Matsuoka: Peer-to-Peer Scheduling System with Scalable Information Sharing Protocol. SAINT Workshops 2007: 34

Hitoshi Sato, Satoshi Matsuoka: Data Management on Grid Filesystem for Data-Intensive Computing. SAINT Workshops 2007: 36

Satoshi Matsuoka: MLL proof nets as error-correcting codes. CoRR abs/cs/0703018 (2007)

Satoshi Matsuoka, Masayuki Hatanaka, Yasumasa Nakano, Yuji Iguchi, Toshio Ohno, Kazushige Saga, Hidemoto Nakada: Design and Implementation of NAREGI SuperScheduler Based on the OGSA Architecture. J. Comput. Sci. Technol. 21(4): 521-528 (2006)

Yuya Machida, Shin'ichiro Takizawa, Hidemoto Nakada, Satoshi Matsuoka: Multi-Replication with Intelligent Staging in Data-Intensive Grid Applications. GRID 2006: 88-95

Taisuke Boku, Mitsuhisa Sato, Daisuke Takahashi, Hiroshi Nakashima, Hiroshi Nakamura, Satoshi Matsuoka, Yoshihiko Hotta: MegaProto/E: power-aware high-performance cluster with commodity technology. IPDPS 2006

Yoshihiko Hotta, Mitsuhisa Sato, Hideaki Kimura, Satoshi Matsuoka, Taisuke Boku, Daisuke Takahashi: Profile-based optimization of power performance by using dynamic voltage scaling on a PC cluster. IPDPS 2006

Masaki Tatezono, Naoya Maruyama, Satoshi Matsuoka: Making Wide-Area, Multi-site MPI Feasible Using Xen VM. ISPA Workshops 2006: 387-396

Hiroshi Nakashima, Hiroshi Nakamura, Mitsuhisa Sato, Taisuke Boku, Satoshi Matsuoka, Daisuke Takahashi, Yoshihiko Hotta: MegaProto: A Low-Power and Compact Cluster for High-Performance Computing. IPDPS 2005

Shin'ichiro Takizawa, Yasuhito Takamiya, Hidemoto Nakada, Satoshi Matsuoka: A Scalable Multi-Replication Framework for Data Grid. SAINT Workshops 2005: 310-315

Hiroshi Nakashima, Hiroshi Nakamura, Mitsuhisa Sato, Taisuke Boku, Satoshi Matsuoka, Daisuke Takahashi, Yoshihiko Hotta: MegaProto: 1 TFlops/10kW Rack Is Feasible Even with Only Commodity Technology. SC 2005: 28

Hidemoto Nakada, Satoshi Matsuoka: A Java-based programming environment for hierarchical Grid: Jojo. CCGRID 2004: 51-58

Atif Shahab, Danny Chuon, Toyotaro Suzumura, Wilfred W. Li, Robert W. Byrnes, Kouji Tanaka, Larry Ang, Satoshi Matsuoka, Philip E. Bourne, Mark A. Miller, Peter W. Arzberger: Grid Portal Interface for Interactive Use and Monitoring of High-Throughput Proteome Annotation. LSGRID 2004: 53-67

Yo Yamamoto, Hidemoto Nakada, Hidetoshi Shimodaira, Satoshi Matsuoka: Parallelization of Phylogenetic Tree Inference Using Grid Technologies. LSGRID 2004: 103-116

Osamu Tatebe, Hirotaka Ogawa, Yuetsu Kodama, Tomohiro Kudoh, Satoshi Sekiguchi, Satoshi Matsuoka, Kento Aida, Taisuke Boku, Mitsuhisa Sato, Youhei Morita, Yoshinori Kitatsuji, Jim Williams, John Hicks: The Second Trans-Pacific Grid Datafarm Testbed and Experiments for SC2003. SAINT Workshops 2004: 602-607

Ken'ichiro Shirose, Satoshi Matsuoka, Hidemoto Nakada, Hirotaka Ogawa: Autonomous Con.guration of Grid Monitoring Systems. SAINT Workshops 2004: 651-657

Satoshi Matsuoka: Nondeterministic Linear Logic. CoRR cs.LO/0410029 (2004)

Satoshi Matsuoka: Weak Typed Boehm Theorem on IMLL. CoRR cs.LO/0410030 (2004)

Satoshi Matsuoka: P-time Completeness of Light Linear Logic and its Nondeterministic Extension. CoRR cs.LO/0410034 (2004)

Hiroshi Hosobe, Satoshi Matsuoka: A Foundation of Solution Methods for Constraint Hierarchies. Constraints 8(1): 41-59 (2003)

Yoshio Tanaka, Hidemoto Nakada, Satoshi Sekiguchi, Toyotaro Suzumura, Satoshi Matsuoka: Ninf-G: A Reference Implementation of RPC-based Programming Middleware for Grid Computing. J. Grid Comput. 1(1): 41-51 (2003)

Shoji Ogura, Satoshi Matsuoka, Hidemoto Nakada: Evaluation of the inter-cluster data transfer on Grid environment. CCGRID 2003: 374-381

Yoshiaki Sakae, Mitsuhisa Sato, Satoshi Matsuoka, Hiroshi Harada: Preliminary Evaluation of Dynamic Load Balancing Using Loop Re-partitioning on Omni/SCASH. CCGRID 2003: 463-470

Satoshi Matsuoka: Towards a Petascale Research Grid Infrastructure. GCC (1) 2003: 8

Atsuko Takefusa, Osamu Tatebe, Satoshi Matsuoka, Youhei Morita: Performance Analysis of Scheduling and Replication Algorithms on Grid Datafarm Architecture for High-Energy Physics Applications. HPDC 2003: 34-47

Youhei Morita, Hiroyuki Sato, Yoshiyuki Watase, Osamu Tatebe, Satoshi Sekiguchi, Satoshi Matsuoka, Noriyuki Soda, A. Dell'Acqua: Building A High Performance Parallel File System Using Grid Datafarm and ROOT I/O. CoRR cs.DC/0306092 (2003)

Osamu Tatebe, Satoshi Sekiguchi, Youhei Morita, Satoshi Matsuoka, Noriyuki Soda: Worldwide Fast File Replication on Grid Datafarm. CoRR cs.PF/0306090 (2003)

Osamu Tatebe, Youhei Morita, Satoshi Matsuoka, Noriyuki Soda, Satoshi Sekiguchi: Grid Datafarm Architecture for Petascale Data Intensive Computing. CCGRID 2002: 102-110

Keiji Tani, Takayuki Aoki, Satoshi Matsuoka, Satoru Ohkura, Hitoshi Uehara, Tetsuo Aoyagi: First Light of the Earth Simulator and Its PC Cluster Applications. CLUSTER 2002: 175-

Keith Seymour, Hidemoto Nakada, Satoshi Matsuoka, Jack Dongarra, Craig A. Lee, Henri Casanova: Overview of GridRPC: A Remote Procedure Call API for Grid Computing. GRID 2002: 274-278

Satoshi Shirasuna, Hidemoto Nakada, Satoshi Matsuoka, Satoshi Sekiguchi: Evaluating Web Services Based Implementations of GridRPC. HPDC 2002: 237-245

Toyotaro Suzumura, Hidemoto Nakada, Masayuki Saito, Satoshi Matsuoka, Yoshio Tanaka, Satoshi Sekiguchi: The ninf portal: an automatic generation tool for grid portals. Java Grande 2002: 1-7

Mamdouh Ibrahim, Satoshi Matsuoka (Eds.): Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA 2002, Seattle, Washington, USA, November 4-8, 2002. ACM 2002, isbn 1-58113-471-1

Satoshi Matsuoka: On intuitionistic proof nets with additional rewrite rules and their approximations. Electr. Notes Theor. Comput. Sci. 50(2): 130-144 (2001)

Satoshi Matsuoka, Shigeo Itou: Towards performance evaluation of high-performance computing on multiple Java platforms. Future Generation Comp. Syst. 18(2): 281-291 (2001)

Satoshi Matsuoka: Grid RPC meets Data Grid: Network Enabled Services for Data Farming on the Grid. CCGRID 2001: 13-15

Yoshiaki Sakae, Satoshi Matsuoka: MPC++ Performance for Commodity Clustering. HPCN Europe 2001: 503-512

Atsuko Takefusa, Satoshi Matsuoka, Henri Casanova, Francine Berman: A Study of Deadline Scheduling for Client-Server Systems on the Computational Grid. HPDC 2001: 406-405

Yukihiko Sohda, Hidemoto Nakada, Satoshi Matsuoka: Implementation of a portable software DSM in Java. Java Grande 2001: 163-172

Satoshi Matsuoka: A Confluent Extension of Lafont's Interaction Nets. JFPLC 2001: 123-138

Toyotaro Suzumura, Satoshi Matsuoka, Hidemoto Nakada: A Jini-based computing portal system. SC 2001: 24

Akinori Yonezawa, Satoshi Matsuoka (Eds.): Metalevel Architectures and Separation of Crosscutting Concerns, Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001, Proceedings. Lecture Notes in Computer Science 2192, Springer 2001, isbn 3-540-42618-3

Hirotaka Ogawa, Kouya Shimura, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Yasunori Kimura: OpenJIT: An Open-Ended, Reflective JIT Compiler Framework for Java. ECOOP 2000: 362-387

Satoshi Matsuoka, Mitsuhisa Sato, Hidemoto Nakada, Satoshi Sekiguchi: Design Issues of Network Enabled Server Systems for the Grid. GRID 2000: 4-17

Toyotaro Suzumura, Takayuki Nakagawa, Satoshi Matsuoka, Hidemoto Nakada, Satoshi Sekiguchi: Are Global Computing Systems Useful? Comparison of Client-server Global Computing Systems Ninf, NetSolve Versus CORB. IPDPS 2000: 547-

Shigeo Itou, Satoshi Matsuoka, Hirokazu Hasegawa: AJaPACK: experiments in performance portable parallel Java numerical libraries. Java Grande 2000: 140-149

Atsuko Takefusa, Satoshi Matsuoka, Hidemoto Nakada, Kento Aida, Umpei Nagashima: Overview of a Performance Evaluation System for Global Computing Scheduling Algorithms. HPDC 1999

Hirotaka Ogawa, Satoshi Matsuoka, Fuyuhiko Maruyama, Yukihiko Sohda, Kouya Shimura, Yasunori Kimura: OpenJIT Frontend System: An Implementation of the Reflective JIT Compiler Frontend. Reflection and Software Engineering 1999: 135-154

Yukihiko Sohda, Hirotaka Ogawa, Satoshi Matsuoka: OMPC++ - A Portable High-Performance Implementation of DSM using OpenC++ Reflection. Reflection 1999: 215-234

Takeo Igarashi, Satoshi Matsuoka, Hidehiko Tanaka: Teddy: A Sketching Interface for 3D Freeform Design. SIGGRAPH 1999: 409-416

Satoshi Matsuoka, R. R. Oldehoeft, Marydell Tholburn (Eds.): Computing in Object-Oriented Parallel Environments, Third International Symposium, ISCOPE 99, San Francisco, California, USA, December 8-10, 1999, Proceedings. Lecture Notes in Computer Science 1732, Springer 1999, isbn 3-540-66818-7

Hiromitsu Takagi, Satoshi Matsuoka, Hidemoto Nakada, Satoshi Sekiguchi, Mitsuhisa Sato, Umpei Nagashima: Ninflet: a migratable parallel objects framework using Java. Concurrency - Practice and Experience 10(11-13): 1063-1078 (1998)

Shin Takahashi, Satoshi Matsuoka, Ken Miyashita, Hiroshi Hosobe, Tomihisa Kamada: A Constraint-Based Approach for Visualization and Animation. Constraints 3(1): 61-86 (1998)

Sachiko Kawachiya, Takeo Igarashi, Satoshi Matsuoka, Hidehiko Tanaka: Reduction of Overhead in Drawing Figures with Computer: Detailed Analyses of Drawing Tasks. APCHI 1998: 11-18

Yuji Ayatsuka, Satoshi Matsuoka, Jun Rekimoto: Layered Penumbrae: An Effective 3D Feedback Technique. APCHI 1998: 202-209

Satoshi Matsuoka, Shigeo Itou: Is Java Suitable for Portable High-Performance Computing? ECOOP Workshops 1998: 460-461

Hidemoto Nakada, Hiromitsu Takagi, Satoshi Matsuoka, Umpei Nagashima, Mitsuhisa Sato, Satoshi Sekiguchi: Utilizing the Metaserver Architecture in the Ninf Global Computing System. HPCN Europe 1998: 607-616

Kento Aida, Atsuko Takefusa, Hidemoto Nakada, Satoshi Matsuoka, Umpei Nagashima: A Performance Evaluation Model for Effective Job Scheduling in Global Computing Systems. HPDC 1998: 352-353

Satoshi Matsuoka: Towards a Parallel Programming Language based on Commodity Object-Oriented Technologies. PDSE 1998: 18-

Yuji Ayatsuka, Jun Rekimoto, Satoshi Matsuoka: Popup Vernier: A Tool for Sub-Pixel-Pitch Dragging with Smooth Mode Transition. ACM Symposium on User Interface Software and Technology 1998: 39-48

Mitsuhisa Sato, Hidemoto Nakada, Satoshi Sekiguchi, Satoshi Matsuoka, Umpei Nagashima, Hiromitsu Takagi: Ninf: A Network Based Information Library for Global World-Wide Computing Infrastructure. HPCN Europe 1997: 491-502

Naohito Sato, Satoshi Matsuoka, Jean-Marc Jézéquel, Akinori Yonezawa: A Methodology for Specifying Data Distribution Using Only Standard Object-Oriented Features. International Conference on Supercomputing 1997: 116-123

Takeo Igarashi, Sachiko Kawachiya, Satoshi Matsuoka, Hidehiko Tanaka: In Search for an Ideal Computer-Assisted Drawing System. INTERACT 1997: 104-111

Satoshi Matsuoka, A. Nikami, Hirotaka Ogawa, Yutaka Ishikawa: Towards a Parallel C++ Programming Language Based on Commodity Object-Oriented Technologies. ISCOPE 1997: 81-88

Atsuko Takefusa, Satoshi Matsuoka, Hirotaka Ogawa, Hidemoto Nakada, Hiromitsu Takagi, Mitsuhisa Sato, Satoshi Sekiguchi, Umpei Nagashima: Multi-client LAN/WAN Performance Analysis of Ninf: a High-Performance Global Computing System. SC 1997: 22

Takeo Igarashi, Satoshi Matsuoka, Sachiko Kawachiya, Hidehiko Tanaka: Interactive Beautification: A Technique for Rapid Geometric Design. ACM Symposium on User Interface Software and Technology 1997: 105-114

Masashi Toyoda, Buntarou Shizuki, Shin Takahashi, Satoshi Matsuoka, Etsuya Shibayama: Supporting Design Patterns in a Visual Parallel Data-flow Programming Environment. VL 1997: 76-83

Mehmet Aksit, Satoshi Matsuoka (Eds.): ECOOP'97 - Object-Oriented Programming, 11th European Conference, Jyväskylä, Finland, June 9-13, 1997, Proceedings. Lecture Notes in Computer Science 1241, Springer 1997, isbn 3-540-63089-9

Kenichi Asai, Satoshi Matsuoka, Akinori Yonezawa: Duplication and Partial Evaluation For a Better Understanding of Reflective Languages. Lisp and Symbolic Computation 9(2-3): 203-241 (1996)

Hiroshi Hosobe, Satoshi Matsuoka, Akinori Yonezawa: Generalized Local Propagation: A Framework for Solving Constraint Hierarchies. CP 1996: 237-251

Naohito Sato, Satoshi Matsuoka, Akinori Yonezawa: Hierarchical Collections: An Efficient Scheme to Build an Obeject-Oriented Distributed Class Library for Massively Parallel Computation. ISOTAS 1996: 96-117

Yuji Ayatsuka, Satoshi Matsuoka, Jun Rekimoto: Penumbrae for 3D Interactions. ACM Symposium on User Interface Software and Technology 1996: 165-166

Kokichi Futatsugi, Satoshi Matsuoka (Eds.): Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings. Lecture Notes in Computer Science 1049, Springer 1996, isbn 3-540-60954-7

Hidehiko Masuhara, Satoshi Matsuoka, Kenichi Asai, Akinori Yonezawa: Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation. OOPSLA 1995: 300-315

Takeo Igarashi, Satoshi Matsuoka, Toshiyuki Masui: Adaptive Recognition of Implicit Structures in Human-Organized Layouts. VL 1995: 258-266

Masahiro Yasugi, Satoshi Matsuoka, Akinori Yonezawa: The Plan-Du Style Compilation Technique for Eager Data Transfer in Thread-Based Execution. IFIP PACT 1994: 57-66

Hiroshi Hosobe, Ken Miyashita, Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa: Locally Simultaneous Constraint Satisfaction. PPCP 1994: 51-62

Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: Efficient parallel global garbage collection on massively parallel computers. SC 1994: 79-88

Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs. Theory and Practice of Parallel Programming 1994: 121-136

Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa: An Algorithm for Efficient Global Garbage Collection on Massively Parallel Computers. Theory and Practice of Parallel Programming 1994: 346-355

Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa: Interactive Generation of Graphical User Interfaces by Multiple Visual Examples. ACM Symposium on User Interface Software and Technology 1994: 85-94

Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, Akinori Yonezawa: A Framework for Constructing Animations via Declarative Mapping Rules. VL 1994: 314-322

Satoshi Matsuoka, Kenjiro Taura, Akinori Yonezawa: Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages. OOPSLA 1993: 109-126

Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. PPOPP 1993: 218-228

Satoshi Matsuoka, Shin Takahashi, Tomihisa Kamada, Akinori Yonezawa: A General Framework for Bidirectional Translation between Abstract and Pictorial Data. ACM Trans. Inf. Syst. 10(4): 408-437 (1992)

Masahiro Yasugi, Satoshi Matsuoka, Akinori Yonezawa: ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer. ICS 1992: 93-103

Hidehiko Masuhara, Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa: Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently. OOPSLA 1992: 127-144

Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa: An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. Parallel Symbolic Computing 1992: 402-405

Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa, Tomihisa Kamada: Declarative Programming of Graphical Interfaces by Visual Examples. ACM Symposium on User Interface Software and Technology 1992: 107-116

Toshio Tonouchi, Ken Nakayama, Satoshi Matsuoka, Satoru Kawai: Creating Visual Objects by Direct Manipulation. VL 1992: 95-101

Alice Salpeter, Mariko Sasakura, Kenzo Iwama, Satoshi Matsuoka: Animation for on-Line Documents-an End-User System Using Object-Oriented Constraints. VL 1992: 219-221

Satoshi Matsuoka, Takuo Watanabe, Akinori Yonezawa: Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming. ECOOP 1991: 231-250

Satoshi Matsuoka, Takuo Watanabe, Yuuji Ichisugi, Akinori Yonezawa: Object-Oriented Concurrent Reflective Architectures. Object-Based Concurrent Computing 1991: 211-226

Shin Takahashi, Satoshi Matsuoka, Akinori Yonezawa, Tomihisa Kamada: A general framework for Bi-directional translation between abstract and pictorial data. UIST 1991: 165-174

Satoshi Matsuoka, Tomihisa Kamada, Satoru Kawai: Asymptotic Evaluation of Window Visibility. Inf. Process. Lett. 31(3): 119-126 (1989)

Satoshi Matsuoka, Satoru Kawai: Using Tuple Space Communication in Distributed Object-Oriented Languages. OOPSLA 1988: 276-284