3 papers
cs.FL2026
Localising Stochasticity in Weighted Automata
Smayan Agarwal, Aalok Thakkar
Weighted automata over the nonnegative reals form a fundamental model for quantitative languages. We show that, up to scaling, this model collapses to probabilistic automata. Concr…
cs.CY2025
Ancient Algorithms for a Modern Curriculum
Aalok Thakkar
Despite ongoing calls for inclusive and culturally responsive pedagogy in computing education, the teaching of algorithms remains largely decontextualized. Foundational computer sc…
cs.SE2025
BOOP: Write Right Code
Vaani Goenka, Aalok Thakkar
Novice programmers frequently adopt a syntax-specific and test-case-driven approach, writing code first and adjusting until programs compile and test cases pass, rather than develo…