-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathwork.html
executable file
·114 lines (100 loc) · 3.55 KB
/
work.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<title> Bryan Ford's Research </title>
</head>
<body bgcolor=white text=black link=blue alink=purple vlink=purple>
<!--#include virtual="/header.html" -->
<center>
<table border=2>
<tr><td width=1024 height=768 background="img/statabg.jpg" align=center>
<h1>Past Work at MIT and Yale</h1>
<table>
<p>
<tr><td>
<h2>Current Work</h2>
<blockquote>
See <a href="https://www.epfl.ch/labs/dedis/"
>Decentralized and Distributed Systems (DEDIS) lab at EPFL</a>.
</blockquote>
<h2>Selected Projects</h2>
<ul>
<li> <a href="http://dedis.cs.yale.edu/2010/anon/">
<b>Dissent</b></a>,
an accountable anonymous group communication system.
<li> <a href="http://dedis.cs.yale.edu/2010/det/">
<b>Determinator</b></a>,
an experimental operating system for deterministic parallel computing.
<li> <a href="http://pdos.csail.mit.edu/uia/">
<b>Unmanaged Internet Architecture</b></a>,
a system for naming and connecting mobile devices globally.
<li> <a href="http://pdos.csail.mit.edu/uia/sst/">
<b>Structured Stream Transport</b></a>,
a new transport protocol for modern Internet applications.
<li> <a href="http://pdos.csail.mit.edu/~baford/vm/">
<b>VX32</b></a>,
a safe application-level execution environment for native x86 code.
<li> <a href="http://www.ietf.org/html.charters/behave-charter.html">
<b>IETF BEHAVE group</b></a>,
setting standards for network address translators and
<a href="pub/net/p2pnat/">NAT traversal</a>.
<li> <a href="http://pdos.csail.mit.edu/~baford/packrat/">
<b>Packrat Parsing</b></a>,
a simple but powerful memoization-based parsing scheme.
<li> <a href="http://www.cs.utah.edu/flux/oskit/">
<b>Flux OSKit</b></a>,
a component toolkit for building specialized operating systems.
<li> <a href="http://www.cs.utah.edu/flux/fluke/html/">
<b>Fluke</b></a>,
a microkernel designed around
<a href="pub/os/fluke-rvm.ps.gz">recursive virtual machines</a>.
</ul>
<p>
<tr><td>
<h2>Research Information</h2>
<ul>
<li> <a href="cv.pdf"><b>Curriculum Vitae</b> (PDF)</a>
<li> <a href="pub"><b>Publications</b></a>
<li> <a href="http://scholar.google.com/citations?user=TwyzQP4AAAAJ">
<b>Google Scholar page</b></a>
<li> <b>Institutional affiliations:</b>
<ul>
<li> <a href="http://dedis.cs.yale.edu"><b>
Decentralized and Distributed Systems (DeDiS) Group</b></a>
(leader),<br>
<a href="http://cs.yale.edu">Department of Computer Science</a>,
<a href="http://yale.edu/">Yale University</a>.
<li> <a href="http://pdos.csail.mit.edu/"><b>
Parallel & Distributed Operating Systems (PDOS) Group</b></a>,<br>
<a href="http://www.csail.mit.edu/">Computer Science &
Artificial Intelligence Lab</a>,
<a href="http://www.mit.edu/">Massachusetts Institute of Technology</a>.
<li> <a href="http://www.cs.utah.edu/flux/"><b>
Flux Research Group</b></a>,<br>
<a href="http://www.cs.utah.edu/">School of Computing</a>,
<a href="http://www.utah.edu/">University of Utah</a>.
</ul>
</ul>
<p>
<tr><td>
<h2>Other Past Work</h2>
<ul>
<li> <b>Phobos</b>,
now <b><a href="http://www.sonicwall.com/">SonicWall</a></b>,
a networking hardware startup.
<li> <b><a href="http://www.hp.com/">Hewlett-Packard</a></b>'s
now-defunct cardiology unit.
<li> <a href="early.html"><b>Early projects</b></a>
I did on my own.
</ul>
</table>
</table>
(<a href="img/dscn5239.jpg">Background photo</a>: MIT's
<a href="http://web.mit.edu/buildings/statacenter/">Stata Center</a>,
where I work.)
</center>
<p>
<!--#include virtual="/footer.html" -->
</body>
</html>