Publications

Papers, preprints, artifacts, and tools from the group.

2026

2025

Symmetries in Sorting

Vikraman Choudhury, Wind Wong
TYPES 2025 Post-Proceedings (to appear)
PDF

2024