Skip to content

Commit

Permalink
theses
Browse files Browse the repository at this point in the history
  • Loading branch information
@janvitek
janvitek committed Sep 12, 2023
1 parent 9b09e02 commit e5221a7
Show file tree
Hide file tree
Showing 6 changed files with 60 additions and 53 deletions.
113 changes: 60 additions & 53 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -146,14 +146,14 @@ <h2>Jan Vitek</h2>
<span class="pn-grey-font pn-contact-span">Email:</span>
<span class="pn-courier-bold"><a class="pn-dark" href="mailto:vitekj@me.com?subject=Jan%20Vitek%20website%20inquiry">vitekj@me.com</a></span><br />

<span class="pn-grey-font pn-contact-span">Office:</span>
<span class="pn-courier-bold">Yes</span><br />
<span class="pn-grey-font pn-contact-span">Zoom:</span>
<span class="pn-courier-bold"><a href="https://https://northeastern.zoom.us/my/jvroom">jvroom</a></span><br />

<span class="pn-grey-font pn-contact-span">CV:</span>
<a href="pubs/cv.pdf" target="_blank" class="pn-dark"><span class="pn-courier-bold">PDF</span></a><br />

<span class="pn-grey-font pn-contact-span">H-index:</span>
<a href="https://scholar.google.com/citations?user=Ws0GjboAAAAJ&hl=en&oi=ao" target="_blank" class="pn-dark"><span class="pn-courier-bold">53</span></a><br />
<a href="https://scholar.google.com/citations?user=Ws0GjboAAAAJ&hl=en&oi=ao" target="_blank" class="pn-dark"><span class="pn-courier-bold">55</span></a><br />

<span class="pn-grey-font pn-contact-span">DBLP:</span>
<a href="http://dblp.uni-trier.de/pers/hd/v/Vitek:Jan" target="_blank" class="pn-dark"><span class="pn-courier-bold">Here</span></a><br>
Expand All @@ -167,7 +167,7 @@ <h2>Jan Vitek</h2>
<a href="https://prl-prg.github.io" target="_blank" class="pn-dark"><span class="pn-courier-bold">PRL-PRG</span></a>
</p>
</address>
</div>
</div>
</div>

<div class="row pn-grey-bg">
Expand All @@ -176,12 +176,35 @@ <h2>Jan Vitek</h2>
<table>
<tr>


<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="https://dl.acm.org/journal/toplas" target="_blank">TOPLAS</a></strong></span></li></ul></td>
<td>I am now the Editor in Chief of TOPLAS</td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="pubs/julia-thesis23.pdf"
target="_blank">Thesis</a></strong></span></li></ul></td>
<td>Julia Belyakova defended her thesis on <a href="pubs/julia-thesis23.pdf">Decidable Subtyping of Existential Types for the Julia Language</a> in Augsut 2023</td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="pubs/chung-phd22"
target="_blank">Thesis</a></strong></span></li></ul></td>
<td>Ben Chung defended his thesis on <a href="pubs/chung-phd23.pdf">A type system for Julia</a> in May 2023</td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="pubs/peta-phd23.pdf"
target="_blank">Thesis</a></strong></span></li></ul></td>
<td>Petr Maj defended his thesis on <a href="pubs/peta-phd23.pdf">Analyzing Large Code Repositories</a> in July 2023</td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="aviral-phd.pdf"
target="_blank">Thesis</a></strong></span></li></ul></td>
<td>Aviral Goel defended his thesis on <a href="pubs/aviral-phd.pdf">Data-driven ecosystem migration</a> in February 2023</td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="pubs/fluckiger-phd-22.pdf"
target="_blank">Thesis</a></strong></span></li></ul></td>
<td>Oli Flückiger defended his thesis on <a href="pubs/fluckiger-phd-22.pdf">Just in Time: Assumptions and Speculations</a> in Augsut 2022</td></tr>


<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="http://www.aito.org/Dahl-Nygaard/2020.html"
target="_blank">DN Prize</a></strong></span></li></ul></td>
<td>I am delighted to be the recipient of the <a href="http://www.aito.org/Dahl-Nygaard/2020.html">
Dahl-Nygaard Senior Prize</a> for 2020. The talk is <a href="https://youtu.be/LaaUKWXHpNs">Fitzcarraldo — or How to Hack Academia to Build Stuff</a> on Youtube
</td>
</tr>
<td>I am delighted to have received the <a href="http://www.aito.org/Dahl-Nygaard/2020.html">
Dahl-Nygaard Senior Prize</a>, 2020. The talk is <a href="https://youtu.be/LaaUKWXHpNs">Fitzcarraldo or How to Hack Academia to Build Stuff</a></td></tr>

<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong><a href="http://rebase-conf.org/2020/"
target="_blank">Talks</a></strong></span></li></ul></td>
Expand Down Expand Up @@ -232,7 +255,7 @@ <h2>Jan Vitek</h2>
<tr><td><ul class="pn-ul-triangle"><li><span class="pn-news-span"><strong>
<a href="https://conf.researchr.org/event/issta-2018/issta-2018-artifacts-tests-from-traces-automated-unit-test-generation-for-r"
target="_blank">AEC</a></strong></span></li></ul> </td>
<td><a href="https://github.com/PRL-PRG/genthat">Genthat</a> received an ISSTA'18 distinguished
<td><a href="https://github.com/PRL-PRG/genthat">Genthat</a> received an ISSTA 18 distinguished
artifact award </td>
</tr>

Expand Down Expand Up @@ -368,11 +391,11 @@ <h3>Conferences</h3>
<table>

<tr><td class="pn-first-td"><a href="https://2022.splashcon.org"
target="_blank">SPLASH'22</a></td><td>Program (co)Chair</td>
target="_blank">SPLASH 22</a></td><td>Program (co)Chair</td>
</tr>

<tr><td class="pn-first-td"><a href="https://2022.ecoop.org"
target="_blank">ECOOP'22</a></td><td>Program (co)Chair</td>
target="_blank">ECOOP 22</a></td><td>Program (co)Chair</td>
</tr>

<tr><td class="pn-first-td"><a href="https://2020.splashcon.org"
Expand Down Expand Up @@ -516,22 +539,11 @@ <h3>Events</h3>
<h3>Activities</h3>
<table>
<tr>
<tr>
<td><a href="https://dl.acm.org/journal/toplas" target="_blank">TOPLAS</a></td>
<td>Editorial Board, 2022--</td>
</tr>
<tr>
<td><a href="http://bioconductor.org/about/advisory-board" target="_blank">Bioconductor</a></td>
<td>Scientific Advisory Board, 2017--</td>
</tr>
<tr>
<td><a href="http://www.sigplan.org/" target="_blank">SIGPLAN</a></td>
<td>Past Chair, 2015--2018</td>
</tr>
<tr>
<td><a href="http://www.sigplan.org/" target="_blank">SIGPLAN</a></td>
<td>Chair, 2012--2015</td>
</tr>
<tr><td><a href="https://dl.acm.org/journal/toplas" target="_blank">TOPLAS</a></td><td>Editorial in Cheif, 2023--</td></tr>
<tr><td><a href="https://dl.acm.org/journal/toplas" target="_blank">TOPLAS</a></td><td>Editorial Board, 2022--2023</td></tr>
<tr><td><a href="http://bioconductor.org/about/advisory-board" target="_blank">Bioconductor</a></td><td>Scientific Advisory Board, 2017--2022</td></tr>
<tr><td><a href="http://www.sigplan.org/" target="_blank">SIGPLAN</a></td><td>Past Chair, 2015--2018</td><tr>
<tr><td><a href="http://www.sigplan.org/" target="_blank">SIGPLAN</a></td><td>Chair, 2012--2015</td> </tr>
<tr>
<td><a href="http://www.aito.org/" target="_blank">AITO</a></td>
<td>Vice President, 2010--2018</td>
Expand Down Expand Up @@ -2592,7 +2604,7 @@ <h3></h3>
<li class="pn-conferences">
<div>
<div class="pn-publications">
<a class="pn-link"><span class="pn-publications-span"><strong>POPL'16</strong></span>Is Sound Gradual Typing Dead?</a>
<a class="pn-link"><span class="pn-publications-span"><strong>POPL 16</strong></span>Is Sound Gradual Typing Dead?</a>
<div class="pn-readmore">
<strong>Authors</strong>: Asumu Takikawa, Dan Feltey,
Ben Greenman, Max S. New, Jan Vitek, and Matthias
Expand Down Expand Up @@ -2647,7 +2659,7 @@ <h3></h3>
<li class="pn-conferences">
<div>
<div class="pn-publications">
<a class="pn-link"><span class="pn-publications-span"><strong>ECOOP'15</strong></span>Concrete Types for TypeScript </a>
<a class="pn-link"><span class="pn-publications-span"><strong>ECOOP 15</strong></span>Concrete Types for TypeScript </a>
<div class="pn-readmore">
<strong>Authors</strong>: Gregor Richards,
Francesco Zappa Nardelli, and Jan Vitek <br />
Expand Down Expand Up @@ -2927,35 +2939,29 @@ <h3>Students</h3>
<tr>
<td><strong>PhD</strong></td>
<td>
<a href="https://scholar.google.com/citations?user=doNFcFwAAAAJ&hl=en">Alexi
Turcotte</a>, Jan Ječmen,
<a href="https://a-pelenitsyn.github.io/">
Artem Pelenitsyn</a>,
<a href="https://julbinb.github.io" target="blank">
Julia Belyakova</a>
<a href="http://aviral.io" target="_blank">
Aviral Goel</a>,
<a href="http://mhyee.com" target="_blank">
Ming-Ho Yee</a>,
<a href="http://benchung.github.io" target="_blank">
Benjamin Chung</a>,
<a href="http://www.o1o.ch" target="_blank">
Olivier Flückiger</a>,
<a href="http://the.gregor.institute" target="_blank">
Gregor Richards</a> (2014),
<a href="http://www.filpizlo.com" target="_blank">
Filip Pizlo</a>,
Sebastián Krynski,
<a href="https://a-pelenitsyn.github.io/"> Artem Pelenitsyn</a>,
<a href="https://scholar.google.com/citations?user=doNFcFwAAAAJ&hl=en">Alexi Turcotte (2023)</a>,
Petr Maj (2023),
<a href="https://julbinb.github.io" target="blank">Julia Belyakova (2023)</a>
<a href="http://aviral.io" target="_blank">Aviral Goel (2023)</a>,
<a href="http://benchung.github.io" target="_blank">Benjamin Chung (2023)</a>,
<a href="http://www.o1o.ch" target="_blank">Olivier Flückiger (2022)</a>,
<a href="http://the.gregor.institute" target="_blank">Gregor Richards</a> (2014),
<a href="http://www.filpizlo.com" target="_blank">Filip Pizlo</a>,
<a href="https://www.linkedin.com/profile/view?id=2882282&authType=NAME_SEARCH&authToken=s56e&locale=en_US&trk=tyah2&trkInfo=idx%3A1-1-1%2CtarId%3A1425161580687%2Ctas%3Ajacques+t" target="_blank">
Jacques Thomas</a> (2011),
<a href="https://www.linkedin.com/in/jhspring" target="_blank"> Jesper H. Spring</a> (2008 EPFL),
<a href="https://www.linkedin.com/in/rajeevgopalakrishna" target="_blank"> Rajeev Gopalakrishna</a> (2006),
<a href="http://users.cis.fiu.edu/~carbunar/" target="_blank"> Bogdan Carbunar</a> (2005),
<a href="https://www.linkedin.com/in/jhspring" target="_blank"> Jesper H. Spring</a> (2008 EPFL),
<a href="https://www.linkedin.com/in/rajeevgopalakrishna" target="_blank">Rajeev Gopalakrishna</a> (2006),
<a href="http://users.cis.fiu.edu/~carbunar/" target="_blank"> Bogdan Carbunar</a> (2005),
<a href="https://www.linkedin.com/in/krzysztofpalacz" target="_blank"> Krzystof Palacz</a> (2004) </td>
</tr>
<tr>
<td><strong>MSc</strong></td>
<td>
Jakub Zitny (2017),
<a href="http://mhyee.com" target="_blank">Ming-Ho Yee (2020)</a>,
Jan Ječmen (2023),
Jakub Zitny (2017),
<a href="https://www.linkedin.com/pub/nadya-ortiz/32/310/342" target="_blank">Nadya Ortiz</a> (2012),
<a href="https://www.linkedin.com/in/fadiedward" target="_blank" >Fadi Meawad</a> (2013),
<a href="http://0xdata.com/team/brandon-hill/" target="_blank">Brandon Hill</a> (2013),
Expand Down Expand Up @@ -3007,8 +3013,9 @@ <h3>Students</h3>
<tr>
<td><strong>PostDoc</strong></td>
<td>
<a href="http://www.ccs.neu.edu/home/ryanc/" target="_blank">Ryan Culpepper</a> (2017--),
g <a href="https://kondziu.github.io" target="_blank">Konrad Siek</a> (2017--),
Pierre Donat-Bouillud (2019--),
<a href="http://www.ccs.neu.edu/home/ryanc/" target="_blank">Ryan Culpepper</a> (2017--2021),
g <a href="https://kondziu.github.io" target="_blank">Konrad Siek</a> (2017--2021),
<a href="http://fikovnik.net">Filip Krikava</a> (2016--),
<a href="http://lafhis.dc.uba.ar/en/~gchari">Guido Chari</a> (2018--2020),
<a href="https://palez.github.io">Paley Li</a> (2015--2018),
Expand Down
Binary file added pubs/aviral-phd.pdf
View file
Binary file not shown.
Binary file added pubs/chung-phd23.pdf
View file
Binary file not shown.
Binary file added pubs/fluckiger-phd-22.pdf
View file
Binary file not shown.
Binary file added pubs/julia-thesis23.pdf
View file
Binary file not shown.
Binary file added pubs/peta-phd23.pdf
View file
Binary file not shown.

0 comments on commit e5221a7

Please sign in to comment.