Tomoyuki Aotani -

Registered user since Tue 24 Mar 2015

Name:Tomoyuki Aotani

Country:Japan

Affiliation:Sanyo-Onoda City University

Personal website: https://taotani.wordpress.com/

Contributions

2023

COP

Committee Member in Program Committee within the COP 2023-track

APLAS

Author of Compilation Semantics for a Programming Language with Versions within the APLAS 2023-track

‹Programming›

Author of A Functional Programming Language with Versions within the Research Papers-track

2022

COP

Author of A Step toward Programming with Versions in Real-World Functional Languages within the COP 2022-track

‹Programming›

Author of A Functional Programming Language with Versions within the Research Papers-track

2019

SPLASH

Author of An Approach for Persistent Time-Varying Values within the Onward! Papers-track

REBLS

Committee Member in Program Committee within the REBLS-track

COP

Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the COP 2019-track

ECOOP

Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the Posters-track

MoreVMs

Author of Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation within the MoreVMs'19-track

2018

PLATEAU

Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview within the PLATEAU 2018-track

REBLS

Committee Member in Program Committee within the REBLS 2018-track

Onward!

Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming within the Onward! Papers-track

COP

ECOOP

Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track

‹Programming›

Author of Harmonizing Signals and Events with a Lightweight Extension to Java within the Research Papers-track

2017

REBLS

Author of A DSL for Compensable and Interruptible Executions within the REBELS-track

COP

PX

Author of Live Data Structure Programming within the PX-track

CoqPL

Author of CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL within the CoqPL 2017-track

2016

NOOL

Author of Towards Automatic Decoration within the NOOL-track

COP

Committee Member in Program Committee within the COP-track

FTfJP

Author of Towards Modular Reasoning for Context-Oriented Programs within the FTfJP-track

Foundations Of Aspect-Oriented Languages

Author of An Advice Mechanism for Non-local Flow Control within the FOAL 2016-track

Modularity Across the System Stack

Author of Session III: Systems and Contexts - Toward Fluent Module Interactions within the MASS 2016-track

Language Modularity à La Mode

Author of A Lightweight Optimization Technique for Data Types à la Carte within the Language Modularity-track

2015

SPLASH

COP