Concept: Web Application Security Vulnerabilities
Cerebra: Aligning Implicit Knowledge in Interactive SQL Authoring
Interactive tool aligns user expectations with AI-generated SQL queries

I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
How interface design affects expert vulnerability discovery using symbolic execution tools

Artificial intelligence for web development: Perspectives from the industry
How developers are using AI tools to build websites faster

FLAT: Formal Languages as Types
Using formal languages as type constraints to prevent string-based security vulnerabilities






