Paper accepted at ESOP'26
· One min read
We are proud that our paper "A Formally Verified Procedure for Width Inference in FIRRTL", has been accepted at 35th European Symposium on Programming.
ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, and is one of the conferences of ETAPS (European Joint Conferences on Theory and Practice of Software).
@article{wang2026esop,
title={A Formally Verified Procedure for Width Inference in FIRRTL},
author={Keyin Wang and Xiaomu Shi and Jiaxiang Liu and Zhilin Wu and Fu Song and Taolue Chen and David N. Jansen},
booktitle="35th European Symposium on Programming",
year={2026}
}