update README, docs

BerkeleyLearnVerify · Oct 22, 2020 · 781d10c · 781d10c
1 parent eeadcb5
commit 781d10c
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -3,11 +3,11 @@
 [![Documentation Status](https://readthedocs.org/projects/scenic-lang/badge/?version=latest)](https://scenic-lang.readthedocs.io/en/latest/?badge=latest)
 [![License](https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](https://opensource.org/licenses/BSD-3-Clause)
 
-A compiler and scene generator for the Scenic scenario description language.
+A compiler and scenario generator for the Scenic scenario description language.
 Please see the [documentation](https://scenic-lang.readthedocs.io/) for installation instructions, as well as tutorials and other information about the Scenic language, its implementation, and its interfaces to various simulators.
 
-For a description of the language and some of its applications, see [our PLDI 2019 paper](https://arxiv.org/abs/1809.09310) (*note:* the syntax of Scenic has changed slightly since then).
-Scenic was designed and implemented by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Edward Kim, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
+For a description of the language and some of its applications, see [our preprint](https://arxiv.org/abs/2010.06580), which extends our [PLDI 2019 paper](https://arxiv.org/abs/1809.09310) (*note:* the syntax of Scenic has changed slightly since that paper, and many features such as support for dynamic scenarios have been added; these are described in the preprint).
+Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
 
 If you have any problems using Scenic, please submit an issue to [our GitHub repository](https://github.com/BerkeleyLearnVerify/Scenic) or contact Daniel at <[email protected]>.
 

diff --git a/docs/index.rst b/docs/index.rst
@@ -5,8 +5,8 @@ Scenic is a domain-specific probabilistic programming language for modeling the
 A Scenic program defines a distribution over *scenes*, configurations of physical objects and agents; sampling from this distribution yields concrete scenes which can be simulated to produce training or testing data.
 Scenic can also define (probabilistic) policies for dynamic agents, allowing modeling scenarios where agents take actions over time in response to the state of the world.
 
-Scenic was designed and implemented by Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Edward Kim, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
-For a description of the language and some of its applications, see `our PLDI 2019 paper <https://arxiv.org/abs/1809.09310>`_; a more in-depth discussion is in Chapters 5 and 8 of `this thesis <https://people.ucsc.edu/~dfremont/papers/thesis.pdf>`_.
+Scenic was designed and implemented by Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia.
+For a description of the language and some of its applications, see `our preprint <https://arxiv.org/abs/2010.06580>`_, which extends `our PLDI 2019 paper <https://arxiv.org/abs/1809.09310>`_ (a more in-depth discussion of the PLDI paper is in Chapters 5 and 8 of `this thesis <https://people.ucsc.edu/~dfremont/papers/thesis.pdf>`_).
 Our :doc:`publications <publications>` page lists additional papers using Scenic.
 
 .. note::

diff --git a/docs/publications.rst b/docs/publications.rst
@@ -11,6 +11,7 @@ The main paper on Scenic is:
 	| :t:`Scenic: A Language for Scenario Specification and Scene Generation`.
 	| Fremont, Dreossi, Ghosh, Yue, Sangiovanni-Vincentelli, and Seshia.
 	| PLDI 2019. [`full version <https://arxiv.org/abs/1809.09310>`_]
+	| (see also the `extended preprint <https://arxiv.org/abs/2010.06580>`_ on Scenic 2.0)
 
 An expanded version of this paper appears as Chapters 5 and 8 of this thesis:
 

diff --git a/pyproject.toml b/pyproject.toml
@@ -4,9 +4,9 @@ version = "2.0.0b1"
 description = "The Scenic scenario description language."
 authors = [
 	"Daniel Fremont <[email protected]>",
+	"Edward Kim",
 	"Tommaso Dreossi",
 	"Shromona Ghosh",
-	"Edward Kim",
 	"Xiangyu Yue",
 	"Alberto L. Sangiovanni-Vincentelli",
 	"Sanjit A. Seshia"