Tomoyuki Aotani

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 29

Top Topics

Denotational Semantics

Software Engineering

Programming Language

Top Venues

SPLASH (Companion Volume)

MODULARITY (Companion)

Publications

Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Compilation Semantics for a Programming Language with Versions. CoRR (2023)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
Compilation Semantics for a Programming Language with Versions. APLAS (2023)
Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
BatakJava: An Object-Oriented Programming Language with Versions. SLE (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Step toward Programming with Versions in Real-World Functional Languages. COP@ECOOP (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Functional Programming Language with Versions. Art Sci. Eng. Program. 6 (1) (2022)
Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara
A Functional Programming Language with Versions. CoRR (2021)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks. ECOOP (2021)
Tetsuo Kamina, Tomoyuki Aotani
TinyCORP: A Calculus for Context-Oriented Reactive Programming. COP@ECOOP (2019)
Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani
Extending a meta-tracing compiler to mix method and tracing compilation. Programming (2019)
Tetsuo Kamina, Tomoyuki Aotani
An approach for persistent time-varying values. Onward! (2019)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact). Dagstuhl Artifacts Ser. 4 (3) (2018)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
Method safety mechanism for asynchronous layer deactivation. Sci. Comput. Program. 156 (2018)
Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara
A Context-Oriented Programming Approach to Dependency Hell. COP@ECOOP (2018)
Tetsuo Kamina, Tomoyuki Aotani
Harmonizing Signals and Events with a Lightweight Extension to Java. CoRR (2018)
Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani
Live, synchronized, and mental map preserving visualization for data structure programming. Onward! (2018)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions. ECOOP (2018)
Tetsuo Kamina, Tomoyuki Aotani
Harmonizing Signals and Events with a Lightweight Extension to Java. Art Sci. Eng. Program. 2 (3) (2018)
Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani
Live Data Structure Programming. Programming (2017)
Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi
A DSL for compensable and interruptible executions. REBLS@SPLASH (2017)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Push-based reactive layer activation in context-oriented programming. COP@ECOOP (2017)
Hirotada Kiriyama, Tomoyuki Aotani, Hidehiko Masuhara
A Lightweight Optimization Technique for Data Types a la Carte. MODULARITY (Companion) (2016)
Hidehiko Masuhara, Kenta Fujita, Tomoyuki Aotani
An advice mechanism for non-local flow control. MODULARITY (Companion) (2016)
Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler. TFP (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Toward fluent module interactions. MODULARITY (Companion) (2016)
Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani
Specifying and Verifying Advanced Control Features. ISoLA (2) (2016)
Tomoyuki Aotani, Gary T. Leavens
Towards Modular Reasoning for Context-Oriented Programs. FTfJP@ECOOP (2016)
Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani
Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq. J. Inf. Process. 24 (1) (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
Context-Oriented Software Development with Generalized Layer Activation Mechanism. LNCS Trans. Modul. Compos. 1 (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Generalized Layer Activation Mechanism for Context-Oriented Programming. LNCS Trans. Modul. Compos. 1 (2016)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi
Method Safety Mechanism for Asynchronous Layer Deactivation. COP@ECOOP (2015)
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
Shiranui: a live programming with support for unit testing. SPLASH (Companion Volume) (2015)
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation. COP@ECOOP (2015)
Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani
Making live programming practical by bridging the gap between trial-and-error development and unit testing. SPLASH (Companion Volume) (2015)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Generalized layer activation mechanism through contexts and subscribers. MODULARITY (2015)
Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani
Pyrlang: a high performance Erlang virtual machine based on RPython. SPLASH (Companion Volume) (2015)
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
Context holders: realizing multiple layer activation mechanisms in a single context-oriented language. FOAL (2014)
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
Unifying Multiple Layer Activation Mechanisms Using One Event Sequence. COP@ECOOP (2014)
Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani
Code recommendation based on a degree-of-interest model. RSSE@ICSE (2014)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai
Context-oriented software engineering: a modularity vision. MODULARITY (2014)
Lin Wang, Tomoyuki Aotani, Masato Suzuki
Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts. QSIC (2014)
Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi
On-Demand Layer Activation for Type-Safe Deactivation. COP@ECOOP (2014)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
A core calculus of composite layers. FOAL (2013)
Takeshi Kojima, Tomoyuki Aotani
Hierarchical concern-based pointcuts. AOAsia@AOSD (2013)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
A unified context activation mechanism. COP@ECOOP (2013)
Lin Wang, Tomoyuki Aotani, Masato Suzuki
Interaction awareness for aspect refactoring. AOAsia@AOSD (2013)
Lin Wang, Tomoyuki Aotani, Masato Suzuki
Feature selection for clustering based aspect mining. VariComp@AOSD (2013)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Introducing Composite Layers in EventCJ. Inf. Media Technol. 8 (2) (2013)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Bridging real-world contexts and units of behavioral variations by composite layers. COP@ECOOP (2012)
Manabu Toyama, Tomoyuki Aotani, Hidehiko Masuhara
A per-type instantiation mechanism for generic aspects. VariComp@AOSD (2012)
Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara
Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition. COP@ECOOP (2011)
Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara
Supporting covariant return types and generics in type relaxed weaving. FOAL (2011)
Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson
Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. COORDINATION (2011)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
EventCJ: a context-oriented programming language with declarative event-based context transition. AOSD (2011)
Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara
Designing event-based context transition in context-oriented programming. COP@ECOOP (2010)
Tomoyuki Aotani, Hidehiko Masuhara
SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts. AOSD (2007)
Tomoyuki Aotani, Hidehiko Masuhara
Towards a type system for detecting never-matching pointcut compositions. FOAL (2007)