Sanjit A. Seshia

A new method enhances RL agents' learning through structured rewards.

Efficient methods for assigning tasks to multiple robots in real-time environments.

Tenspiler streamlines code adaptation, enabling developers to keep pace with technology changes.

A new method enhances code generation for specialized programming languages.

Exploring how AI facilitates code conversion between programming languages.

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