Tomoyuki Aotani

Registered user since Tue 24 Mar 2015

Name: Tomoyuki Aotani

Country: Japan

Affiliation: Tokyo Institute of Technology

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

Contributions

REBLS 2019Committee Member in Program Committee within the REBLS-track
COP 2019Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the COP 2019-track
MoreVMs'19Author of Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation within the MoreVMs'19-track
ECOOP 2019Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the Posters-track
PLATEAU 2018Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview within the PLATEAU 2018-track
REBLS 2018Committee Member in Program Committee within the REBLS 2018-track
COP 2018Author of A Context-Oriented Programming Approach to Dependency Hell within the COP-track
Committee Member in Program Committee within the COP-track
Onward! 2018Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming within the Onward! Papers-track
REBLS 2017Author of A DSL for Compensable and Interruptible Executions within the REBELS-track
‹Programming› 2018Author of Harmonizing Signals and Events with a Lightweight Extension to Java within the Research Papers-track
COP 2017Programme Committee in Program Committee within the COP-17-track
Author of Push-based Reactive Layer Activation in Context-Oriented Programming within the COP-17-track
PX 2017Author of Live Data Structure Programming within the PX-track
CoqPL 2017Author of CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL within the CoqPL 2017-track
NOOL 2016Author of Towards Automatic Decoration within the NOOL-track
COP 2016Committee Member in Program Committee within the COP-track
FTfJP 2016Author of Towards Modular Reasoning for Context-Oriented Programs within the FTfJP-track
FOAL 2016Author of An Advice Mechanism for Non-local Flow Control within the FOAL 2016-track
LaMOD'16Author of A Lightweight Optimization Technique for Data Types à la Carte within the Language Modularity-track
MASS 2016Author of Session III: Systems and Contexts - Toward Fluent Module Interactions within the MASS 2016-track
ECOOP 2018Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track
COP 2015Author of Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation within the COP-track
Committee Member in Program Committee within the COP-track
Author of Method Safety Mechanism for Asynchronous Layer Deactivation within the COP-track
SPLASH 2015Author of Pyrlang: A High Performance Erlang Virtual Machine Based on RPython within the Posters-track
Author of Making Live Programming Practical by Bridging the Gap Between Trial-and-error Development and Unit Testing within the Demos-track
Author of Shiranui: A Live Programming with Support for Unit Testing within the Posters-track