Devan Shanker

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 2

Top Topics

Automatic Programming

Top Venues

Publications

Devan Shanker
Querying Labeled Time Series Data with Scenario Programs. CoRR (2024)
Karim Elmaaroufi, Devan Shanker, Ana Cismaru, Marcell Vazquez-Chanlatte, Alberto L. Sangiovanni-Vincentelli, Matei Zaharia, Sanjit A. Seshia
Generating Probabilistic Scenario Programs from Natural Language. CoRR (2024)