Sanjit A. Seshia

A new method enhances code generation for specialized programming languages.

2025-08-02T03:45:54+00:00 ― 5 min read

Exploring how AI facilitates code conversion between programming languages.

2025-08-01T19:44:00+00:00 ― 5 min read

A new method enhances detection of microarchitectural vulnerabilities in computer systems.

2025-07-31T14:06:30+00:00 ― 5 min read