Jekyll2026-09-28T11:12:11-04:00http://seanmk.com/feed.xmlseanmk.comThe site of Sean Kauffman Ph.D., an assistant professor in safety-critical software engineeringTime Flies2026-09-28T00:00:00-04:002026-09-28T00:00:00-04:00http://seanmk.com/updates/2026/09/28/updateI haven’t updated in about a year, so there are a variety of new things here.]]>CritLab Etc.2025-08-18T00:00:00-04:002025-08-18T00:00:00-04:00http://seanmk.com/updates/2025/08/18/critlabI added links to the new CritLab website that was launched last month and some papers that had not yet appeared.]]>Overdue Update2025-03-10T00:00:00-04:002025-03-10T00:00:00-04:00http://seanmk.com/updates/2025/03/10/updateA long overdue update with some papers and a new page on career advice.]]>FORMATS2023-09-21T00:00:00-04:002023-09-21T00:00:00-04:00http://seanmk.com/updates/2023/09/21/formatsI noticed I never added the FORMATS’22 paper to the site, so this update adds it.]]>SCP2023-09-05T00:00:00-04:002023-09-05T00:00:00-04:00http://seanmk.com/updates/2023/09/05/scpAdd a new article in the Science of Computer Programming.]]>Queen’s2023-08-04T00:00:00-04:002023-08-04T00:00:00-04:00http://seanmk.com/updates/2023/08/04/queensUpdated to reflect new position as a Tenure-Track Assistant Professor at Queen’s University.
Included some things that have happened in the last few months.
]]>SCP OSP2022-11-30T00:00:00-05:002022-11-30T00:00:00-05:00http://seanmk.com/updates/2022/11/30/scpAdded SCP article and original software publication.]]>RV and ISoLA2022-10-03T00:00:00-04:002022-10-03T00:00:00-04:00http://seanmk.com/updates/2022/10/03/rvAdded RV’22 and ISoLA’22 papers and updates to resume.]]>TASE2022-07-25T00:00:00-04:002022-07-25T00:00:00-04:00http://seanmk.com/updates/2022/07/25/taseAdded TASE’22 paper and updates to resume.]]>SEFM2021-12-06T00:00:00-05:002021-12-06T00:00:00-05:00http://seanmk.com/updates/2021/12/06/sefmAdded SEFM’21 paper and updates to resume.]]>