-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathindex.html
More file actions
151 lines (122 loc) · 8.55 KB
/
Copy pathindex.html
File metadata and controls
151 lines (122 loc) · 8.55 KB
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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type" />
<title>Jason Croft</title>
<script async src="https://www.googletagmanager.com/gtag/js?id=UA-11774344-1"></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag(){dataLayer.push(arguments)};
gtag('js', new Date());
gtag('config', 'UA-11774344-1');
</script>
</head>
<body>
<table width="100%" border="0" cellpadding="0" cellspacing="0">
<tr>
<td style="width:299px">
<img title="Atop Mt. Si, Washington, Sept 2009" height="180px" src="images/header.jpg"/>
</td>
<td style="width:15px"></td>
<td style="text-align:left; vertical-align:top">
<h2 style="margin-top:5px; margin-bottom:5px">Jason Croft</h2>
<span style="font-size:12pt">
Member of Technical Staff, <a href="https://www.forwardnetworks.com">Forward Networks</a><br/>
Email: croft1 (at) illinois (dot) edu<br/>
CV: [<a href="#">pdf</a>]
[<a href="http://www.linkedin.com/in/croftj">linkedin</a>]
[<a href="https://github.com/croft">github</a>]
</span>
</td>
</tr>
</table>
<br />
Links: [<a href="#pubs">Publications</a>] [<a href="#exp">Experience</a>] [<a href="#awards">Awards</a>]
[<a href="#courses">Courses</a>]
<hr />
<br />
I graduated from <a href="http://cs.illinois.edu">UIUC</a> with a Ph.D. in Computer Science in 2017,
where I was advised by <a href="http://caesar.web.engr.illinois.edu/">Professor Matthew Caesar</a>.
I now work at <a href="https://www.forwardnetworks.com">Forward Networks</a>.
My research interests include network reliability, model checking, and program synthesis.
<h3 style="margin-bottom:10px"><a name="pubs">Publications</a></h3>
Wenxuan Zhou, Jason Croft, Bingzhe Lui, and Matthew Caesar. <em>NEAt: Network Error Auto-Correct</em>. In 15th USENIX Symposium on Networked Systems Design and Implementation (<strong>NSDI '18</strong>), Renton, Washington, USA, April 2018. [<a href="docs/nsdi18.pdf">pdf</a>]
<br/><br/>
Anduo Wang and Jason Croft. <em>Automating SDN Composition: A Database Approach</em>. In 2017 Symposium on SDN Research (<strong>SOSR '17</strong>), Poster Session, Santa Clara, California, USA, April 2017. [<a href="docs/sosr17_poster_abstract.pdf">abstract</a>][<a href="docs/sosr17_poster.pdf">poster</a>]
<br/><br/>
Anduo Wang, Jason Croft, and Eduard Dragut. <em>Reflections on Data Integration for SDN</em>. In 2017 ACM International Workshop on Security in Software Defined Networks and Network Function Virtualization (<strong>SDN-NFV Security '17</strong>), Scottsdale, Arizona, USA, March 2017. (Invited paper) [<a href="docs/sdnnfv17.pdf">pdf</a>]
<br/><br/>
Jason Croft, Shambwaditya Saha, Anduo Wang, and Madhusudan Parthasarathy. <em>NetSum: Mining Summaries of Network Configuration Changes</em>. In 2016 Workshop on Science of Security through Software-Defined Networking (<strong>SoSSDN '16</strong>), Chicago, Illinois, USA, June 2016. [<a href="docs/sossdn16-poster.pdf">pdf</a>]
<br/><br/>
Anduo Wang, Xueyuan Mei, Jason Croft, Matthew Caesar, and Brighten Godfrey. <em>Ravel: A Database-Defined Network</em>. In 2016 Symposium on SDN Research (<strong>SOSR '16</strong>), Santa Clara, California, USA, March 2016. [<a href="docs/sosr16.pdf">pdf</a>] [<a href="http://ravel-net.org/">ravel-net.org</a>]
<br/><br/>
Jason Croft, Ratul Mahajan, Matthew Caesar, and Madan Musuvathi. <em>Systematically Exploring the Behavior of Control Programs</em>. In 2015 USENIX Annual Technical Conference (<strong>ATC '15</strong>), Santa Clara, California, USA, July 2015. [<a href="docs/atc15.pdf">pdf</a>]
<br/><br/>
Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, and P. Brighten Godfrey. <em>Enforcing Customizable Consistency Properties in Software-Defined Networks</em>. In 12th USENIX Symposium on Networked Systems Design and Implementation (<strong>NSDI '15</strong>), Oakland, California, USA, May, 2015. [<a href="docs/nsdi15.pdf">pdf</a>]
<br/><br/>
Jason Croft, Ratul Mahajan, Matthew Caesar, and Madan Musuvathi. <em>Back to the Future: Forecasting Program Behavior in Automated Homes</em>. MSR Technical Report, 2012. [<a href="docs/msr_tr.pdf">pdf</a>]
<br/><br/>
Jason Croft and Matthew Caesar. <em>Towards Practical Avoidance of Information Leakage
in Enterprise Networks</em>. In 6th USENIX Workshop on Hot Topics in Security (<strong>HotSec '11</strong>),
San Francisco, California, USA, August 2011. [<a href="docs/hotsec11.pdf">pdf</a>]
<br/><br/>
Jason Croft and Robert Signorile. <em>Secure Distribution of Confidential Information via Self-Destructing
Data</em>. In 8th World Scientific and Engineering Academy and Society (WSEAS) International Conference on Data
Networks, Communication, Computers (<strong>DNCOCO '09</strong>), Baltimore, Maryland,
USA, November 2009. [<a href="docs/dncoco09.pdf">pdf</a>]
<br/><br/>
Jason Croft and Robert Signorile. <em>A Self-Destructing File Distribution System with Feedback for
Peer-to-Peer Networks</em>. In 9th World Scientific and Engineering Academy and Society (WSEAS)
International Conference on Applied Computer Science (<strong>ACS '09</strong>), Genova, Italy, October 2009.
[<a href="docs/acs09.pdf">pdf</a>]
<br/><br/>
Gang Tan and Jason Croft. <em>An Empirical Security Study of the Native Code in the JDK</em>. In 17th
USENIX Security Symposium 2008 (<strong>USENIX Security '08</strong>), San Jose, California, USA, July
2008. [<a href="docs/usenix08.pdf">pdf</a>] [<a href="docs/usenix08_tr.pdf">tech report</a>]
<br/><br/>
Jason Croft and Gang Tan. <em>Security Analysis of the Native Code in Suns JDK</em>. In 23rd Annual Computer Security Applications Conference (<strong>ACSAC '07</strong>), Work-in-Progress session, Miami, Florida,
USA, December 2007. [<a href="docs/acsac07.pdf">pdf</a>]
<br/><br/>
<h3 style="margin-bottom:10px"><a name="exp">Experience</a></h3>
<ul style="margin-top:0px; margin-bottom:0px">
<li>Member of Technical Staff, <em>Forward Networks</em>, March 2018 - Present
<li>Intern, <em>International Computer Science Institute (ICSI)</em>, June 2012 - September 2012 </li>
<li>Research Intern, <em>Microsoft Research</em>, May 2011 - May 2012</li>
<li>Software Design Engineer in Test (SDET), <em>Microsoft Corporation</em>, Active Directory, Aug 2009 - Aug 2010</li>
<li>Vice President, <em>ACM, BC Chapter</em>, September 2008 - May 2009</li>
<li>SDET Intern, <em>Microsoft Corporation</em>, Forefront Security, Summer 2008
<li>Teaching Assistant, <em>Boston College</em></li>
<ul>
<li>MT435 Mathematical Programming, Fall 2008 (with <a href="https://www2.bc.edu/daniel-chambers/">Prof. Dan Chambers</a>)</li>
<li>CS383 Algorithms, Spring 2008 (with <a href="http://cs.bc.edu/~alvarez/">Prof. Sergio Alvarez</a>)</li>
<li>CS361 Information Security, Fall 2007 (with <a href="http://www.cse.psu.edu/~gxt29/">Prof. Gang Tan</a>)</li>
</ul>
</ul>
<br/>
<h3 style="margin-bottom:10px"><a name="awards">Awards/Fellowships</a></h3>
<ul style="margin-top:0px; margin-bottom:0px">
<li>NSF Graduate Research Fellowship, Honorable Mention, 2011</li>
<li><a href="https://cs.illinois.edu/about-us/awards/graduate-fellowships-awards/chirag-foundation-graduate-fellowship-computer-science">Chirag Foundation Fellowship</a>, UIUC, 2010</li>
<li><a href="https://www.bc.edu/content/bc-web/schools/mcas/sites/phi-beta-kappa/student-initiates.html">Phi Beta Kappa Society</a>, inducted 2009</li>
<li><a href="http://www.bcheights.com/2.6173/wakesmart-tops-bc-venture-competition-1.904013#.T0YYcvE7WHc">Boston College Venture Competition 2009</a>, 2nd place (NetGene:
Browser-Based Distributed Computing)</li>
<li><a href="https://cra.org/about/awards/outstanding-undergraduate-researcher-award/">CRA Outstanding Undergraduate Award</a>, Honorable Mention, 2009</li>
<li>Dean's Scholar Finalist, Boston College, 2008</li>
<li>Undergraduate Research Fellowship, Boston College, 2008-2009</li>
</ul>
<br/>
<h3 style="margin-bottom:10px"><a name="courses">Graduate Coursework</a></h3>
<ul style="margin-top:0px; margin-bottom:0px">
<li>CS527 Topics in Software Engineering, Fall 2017 (with Prof. Darko Marinov)</li>
<li>CS598MCC Advanced Internetworking, Spring 2011 (with Prof. Matt Caesar)</li>
<li>CS525 Advanced Distributed Systems, Spring 2011 (with Prof. Indranil Gupta)</li>
<li>CS523 Advanced Operating Systems, Spring 2011 (with Prof. Sam King)</li>
<li>CS591RHC Security Reading Group, Fall 2010</li>
<li>CS598PBG Advanced Computer Networks, Fall 2010 (with Prof. Brighten Godfrey)</li>
<li>CS573 Graduate Algorithms, Fall 2010 (with Prof. Jeff Erickson)</li>
</ul>
<br/>
<hr />
Last updated: Nov-2019
</body>
</html>