← All threads

Database Code Security

Investigates the correctness and security of LLM-generated database code, especially implicit safety guarantees from transaction semantics.

1 papers

Where this stands

The written synthesis of this thread is for subscribers. Subscribe.