Sisyphus
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).