Events
Activities
-
- TOPLAS |
- Editorial Board, 2022-- |
-
-
- Bioconductor |
- Scientific Advisory Board, 2017-- |
-
-
- SIGPLAN |
- Past Chair, 2015--2018 |
-
-
- SIGPLAN |
- Chair, 2012--2015 |
-
+ TOPLAS | Editorial in Cheif, 2023-- |
+ TOPLAS | Editorial Board, 2022--2023 |
+ Bioconductor | Scientific Advisory Board, 2017--2022 |
+ SIGPLAN | Past Chair, 2015--2018 |
+ SIGPLAN | Chair, 2012--2015 |
AITO |
Vice President, 2010--2018 |
@@ -2592,7 +2604,7 @@
- POPL'16Is Sound Gradual Typing Dead?
+ POPL 16Is Sound Gradual Typing Dead?
Authors: Asumu Takikawa, Dan Feltey,
Ben Greenman, Max S. New, Jan Vitek, and Matthias
@@ -2647,7 +2659,7 @@
- ECOOP'15Concrete Types for TypeScript
+ ECOOP 15Concrete Types for TypeScript
Authors: Gregor Richards,
Francesco Zappa Nardelli, and Jan Vitek
@@ -2927,35 +2939,29 @@ Students
PhD |
- Alexi
- Turcotte, Jan Ječmen,
-
- Artem Pelenitsyn,
-
- Julia Belyakova
-
- Aviral Goel,
-
- Ming-Ho Yee,
-
- Benjamin Chung,
-
- Olivier Flückiger,
-
- Gregor Richards (2014),
-
- Filip Pizlo,
+ Sebastián Krynski,
+ Artem Pelenitsyn,
+ Alexi Turcotte (2023),
+ Petr Maj (2023),
+ Julia Belyakova (2023)
+ Aviral Goel (2023),
+ Benjamin Chung (2023),
+ Olivier Flückiger (2022),
+ Gregor Richards (2014),
+ Filip Pizlo,
Jacques Thomas (2011),
- Jesper H. Spring (2008 EPFL),
- Rajeev Gopalakrishna (2006),
- Bogdan Carbunar (2005),
+ Jesper H. Spring (2008 EPFL),
+ Rajeev Gopalakrishna (2006),
+ Bogdan Carbunar (2005),
Krzystof Palacz (2004) |
MSc |
- Jakub Zitny (2017),
+ Ming-Ho Yee (2020),
+ Jan Ječmen (2023),
+ Jakub Zitny (2017),
Nadya Ortiz (2012),
Fadi Meawad (2013),
Brandon Hill (2013),
@@ -3007,8 +3013,9 @@ Students
|
PostDoc |
- Ryan Culpepper (2017--),
-g Konrad Siek (2017--),
+ Pierre Donat-Bouillud (2019--),
+ Ryan Culpepper (2017--2021),
+g Konrad Siek (2017--2021),
Filip Krikava (2016--),
Guido Chari (2018--2020),
Paley Li (2015--2018),
diff --git a/pubs/aviral-phd.pdf b/pubs/aviral-phd.pdf
new file mode 100644
index 0000000..9156ce3
Binary files /dev/null and b/pubs/aviral-phd.pdf differ
diff --git a/pubs/chung-phd23.pdf b/pubs/chung-phd23.pdf
new file mode 100644
index 0000000..f6ef041
Binary files /dev/null and b/pubs/chung-phd23.pdf differ
diff --git a/pubs/fluckiger-phd-22.pdf b/pubs/fluckiger-phd-22.pdf
new file mode 100644
index 0000000..0dce571
Binary files /dev/null and b/pubs/fluckiger-phd-22.pdf differ
diff --git a/pubs/julia-thesis23.pdf b/pubs/julia-thesis23.pdf
new file mode 100644
index 0000000..2a4e96a
Binary files /dev/null and b/pubs/julia-thesis23.pdf differ
diff --git a/pubs/peta-phd23.pdf b/pubs/peta-phd23.pdf
new file mode 100644
index 0000000..717078d
Binary files /dev/null and b/pubs/peta-phd23.pdf differ
| |