Programming Language Research Group
Trying to improve the efficiency of computer programing
We are researching tools that support programming from various aspects. Specifically, we aim to build tools that make it easier to create highly reliable and efficient programs by leveraging the results of fundamental research in programming languages, such as syntax analysis, type systems, and program transformation. For the past few years, we have mainly been proposing and implementing a new method based on syntax analysis for code completion tools.
- Faculty Name
- SASANO, Isao
- Keyword
- Programming,Software,Algorithms
- Laboratory location
- Research Building TOYOSU Campus 14F 14K32
This lab is for this SDG activity:
STUDY FIELDS
- Computer science
- Programming languages
FOR SOCIETY
We are conducting research on programming tools that do not rely on machine learning. While ML-based tools often suffer from incorrect code generation, high power consumption, and slow response times, our work leverages advancements in programming language theory. Our goal is to implement tools that are mathematically correct, energy-efficient, and highly responsive.
RESEARCH THEMES
- Code completion by using LR parsing
- Detecting code clones (mainly type 3)
- Elimination of goto statements in the C programing language