Programming Systems Group @ University of Kansas

Bhavik presented his research on verifying idempotency in REST API clients at the POPL 2025 Student Research Competition.

Bhavik received the Undergraduate Research Award (UGRA) for his work on verifying idempotency in REST API clients.

Sankha received the New Faculty Research Development (NFRD) Award to work on combining formal methods based program synthesis with LLMs.

Bryan defended his MS thesis on prioritizing programs in enumerative search with an entropy heuristic.

Bhavik joins the Programming Systems Group!

Bryan joins the Programming Systems Group!