projects
/
web.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
add Miri update blog post
[web.git]
/
research
/
contact.html
diff --git
a/research/contact.html
b/research/contact.html
index fffa767ff929851a67e176005e61fbbf5ffba704..b0b102e49cf1529436dcd4028ef2dea293381dd5 100644
(file)
--- a/
research/contact.html
+++ b/
research/contact.html
@@
-10,7
+10,7
@@
sort: 2
<h3>Work Address</h3>
<p>
<h3>Work Address</h3>
<p>
-MIT CSAIL, 32-G978
B
(PDOS)<br/>
+MIT CSAIL, 32-G978
A
(PDOS)<br/>
32 Vassar St<br/>
Cambridge, MA 02139<br/>
USA
32 Vassar St<br/>
Cambridge, MA 02139<br/>
USA