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

‹Programming› 2023	Author of A Functional Programming Language with Versions within the Research Papers-track
COP 2022	Author of A Step toward Programming with Versions in Real-World Functional Languages within the COP 2022-track
‹Programming› 2022	Author of A Functional Programming Language with Versions within the Research Papers-track
SPLASH 2019	Author of An Approach for Persistent Time-Varying Values within the Onward! Papers-track
REBLS 2019	Committee Member in Program Committee within the REBLS-track
COP 2019	Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the COP 2019-track
ECOOP 2019	Author of TinyCORP: A Calculus for Context-Oriented Reactive Programming within the Posters-track
MoreVMs'19	Author of Extending a Meta-Tracing Compiler to Mix Method and Tracing Compilation within the MoreVMs'19-track
PLATEAU 2018	Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming - Preview within the PLATEAU 2018-track
REBLS 2018	Committee Member in Program Committee within the REBLS 2018-track
Onward! 2018	Author of Live, Synchronized, and Mental Map Preserving Visualization for Data Structure Programming within the Onward! Papers-track
COP 2018	Author of A Context-Oriented Programming Approach to Dependency Hell within the COP-track Committee Member in Program Committee within the COP-track
ECOOP 2018	Author of ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions within the ECOOP Research Papers-track
‹Programming› 2018	Author of Harmonizing Signals and Events with a Lightweight Extension to Java within the Research Papers-track
REBLS 2017	Author of A DSL for Compensable and Interruptible Executions within the REBELS-track
COP 2017	Programme 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 2017	Author of Live Data Structure Programming within the PX-track
CoqPL 2017	Author of CertSkel: a Verified Compiler for a Coq-embedded GPGPU DSL within the CoqPL 2017-track
NOOL 2016	Author of Towards Automatic Decoration within the NOOL-track
COP 2016	Committee Member in Program Committee within the COP-track
FTfJP 2016	Author of Towards Modular Reasoning for Context-Oriented Programs within the FTfJP-track
FOAL 2016	Author of An Advice Mechanism for Non-local Flow Control within the FOAL 2016-track
MASS 2016	Author of Session III: Systems and Contexts - Toward Fluent Module Interactions within the MASS 2016-track
LaMOD'16	Author of A Lightweight Optimization Technique for Data Types à la Carte within the Language Modularity-track
SPLASH 2015	Author 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
COP 2015	Author 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