Purdue University Programming Languages Group
Mingwei’s paper on analysis of protocol parsers has been accepted to OOPSLA’24! Congrats to all the authors!