-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
309 lines (309 loc) · 12.7 KB
/
index.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
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
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
<!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" xml:lang="en">
<head>
<title>John Altidor</title>
<link rel="stylesheet" type="text/css" href="styles.css" />
<link rel="shortcut icon" href="http://www.cs.umass.edu/sites/all/themes/compsci/images/favicon.ico" type="image/x-icon" />
</head>
<body>
<div class="mainpane">
<div class="header">
<h2>John Altidor</h2>
<p>
<!-- Need some picture of myself -->
<img src="me_cs.jpg" alt="Me by the CS building" height="240" style="float:right; clear:all; margin-left: 30px; margin-bottom: 5px"/>
<table>
<tr><td><a href="http://www.cs.umass.edu/">School of Computer Science</a></td></tr>
<tr><td><a href="http://www.umass.edu/">University of Massachusetts</a></td></tr>
<tr><td>jaltidor [at] cs [dot] umass [dot] edu</td></tr>
</table>
</p>
<p>I completed my Ph.D. in Computer Science at UMass Amherst.
My advisors were
<a href="http://cgi.di.uoa.gr/~smaragd/">Yannis Smaragdakis</a>
and
<a href="https://www.cs.umass.edu/faculty/directory/wileden_jack">Jack Wileden</a>.
<a href="https://www.linkedin.com/in/john-altidor-4896b852/">My LinkedIn Profile</a> describes my work experience.
</p>
</div>
<div class="research_interests">
<h2>Research Interests</h2>
<ul>
<li>Programming language semantics and techniques supporting software engineering.</li>
<li>Formal methods such as type systems for designing languages with correctness
and runtime guarantees at compile time.
</li>
<li>Automated proof assistants such as Twelf.</li>
<li>Language abstractions supporting modular programming and software reuse.</li>
</ul>
</div>
<!-- Research Section -->
<div class="projects">
<h2>Projects</h2>
<div class="project">
<h3 class="prjtitle">Subtyping with Generics</h3>
<p class="prjdesc">Many modern languages have support for
parametric polymorphism such as
<a href="http://download.oracle.com/javase/tutorial/extra/generics/index.html">Generics</a>
in Java.
Parametric polymorphism enhances the readability, maintainability,
and safety of programs.
Subtyping promotes software reuse by allowing code to be applied to
a larger set of terms.
Integrating both approaches is far from trivial.
For example, consider a Generic interface
<span class="code">List<E></span>, where
<span class="code">E</span> is a type parameter,
<span class="code">List</span> is a parametric type (generic),
and instances of
<span class="code">E</span> can be read from or written to
instances of <span class="code">List<E></span>.
Even if <span class="code">Dog</span> is a subtype of
<span class="code">Animal</span>,
it is <em>not</em> safe to assume that
<span class="code">List<Dog></span> (a list of <span class="code">Dog</span>s)
is a <span class="code">List<Animal></span> (a list of <span class="code">Animal</span>s).
Existing variance mechanisms enable greater subtyping between parametric types
but can be difficult to use and suffer from various deficiencies.
This project aims at providing programming language mechanisms
to better support subtyping with parametric polymorphism.
</p>
</div>
<div class="project">
<h3 class="prjtitle">Feature-Based CAD System Interoperability</h3>
<p class="prjdesc">Computer-aided design (CAD) systems are used to
create virtual representations of physical objects (e.g. cars, planes).
Interoperability of CAD systems is a major problem when enabling
information integration in a collaborative engineering environment.
Existing standard CAD data formats such as
<a href="http://ts.nist.gov/standards/iges/">IGES</a>
and
<a href="http://www.wikistep.org/index.php/Main_Page">STEP</a>
do not preserve feature information during CAD data exchange.
Hence, they do not enable the modification, extension, and ability
to perform higher-level functionality on imported CAD models from other
CAD systems.
This project aims at enabling higher-level CAD data exchange.
</p>
<ul>
<li>
<span class="pubtitle">CAD Data Exchange Software Project:</span>
(<a href="https://github.com/jgaltidor/cad-exchange">www</a>)
</li>
</ul>
</div>
</div>
<div class="refpubs">
<h2>Publications</h2>
<ul>
<li>
<span class="smallheading">Dissertation</span>
<em>(Awarded 2014 Outstanding Dissertation by the School of Computer Science)</em>
</span>
<br/>
<span class="pubtitle">Subtyping with Generics: A Unified Approach</span>.
(<a href="dissertation.pdf">pdf</a>)
<br/>
<em>John Altidor</em>.
</li>
<li>
<span class="pubtitle">Refactoring Java Generics by Inferring Wildcards, In Practice</span>.
(<a href="refactoring_oopsla14.pdf">paper</a>,
<a href="refactoring_oopsla14_slides.pdf">slides</a>)
<br/>
<em>John Altidor</em> and Yannis Smaragdakis.
<br/>
29th ACM SIGPLAN Conference on Object-Oriented Programming Systems and Applications
(<a href="http://2014.splashcon.org/track/oopsla2014">OOPSLA 2014</a>)
</li>
<li>
<span class="pubtitle">Java Wildcards Meet Definition-Site Variance</span>.
(<a href="varj_ecoop12.pdf">paper</a>,
<a href="varj_ecoop12_slides.pdf">slides</a>)
<br/>
<em>John Altidor</em>, Christoph Reichenbach, and Yannis Smaragdakis.
<br/>
26th European Conference on Object-Oriented Programming
(<a href="http://ecoop12.cs.purdue.edu/">ECOOP 2012</a>)
</li>
<li>
<span class="pubtitle">Taming the Wildcards: Combining Definition-
and Use-Site Variance</span>.
(<a href="variance_pldi11.pdf">paper</a>,
<a href="variance_pldi11_slides.pdf">slides</a>)
<br/>
<em>John Altidor</em>, Shan Shan Huang, and Yannis Smaragdakis.
<br/>
ACM SIGPLAN 2011 Conference on Programming Language Design and Implementation.
(<a href="http://pldi11.cs.utah.edu/">PLDI 2011</a>)
</li>
<li>
<span class="pubtitle">A Programming Language Approach To Parametric
CAD Data Exchange</span>.
(<a href="idetc2011.pdf">paper</a>,
<a href="idetc2011_slides.pdf">slides</a>)
<br/>
<em>John Altidor</em>, Jack Wileden, Jeffrey McPherson, et al.
<br/>
ASME 2011 International Design Engineering Technical Conferences
(<a href="http://www.asmeconferences.org/IDETC2011/">IDETC 2011</a>)
</li>
<li>
<span class="pubtitle">Towards Industrial Implementation of Emerging Semantic
Technologies</span>.
(<a href="http://dx.doi.org/10.1115/DETC2011-48520">paper</a>)
<br/>
Jay Breindel, Ian Grosse, Sundar Krishnamurty, <em>John Altidor</em>, et al.
<br/>
ASME 2011 International Design Engineering Technical Conferences
(<a href="http://www.asmeconferences.org/IDETC2011/">IDETC 2011</a>)
</li>
<li>
<span class="pubtitle">Analyzing And Implementing A Feature
Mapping Approach To CAD System Interoperability</span>.
(<a href="http://dx.doi.org/10.1115/DETC2009-87539">paper</a>)
<br/>
<em>John Altidor</em>, Yiwen Wang, Jack Wileden, et al.
<br/>
ASME 2009 International Design Engineering Technical Conferences
(IDETC 2009)
</li>
</ul>
</div>
<div class="unrefpubs">
<h2>Other Documents</h2>
<ul>
<li>
<span class="pubtitle">A Tutorial on Type Theory, Foundations of Programming Languages, and Formal Verification</span>.
(<a href="typetheory_paper.pdf">paper</a>)
<br/>
Supplementary Twelf Code:
(<a href="https://github.com/jgaltidor/twelf_tutorial">www</a>)
<br/>
Type Theory Tutorial Presentation:
(<a href="typetheory_slides.pdf">slides</a>)
<br/>
Twelf Tutorial Presentation:
(<a href="twelf_slides.pdf">slides</a>)
</li>
<li>
<span class="pubtitle">Taming the Wildcards</span>.
(<a href="taming_wildcards_clc12.pptx">pptx</a>)
<br/>
<a href="http://clc.cs.uiowa.edu/">CLC</a> Seminar.
</li>
<ul>
</div>
<div class="teaching">
<h2>Teaching Experience</h2>
<ul>
<li>Full Instructor for Programming Methodology.
(<a href="https://www.cs.umass.edu/drupal/ugrad-education/spring-14-course-descriptions/#220">www</a>)
Spring 2014.
</li>
<li>Co-Instructor for Programming Methodology.
(<a href="https://www.cs.umass.edu/drupal/ugrad-education/fall-13-course-descriptions/#220">www</a>)
Fall 2013.
</li>
<li>Instructor for Programming Language Reading and Discussion Group.
(<a href="https://collab.cs.umass.edu/groups/programminglanguagereadinggroup/">www</a>)
Spring 2012.
</li>
<li><a href="http://reu.cs.umass.edu/">REU</a> Mentoring. Summers 2013, 2011, and 2010.</li>
<li>Instructor for Honors Section of Programming Methodology.
(<a href="http://www.cs.umass.edu/drupal/ugrad-education/fall-09-course-descriptions/#220">CMPSCI 220</a>)
Fall 2009.
</li>
<li>Teaching Assistant for Software Development Practices.
(<a href="http://www.cs.iastate.edu/courses/description/ComS309.shtml">Com S 309</a>)
Fall 2007 - Spring 2008.
</li>
</ul>
</div>
<div class="awards">
<h2>Awards</h2>
<ul>
<li><a href="http://www.cs.umass.edu/oaa2011">2011 Outstanding Synthesis Award</a>.</li>
<li><a href="http://sites.nationalacademies.org/PGA/FordFellowships/PGA_049151">2010 Honorable Mention list</a>
for the Ford Fellowship.
</li>
<li>2008
<a href="http://www.gemfellowship.org/">GEM Fellowship</a>.
</li>
</ul>
</div>
<div class="events">
<h2>Professional Events Attended</h2>
<!-- Conferences -->
<h3>Conferences and Workshops</h3>
<ul>
<li>ACM SIGPLAN 2012 Conference on Programming Language Design and Implementation
(<a href="http://pldi12.cs.purdue.edu/">PLDI 2012</a>),
Beijing, China, June 2012
</li>
<li>26th European Conference on Object-Oriented Programming
(<a href="http://ecoop12.cs.purdue.edu/">ECOOP 2012</a>),
Beijing, China, June 2012
</li>
<li>39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
(<a href="http://www.cse.psu.edu/popl/12/">POPL 2012</a>),
Philadelphia, PA, January 2012
</li>
<li>ACM SIGPLAN 2011 Conference on Programming Language Design and Implementation
(<a href="http://pldi11.cs.utah.edu/">PLDI 2011</a>),
San Jose, CA, June 2011
</li>
<li>2011 Federated Computing Research Conference
(<a href="http://www.acm.org/fcrc/">FCRC 2011</a>),
San Jose, CA, June 2011
</li>
<li>38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages
(<a href="http://www.cse.psu.edu/popl/11/">POPL 2011</a>),
Austin, TX, January 2011
</li>
<li>6th ACM SIGPLAN Workshop on Types in Language Design and Implementation
(<a href="http://www.mpi-sws.org/~dreyer/tldi2011/">TLDI 2011</a>),
Austin, TX, January 2011
</li>
</ul>
<!-- Summer Schools -->
<h3>Summer Schools</h3>
<ul>
<li>Summer School on Theory and Practice of Language Implementation
(<a href="http://www.cs.uoregon.edu/research/summerschool/summer09/">www</a>),
Eugene, OR, July 2009
</li>
<li>Summer School on Logic and Theorem Proving in Programming Languages
(<a href="http://www.cs.uoregon.edu/research/summerschool/summer08/">www</a>),
Eugene, OR, July 2008
</li>
</ul>
<!-- IAB Meetings -->
<h3>NSF Center for e-Design IAB Meetings</h3>
<ul>
<li>2010 NSF Center for e-Design IAB Meeting
(<a href="http://www.nsf.gov/events/event_summ.jsp?cntn_id=116597&WT.mc_id=USNSF_18">www</a>),
Buffalo, NY, June 2010
</li>
<li>2009 NSF Center for e-Design IAB Meeting
(<a href="http://www.nsf.gov/events/event_summ.jsp?cntn_id=115132">www</a>),
Online Meeting, September 2009
</li>
<li>2008 NSF Center for e-Design IAB Meeting
(<a href="http://www.nsf.gov/events/event_summ.jsp?cntn_id=112849&org=ENG">www</a>),
Orlando, FL, December 2008
</li>
</ul>
</div>
<div class="service">
<h2>Service</h2>
<ul>
<li>Graduate Employee Organization
(<a href="http://www.geouaw.org/">GEO</a>) Steward</li>
<li>Civil Rights Committee Co-Chair</li>
<li>ALANAA Committee Co-Chair</li>
</ul>
</div>
</div>
</body>
</html>