Jan Vitek
Publication Activity (10 Years)
Years Active: 1992-2024
Publications (10 Years): 55
Publications (10 Years): 55
Publications
- Julia Belyakova, Benjamin Chung, Ross Tate, Jan Vitek
- Aviral Goel, Jan Vitek
- Aviral Goel, Jan Jecmen, Sebastián Krynski, Olivier Flückiger, Jan Vitek
- Alexi Turcotte, Aviral Goel, Filip Krikava, Jan Vitek
- Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Jecmen, Jakob Hain, Jan Vitek
- Alexi Turcotte, Jan Vitek
- Aviral Goel, Jan Vitek
- Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
- Aviral Goel, Jan Vitek
- Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias FelleisenFeature-Specific Profiling. CoRR (2018)
- Filip Krikava, Jan Vitek
- Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
- Guido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger
- Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek
- Cristina V. Lopes, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, Jan Vitek
- Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
- Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, Matthias Felleisen
- Shriram Krishnamurthi, Jan Vitek
- Gregor Richards, Francesco Zappa Nardelli, Jan Vitek
- Jan Vitek
- Jan Vitek
- Tomas Kalibera, Petr Maj, Floréal Morandat, Jan Vitek
- Jan Vitek
- Bjorn De Sutter, Jan Vitek
- Jan Vitek
- Jan Vitek
- Fadi Meawad, Karthik Iyer, Martin Schoeberl, Jan Vitek
- Jan Vitek, Tomas Kalibera
- Ana Milanova, Jan Vitek
- Gregor Richards, Andreas Gal, Brendan Eich, Jan Vitek
- Jan Vitek
- Tomas Kalibera, Jeff Hagelberg, Petr Maj, Filip Pizlo, Ben L. Titzer, Jan Vitek
- Daniel Tang, Ales Plsek, Jan Vitek
- Jan Vitek