Devan Shanker

According to our database, Devan Shanker authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Querying Labeled Time Series Data with Scenario Programs.

Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel J. Fremont, Sanjit A. Seshia

Proceedings of the NASA Formal Methods - 17th International Symposium, 2025

2024

Querying Labeled Time Series Data with Scenario Programs.

Devan Shanker

CoRR, 2024

Generating Probabilistic Scenario Programs from Natural Language.

Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia

CoRR, 2024