Tomoyuki Aotani

According to our database, Tomoyuki Aotani authored at least 52 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Compilation Semantics for a Programming Language with Versions.

Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022

A Functional Programming Language with Versions.

Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

Art Sci. Eng. Program., 2022

BatakJava: An Object-Oriented Programming Language with Versions.

Luthfan Anshar Lubis, Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

A Step toward Programming with Versions in Real-World Functional Languages.

Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the COP@ECOOP 2022: International Workshop on Context-Oriented Programming and Advanced Modularity (collocated with ECOOP), 2022

2021

Signal Classes: A Mechanism for Building Synchronous and Persistent Signal Networks.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

Extending a meta-tracing compiler to mix method and tracing compilation.

Yusuke Izawa, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

An approach for persistent time-varying values.

Tetsuo Kamina, Tomoyuki Aotani

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

TinyCORP: A Calculus for Context-Oriented Reactive Programming.

Tetsuo Kamina, Tomoyuki Aotani

Proceedings of the Workshop on Context-oriented Programming, 2019

2018

Method safety mechanism for asynchronous layer deactivation.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Atsushi Igarashi

Sci. Comput. Program., 2018

Harmonizing Signals and Events with a Lightweight Extension to Java.

Tetsuo Kamina, Tomoyuki Aotani

Art Sci. Eng. Program., 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact).

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Dagstuhl Artifacts Ser., 2018

Live, synchronized, and mental map preserving visualization for data structure programming.

Akio Oka, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

A Context-Oriented Programming Approach to Dependency Hell.

Yudai Tanabe, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, 2018

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions.

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of the 32nd European Conference on Object-Oriented Programming, 2018

2017

Live Data Structure Programming.

Akio Oka, Hidehiko Masuhara, Tomoki Imai, Tomoyuki Aotani

Proceedings of the Companion to the first International Conference on the Art, 2017

A DSL for compensable and interruptible executions.

Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2017

Push-based reactive layer activation in context-oriented programming.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 9th International Workshop on Context-Oriented Programming, 2017

2016

Context-Oriented Software Development with Generalized Layer Activation Mechanism.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai

LNCS Trans. Modul. Compos., 2016

Generalized Layer Activation Mechanism for Context-Oriented Programming.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

LNCS Trans. Modul. Compos., 2016

Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq.

Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani

J. Inf. Process., 2016

Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler.

Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Specifying and Verifying Advanced Control Features.

Gary T. Leavens, David A. Naumann, Hridesh Rajan, Tomoyuki Aotani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Towards Modular Reasoning for Context-Oriented Programs.

Tomoyuki Aotani, Gary T. Leavens

Proceedings of the 18th Workshop on Formal Techniques for Java-like Programs, 2016

An advice mechanism for non-local flow control.

Hidehiko Masuhara, Kenta Fujita, Tomoyuki Aotani

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

A Lightweight Optimization Technique for Data Types a la Carte.

Hirotada Kiriyama, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Toward fluent module interactions.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015

Shiranui: a live programming with support for unit testing.

Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Making live programming practical by bridging the gap between trial-and-error development and unit testing.

Tomoki Imai, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Pyrlang: a high performance Erlang virtual machine based on RPython.

Ruochen Huang, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation.

Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

Generalized layer activation mechanism through contexts and subscribers.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 14th International Conference on Modularity, 2015

2014

Improving the Quality of AspectJ Application: Translating Name-Based Pointcuts to Analysis-Based Pointcuts.

Lin Wang, Tomoyuki Aotani, Masato Suzuki

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Code recommendation based on a degree-of-interest model.

Naoya Murakami, Hidehiko Masuhara, Tomoyuki Aotani

Proceedings of the 4th International Workshop on Recommendation Systems for Software Engineering, 2014

Context holders: realizing multiple layer activation mechanisms in a single context-oriented language.

Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

On-Demand Layer Activation for Type-Safe Deactivation.

Tetsuo Kamina, Tomoyuki Aotani, Atsushi Igarashi

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Unifying Multiple Layer Activation Mechanisms Using One Event Sequence.

Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Context-oriented software engineering: a modularity vision.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai

Proceedings of the 13th International Conference on Modularity, 2014

2013

Introducing Composite Layers in EventCJ.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Inf. Media Technol., 2013

A core calculus of composite layers.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

A unified context activation mechanism.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

Interaction awareness for aspect refactoring.

Lin Wang, Tomoyuki Aotani, Masato Suzuki

Proceedings of the 8th international workshop on Advanced modularization techniques, 2013

Feature selection for clustering based aspect mining.

Lin Wang, Tomoyuki Aotani, Masato Suzuki

Proceedings of the 4th international workshop on Variability & composition, 2013

Hierarchical concern-based pointcuts.

Takeshi Kojima, Tomoyuki Aotani

Proceedings of the 8th international workshop on Advanced modularization techniques, 2013

2012

Bridging real-world contexts and units of behavioral variations by composite layers.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the International Workshop on Context-Oriented Programming, 2012

A per-type instantiation mechanism for generic aspects.

Manabu Toyama, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 3rd International Workshop on Variability & Composition, 2012

2011

Supporting covariant return types and generics in type relaxed weaving.

Tomoyuki Aotani, Manabu Toyama, Hidehiko Masuhara

Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Featherweight EventCJ: a core calculus for a context-oriented language with event-based per-instance layer transition.

Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara

Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.

Fan Yang, Tomoyuki Aotani, Hidehiko Masuhara, Flemming Nielson, Hanne Riis Nielson

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

EventCJ: a context-oriented programming language with declarative event-based context transition.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Designing event-based context transition in context-oriented programming.

Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

2007

Towards a type system for detecting never-matching pointcut compositions.

Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.

Tomoyuki Aotani, Hidehiko Masuhara

Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007