![]() Music |
![]() Video |
![]() Movies |
![]() Chart |
![]() Show |
![]() |
Proof Repair across Type Equivalences (PLDI 2021) (Talia Ringer) View |
![]() |
Synthesizing Structured CAD Models with Equality Saturation and Inverse Transfo (ACM SIGPLAN) View |
![]() |
(seventh RacketCon): Phothilimthana -- High-Coverage Hint Generation for Programming Assignments (Racket) View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |
![]() |
() View |