Nominal techniques as an Agda library
2026-03-05T08:52:00Z•209513d97b67d76ed226003cff268fb2989c6d0eb34c9b2513908bd08757d3dd
AgdaC-preprocessorLLM-agentsUAVcode-reasoningdatabase-testingedge-devicesembedded-systemsformal-methodsfuzzingprogram-analysisstatic-analysissupply-chaintext-to-sqltoolingtype-safety
What happened
Collection of recent programming-languages and formal-methods papers. Notable items with security relevance: (1) "Lambdas at the Far Edge" describes deploying typed lambda-calculus programs via the FCPP C++ library on far-edge devices including rovers and UAVs (operational/embedded attack surface). (2) "SpotIt+" is an open-source verification-based Text-to-SQL evaluation tool that mines realistic database constraints to produce differentiating database instances (useful for stronger evaluation but could aid adversarial SQL-test generation). (3) "Agentic Code Reasoning" demonstrates LLM agents'
Why it matters
A reviewed impact interpretation has not been published for this record.
Evidence and limitations
- Source ID
- arxiv_cs_pl
- Record identifier
- 209513d97b67d76ed226003cff268fb2989c6d0eb34c9b2513908bd08757d3dd
- Enrichment time
- 2026-03-05T08:52:00Z
- AI-assisted enrichment
- Yes
This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.