CritLab at NFM 2026, WiE RISE, and EASE 2026

Dr. Sean Kauffman presented two joint works with CritLab students at prestigious conferences over the last month. In both cases, the students were not able to attend due to immigration-related challenges, so Dr. Kauffman presented in their stead.

First, in May Dr. Kauffman headed to Los Angeles to attend the 2026 NASA Formal Methods Symposium hosted at the University of Southern California (NFM 2026). There he presented work joint work with Nastaran Kian Ersi and two collaborators from TU Dortmund titled Learning Probabilistic Automata from Single Continuous-Valued System Logs. The conference was co-chaired by Dr. Klaus Havelund, one of Dr. Kauffman’s mentors.

Nastaran did, however, get to present her work at the Women in Engineering: Research Impact at Smith Engineering Symposium (WiE RISE). She presented a poster at the symposium which highlighted the research of women in the Queen’s Smith Engineering faculty.

In June, Dr. Kauffman presented joint work with graduated CritLab member Amir Shetaia at the 2026 International Conference on Evaluation and Assessment in Software Engineering (EASE 2026) at the University of Glasgow in Glasgow, Scotland. The work presented there, titled DeepParse: Hybrid Log Parsing with LLM-Synthesized Regex Masks was one of quite a number of papers on LLM use in Software Engineering.