Tomoyuki Aotani

Registered user since Tue 24 Mar 2015

Name:Tomoyuki Aotani
Country:Japan
Affiliation:Tokyo Institute of Technology

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