Tomoyuki Aotani

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