49 citations · 102 across the 7 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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.PL2022★ 25 cited
Passport: Improving Automated Formal Verification Using Identifiers
Alex Sanchez-Stern, Emily First, Timothy Zhou +3
Formally verifying system properties is one of the most effective ways of improving system quality, but its high manual effort requirements often render it prohibitively expensive.…