Sisyphus

May 26, 2023

2023

Two awards at the upcoming PLDI’23:

  • Our paper about Sisyphus has won an ACM SIGPLAN Distinguished Paper Award (8 out of 83 accepted papers awarded).

  • The implementation of RusSOL has won a Distinguished Artifact Award (single award given out of 67 submitted artifacts).