In March 2020, Je Ne Sais Quoi discussed the issue of diversity on the UW-Madison campus. Je Ne offered her perspectives as a queer student here. She expressed her beliefs that the university fails to meaningfully integrate ...

Many programs have important functional-correctness properties that involve sophisticated mathematical relationships between numerical variables. Additionally, many programs have important numerical properties that ...

Software continues to be vital to the modern world, and as its ubiquity increases, its correctness becomes ever more valuable. Unfortunately, fundamental mathematical constraints on static analysis preclude the possibility ...

A crucial component of modern machine learning systems is learning input representations which can be used for prediction tasks. The expensive cost of labelling and easy availability of unlabelled data has led to the ...

This report summarizes monitoring data collected by the Lake Superior National Estuarine Research Reserve during and after an explosion and series of fires at a refinery facility in Superior, Wisconsin in 2018. Many other ...

In his June 4, 2020, interview with Scott Seyforth, Chuck Rhodes detailed his thoughts and memories of his time at UW-Madison. Rhodes spoke of the time period of the 1960s through the 1980s and his experiences as one of ...