Skip to content

Tomoyuki Aotani

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

26

Venues

7

Active years

2010–2023

Best venue rank

A*

Where they publish

Papers

26 indexed papers, newest first.

YearVenueTitleAuthors
2023APLASCompilation Semantics for a Programming Language with Versions.Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
2022ECOOPA Step toward Programming with Versions in Real-World Functional Languages.Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
2022SLEBatakJava: An Object-Oriented Programming Language with Versions.Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
2021ECOOPSignal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
2019ECOOPTinyCORP: A Calculus for Context-Oriented Reactive Programming.Tetsuo Kamina, Tomoyuki Aotani
2019OOPSLAAn approach for persistent time-varying values.Tetsuo Kamina, Tomoyuki Aotani
2018ECOOPContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
2018ECOOPA Context-Oriented Programming Approach to Dependency Hell.Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
2018OOPSLALive, synchronized, and mental map preserving visualization for data structure programming.Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani
2017ECOOPPush-based reactive layer activation in context-oriented programming.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
2017OOPSLAA DSL for compensable and interruptible executions.Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
2016ECOOPTowards Modular Reasoning for Context-Oriented Programs.Tomoyuki Aotani, Gary T. Leavens
2016ISoLASpecifying and Verifying Advanced Control Features.Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani
2015ECOOPType-Safe Layer-Introduced Base Functions with Imperative Layer Activation.Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
2015ECOOPMethod Safety Mechanism for Asynchronous Layer Deactivation.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
2015OOPSLAPyrlang: a high performance Erlang virtual machine based on RPython.Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
2015OOPSLAMaking live programming practical by bridging the gap between trial-and-error development and unit testing.Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
2015OOPSLAShiranui: a live programming with support for unit testing.Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
2014ECOOPUnifying Multiple Layer Activation Mechanisms Using One Event Sequence.Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
2014ECOOPOn-Demand Layer Activation for Type-Safe Deactivation.Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi
2014ICSECode recommendation based on a degree-of-interest model.Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani
2013ECOOPA unified context activation mechanism.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
2012ECOOPBridging real-world contexts and units of behavioral variations by composite layers.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
2011CoordinationCombining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
2011ECOOPFeatherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition.Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
2010ECOOPDesigning event-based context transition in context-oriented programming.Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara