Credits¶
If you use Scenic, we request that you cite our PLDI 2019 paper.
Scenic is primarily maintained by Daniel J. Fremont.
The Scenic project was started at UC Berkeley in Sanjit Seshia’s research group.
The language was developed by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
Edward Kim assisted in putting together this documentation.
The Scenic tool has benefitted from code contributions from:
Johnathan Chiu
Francis Indaheng
Martin Jansa (LG Electronics, Inc.)
Wilson Wu
Finally, many other people provided helpful advice and discussions, including:
Ankush Desai
Alastair Donaldson
Andrew Gordon
Jonathan Ragan-Kelley
Sriram Rajamani
Marcell Vazquez-Chanlatte