Reviews and Acks

Reviews

I have reviewed around 15 papers, for:

1. Communications of the ACM
2. Transactions on Algorithms
3. NeurIPS
4. ICLR
5. SAT
6. Operations Research
7. TACAS

Acknowledgments

I have been acknowledged in:

1. Silph: A Framework for Scalable and Accurate Generation of Hybrid MPC Protocols
2. Sudoku number of graphs
3. Lower bounds for set-blocked clauses proofs