Focal Interest
Focal Interest

Logic, programming, and type systems

External reference: https://openalex.org/T10126

  1. Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
    Cerebra aligns implicit knowledge between users and LLMs during SQL authoring by retrieving context from historical scripts and supporting iterative refinement.
  2. A type-theoretic account of abstraction functions and cost verification
    Modular verification in dependent type theory using abstraction functions as types, with support for cost analysis and behavior verification while maintaining privacy guarantees.