Submitted by Christopher White on January 16th, 2020
Submitted by Sanjit Seshia on January 16th, 2020
Submitted by Rahul Mangharam on January 16th, 2020
Submitted by Ricardo Sanfelice on January 16th, 2020
Submitted by Shreyas Sen on January 16th, 2020
Submitted by Alexandros Labrinidis on January 16th, 2020
Submitted by Nalini Venkatasubramanian on January 16th, 2020
Submitted by Emre Salman on January 16th, 2020
Submitted by Ufuk Topcu on January 16th, 2020
Submitted by Bruno Sinopoli on January 16th, 2020