correct title/authors

paper-new/paper.tex

@@ -34,7 +34,7 @@
 
 \begin{document}
 
-\title{Mechanized Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
+\title{Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory}
 \author{Eric Giovannini}
 \affiliation{
   \department{Electrical Engineering and Computer Science}
@@ -43,6 +43,14 @@
 }
 \email{ericgio@umich.edu}
 
+\author{Tingting Ding}
+\affiliation{
+  \department{Electrical Engineering and Computer Science}
+  \institution{University of Michigan}
+  \country{USA}
+}
+\email{tingtind@umich.edu}
+
 \author{Max S. New}
 \affiliation{
   \department{Electrical Engineering and Computer Science}