I'm José Wesley

Project Lifting

Existing software is usually written in general-purpose languages that leverage little the efficiency of the application's domain. Besides that, rewriting code to a new target is a difficult, tedious and error-prone task. Program Lifting is a technique to automatically translate legacy code to modern domain-specific languages (DSLs). Such DSLs embed domain knowledge, which is crucial to optimize programs and leads to big performance improvements. In fact, DSLs have been outperforming general-purpose ones in a variety of domains

In addition to that, lifting assists in the context of the rapid evolution of Computer Architecture by automatically porting existing code databases to new hardware platforms. Emerging hardware is often programmed by domain-specific languages. Therefore, lifting can be used to bridge the gap between legacy code and modern hardware devices by mapping programs, or part of them, to new accelerator oriented DSL.

Project Whiro

This project aims to automatically insert verification code into programs. This verification code reports the internal state of a program in a given program point. By the state of the program, we mean the values of the program variables at that point. This technique tracks values of static, stack-allocated, and heap-allocated variables, being able to traverse the memory graph in unsafe languages, like C and C++; and it works in programs transformed by different compiler optimizations. Such an approach can be used for debugging purposes, synthesis of benchmarks, and data visualization.

Project Jotai Benchmarks

The goal of this project is to create a technique to synthesize inputs to programs, in order to allow such programs to execute. We implement a Clang plugin that analyzes the signature of functions and gathers information about its parameters. Then, our framework instantiate constraint-guided inputs based on the types of the parameters of a function and links them into the program as a library. Using this framework, we will be able to transform the programs created in Project Angha into executable benchmarks, which will enable us to perform many different experiments that involve, for instance, running time and resource usage.

Project Angha

The goal of this project is to design, implement, and validate a general methodology to produce benchmarks for compilers. This approach goes over open-source repositories containing C programs, downloads these programs, splits them into individual functions, and uses Psyche-c, a type reconstructor, to produce compilable bytecodes out of each individual function. To demonstrate that this methodology is useful, we used the benchmarks to improve a machine learning technique and trained a predictive compiler for code size reduction. We have been able to generate binaries over 10% smaller than clang -Oz.

Projects

• Back in 2017, I wrote a book about Julia language, with some college colleagues. It is in Portuguese, actually, but it can be interesting for beginners on that language. View Book




• I participated in the Artifact Evaluation Committe for CGO 2021. View Committe




• I have taught some classes about LLVM metadata in the LLVM Introductory Course promoted by the Compilers Laboratory on YouTube. Check it out!