Hidehiko Masuhara

Orcid: 0000-0002-8837-5303

According to our database1, Hidehiko Masuhara authored at least 111 papers between 1992 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
An Intrinsically Typed Compiler for Algebraic Effect Handlers.
Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024

2023
A systematic literature review on the impact of formatting elements on code legibility.
J. Syst. Softw., September, 2023

An expressive and modular layer activation mechanism for Context-Oriented Programming.
Inf. Softw. Technol., April, 2023

Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators.
Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Mind the Error Message: An Inverted Quiz Format to Direct Learner's Attention to Error Messages.
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 1, 2023

Program State Visualizer with User-Defined Representation Conversion (WIP).
Proceedings of the 1st ACM International Workshop on Future Debugging Techniques, 2023

Compilation Semantics for a Programming Language with Versions.
Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2022
A Functional Programming Language with Versions.
Art Sci. Eng. Program., 2022

Threaded Code Generation with a Meta-Tracing JIT Compiler.
J. Object Technol., 2022

Preface to the JOT special issue on ECOOP 2021: selected workshop papers.
J. Object Technol., 2022

An Approach to Collecting Object Graphs for Data-structure Live Programming Based on a Language Implementation Framework.
J. Inf. Process., 2022

A Systematic Literature Review on the Impact of Formatting Elements on Program Understandability.
CoRR, 2022

Two-level Just-in-Time Compilation with One Interpreter and One Engine.
CoRR, 2022

Mio: A Block-Based Environment for Program Design.
Proceedings of the 2022 ACM SIGPLAN International Symposium on SPLASH-E, 2022

BatakJava: An Object-Oriented Programming Language with Versions.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

Sound and Complete Type Inference for Closed Effect Rows.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

Towards Efficient Adjustment of Effect Rows.
Proceedings of the Trends in Functional Programming - 23rd International Symposium, 2022

CodeMap: A Graphical Note-Taking Tool Cooperating with an Integrated Development Environment.
Proceedings of the 6th International Conference on the Art, 2022

A Step toward Programming with Versions in Real-World Functional Languages.
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.
Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020
Designing a Programming Environment Based on the Program Design Recipe (Lightening Talk).
Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

On Teaching Type Systems as Macros (Lightning Talk).
Proceedings of the 2020 Scheme and Functional Programming Workshop, 2020

Interfaces for Modular Reasoning in Context-Oriented Programming.
Proceedings of the COP '20: Proceedings of the 12th International Workshop on Context-Oriented Programming and Advanced Modularity, 2020

Amalgamating different JIT compilations in a meta-tracing JIT compiler framework.
Proceedings of the DLS 2020: Proceedings of the 16th ACM SIGPLAN International Symposium on Dynamic Languages, 2020

2019
Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development (NII Shonan Meeting 147).
NII Shonan Meet. Rep., 2019

DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access (Artifact).
Dagstuhl Artifacts Ser., 2019

Extending a meta-tracing compiler to mix method and tracing compilation.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

A shell-like model for general purpose programming.
Proceedings of the Conference Companion of the 3rd International Conference on Art, 2019

Massively parallel GPU memory compaction.
Proceedings of the 2019 ACM SIGPLAN International Symposium on Memory Management, 2019

DynaSOAr: A Parallel Memory Allocator for Object-Oriented Programming on GPUs with Efficient Memory Access.
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

Teaching Object-Oriented Modeling as a Part of Programming Courses.
Proceedings of the 2nd Software Engineering Education Workshop 2019 co-located with 26th Asia Pacific Software Engineering Conference, 2019

2018
Method safety mechanism for asynchronous layer deactivation.
Sci. Comput. Program., 2018

Proactive Empirical Assessment of New Language Feature Adoption via Automated Refactoring: The Case of Java 8 Default Methods.
Art Sci. Eng. Program., 2018

Identification and Elimination of the Overhead of Accelerate with a Super-resolution Application.
J. Inf. Process., 2018

SoaAlloc: A Lock-free Hierarchical Bitmap-based Object Allocator for GPUs.
CoRR, 2018

Stochastic energy optimization for mobile GPS applications.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Ikra-Cpp: A C++/CUDA DSL for Object-Oriented Programming with Structure-of-Arrays Layout.
Proceedings of the 4th Workshop on Programming Models for SIMD/Vector Processing, 2018

Inner array inlining for structure of arrays layout.
Proceedings of the 5th ACM SIGPLAN International Workshop on Libraries, 2018

Live, synchronized, and mental map preserving visualization for data structure programming.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

A Context-Oriented Programming Approach to Dependency Hell.
Proceedings of the 10th International Workshop on Context-Oriented Programming: Advanced Modularity for Run-time Composition, 2018

2017
Detecting broken pointcuts using structural commonality and degree of interest.
Sci. Comput. Program., 2017

A Layer-based Approach to Hierarchical Dynamically-scoped Open Classes.
J. Inf. Process., 2017

Live Data Structure Programming.
Proceedings of the Companion to the first International Conference on the Art, 2017

Modular array-based GPU computing in a dynamically-typed language.
Proceedings of the 4th ACM SIGPLAN International Workshop on Libraries, 2017

Defaultification refactoring: a tool for automatically converting Java methods to default.
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automated refactoring of legacy Java software to default methods.
Proceedings of the 39th International Conference on Software Engineering, 2017

dart2java: Running Dart in Java-based Environments.
Proceedings of the 12th Workshop on Implementation, 2017

Push-based reactive layer activation in context-oriented programming.
Proceedings of the 9th International Workshop on Context-Oriented Programming, 2017

2016
Context-Oriented Software Development with Generalized Layer Activation Mechanism.
LNCS Trans. Modul. Compos., 2016

Generalized Layer Activation Mechanism for Context-Oriented Programming.
LNCS Trans. Modul. Compos., 2016

Declaring Constraints on Object-oriented Collections.
J. Inf. Process., 2016

Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq.
J. Inf. Process., 2016

Improving Sequential Performance of Erlang Based on a Meta-tracing Just-In-Time Compiler.
Proceedings of the Trends in Functional Programming - 17th International Conference, 2016

Object support in an array-based GPGPU extension for Ruby.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, 2016

Classes as Layers: Rewriting Design Patterns with COP: Alternative Implementations of Decorator, Observer, and Visitor.
Proceedings of the 8th International Workshop on Context-Oriented Programming, 2016

Matriona: class nesting with parameterization in Squeak/Smalltalk.
Proceedings of the 15th International Conference on Modularity, 2016

Hierarchical layer-based class extensions in Squeak/Smalltalk.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

An advice mechanism for non-local flow control.
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.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Towards improving interface modularity in legacy Java software through automated refactoring.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

Toward fluent module interactions.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
The omission finder for debugging what-should-have-happened bugs in object-oriented programs.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Fraglight: shedding light on broken pointcuts in evolving aspect-oriented software.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Shiranui: a live programming with support for unit testing.
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.
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.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Detecting Broken Pointcuts Using Structural Commonality and Degree of Interest (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Type-Safe Layer-Introduced Base Functions with Imperative Layer Activation.
Proceedings of the 7th International Workshop on Context-Oriented Programming, 2015

Generalized layer activation mechanism through contexts and subscribers.
Proceedings of the 14th International Conference on Modularity, 2015

2014
Code recommendation based on a degree-of-interest model.
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.
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, 2014

Unifying Multiple Layer Activation Mechanisms Using One Event Sequence.
Proceedings of 6th International Workshop on Context-Oriented Programming, 2014

Context-oriented software engineering: a modularity vision.
Proceedings of the 13th International Conference on Modularity, 2014

2013
A core calculus of composite layers.
Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages, 2013

A unified context activation mechanism.
Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

L: context-oriented programming with only layers.
Proceedings of the 5th International Workshop on Context-Oriented Programming, 2013

2012
Optimizing a search-based code recommendation system.
Proceedings of the Third International Workshop on Recommendation Systems for Software Engineering, 2012

A data-parallel extension to Ruby for GPGPU: toward a framework for implementing domain-specific optimizations.
Proceedings of the 9th ECOOP Workshop on Reflection, 2012

Bridging real-world contexts and units of behavioral variations by composite layers.
Proceedings of the International Workshop on Context-Oriented Programming, 2012

A per-type instantiation mechanism for generic aspects.
Proceedings of the 3rd International Workshop on Variability & Composition, 2012

2011
ContextFJ: a minimal core calculus for context-oriented programming.
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, 2011

Supporting covariant return types and generics in type relaxed weaving.
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.
Proceedings of the 3rd International Workshop on Context-Oriented Programming, 2011

Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces.
Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

EventCJ: a context-oriented programming language with declarative event-based context transition.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Event-Specific Software Composition in Context-Oriented Programming.
Proceedings of the Software Composition - 9th International Conference, 2010

Designing event-based context transition in context-oriented programming.
Proceedings of the 2nd International Workshop on Context-Oriented Programming, 2010

Type relaxed weaving.
Proceedings of the 9th International Conference on Aspect-Oriented Software Development, 2010

2009
Improving the development of context-dependent Java applications with ContextJ.
Proceedings of the International Workshop on Context-Oriented Programming, 2009

2008
Test-based pointcuts for robust and fine-grained join point specification.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

2007
Towards a type system for detecting never-matching pointcut compositions.
Proceedings of the 6th Workshop on Foundations of Aspect-Oriented Languages, 2007

Test-based pointcuts: a robust pointcut mechanism based on unit test cases for software evolution.
Proceedings of the 3rd workshop on Linking aspect technology and evolution, 2007

SCoPE: an AspectJ compiler for supporting user-defined analysis-based pointcuts.
Proceedings of the 6th International Conference on Aspect-Oriented Software Development, 2007

2006
Design and Implementation of an Aspect Instantiation Mechanism.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

2nd Asian Workshop on Aspect-Oriented Software Development (AOAsia).
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

A Fine-Grained Join Point Model for More Reusable Aspects.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
A parameterized interpreter for modeling different AOP mechanisms.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Aspectual Caml: an aspect-oriented functional language.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2004
An AOP Implementation Framework for Extending Join Point Models.
Proceedings of the RAM-SE'04-ECOOP'04 Workshop on Reflection, 2004

Association aspects.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003
Modeling Crosscutting in Aspect-Oriented Mechanisms.
Proceedings of the ECOOP 2003, 2003

A Compilation and Optimization Model for Aspect-Oriented Programs.
Proceedings of the Compiler Construction, 12th International Conference, 2003

Dataflow Pointcut in Aspect-Oriented Programming.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
Supporting objects in run-time bytecode specialization.
Proceedings of the ACM SIGPLAN ASIA-PEPM 2002, 2002

2001
A Portable Approach to Dynamic Optimization in Run-time Specialization.
New Gener. Comput., 2001

Run-Time Bytecode Specialization.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

1999
A Simple Extension of Java Language for Controllable Transparent Migration and Its Portable Implementation.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999

1998
Design and Partial Evaluation of Meta-Objects for a Concurrent Reflective Language.
Proceedings of the ECOOP'98, 1998

1997
Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '97), 1997

1995
Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation.
Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1992
Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992


  Loading...