2 papers
cs.CY2022
Long-Term Mentoring for Computer Science Researchers
Emily Ruppel, Sihang Liu, Elba Garza +3
Early in the pandemic, we -- leaders in the research areas of programming languages (PL) and computer architecture (CA) -- realized that we had a problem: the only way to form new…
cs.LO2020
QED at Large: A Survey of Engineering of Formally Verified Software
Talia Ringer, Karl Palmskog, Ilya Sergey +2
Development of formal proofs of correctness of programs can increase actual and perceived reliability and facilitate better understanding of program specifications and their underl…