World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
57
Citations
9994
World Ranking
3911
National Ranking
1852

Overview

Jan Vitek is affiliated with Northeastern University in the United States and has an extensive publication record in the field of Computer Science. Their research spans multiple areas, including hardware and architecture, computer networks and communications, artificial intelligence, information systems, and software engineering.

Their work addresses key topics such as parallel computing and optimization techniques, software engineering research, logic, programming, and type systems, distributed systems and fault tolerance, scientific computing and data management, advanced data storage technologies, and formal methods in verification.

Jan Vitek's frequent publication venues include:

  • Proceedings of the ACM on Programming Languages
  • Zenodo (CERN European Organization for Nuclear Research)
  • arXiv (Cornell University)
  • Leibniz-Zentrum für Informatik (Schloss Dagstuhl)
  • Artifact Digital Object Group

Among their recent papers are:

  • "Formally verified speculation and deoptimization in a JIT compiler" (2021), Proceedings of the ACM on Programming Languages
  • "Contextual dispatch for function specialization" (2020), Proceedings of the ACM on Programming Languages
  • "Type stability in Julia: avoiding performance pathologies in JIT compilation" (2021), Proceedings of the ACM on Programming Languages
  • "World age in Julia: optimizing method dispatch in the presence of eval" (2020), Proceedings of the ACM on Programming Languages
  • "Reusing Just-in-Time Compiled Code" (2023), Proceedings of the ACM on Programming Languages

These papers explore topics like just-in-time compilation, optimization of programming language dispatch mechanisms, and performance stability in dynamic language implementations.

Jan Vitek has collaborated frequently with several researchers, including:

  • Olivier Flückiger
  • Aviral Goel
  • Filip Křikava
  • Julia Belyakova
  • Benjamin Chung

Additionally, Jan Vitek has contributed to book publications, including a title published by Springer Science+Business Media:

  • Coordination Models and Languages (2022)

This body of work reflects a sustained engagement with programming languages, system optimization, and coordination models in computer science, positioning Jan Vitek as an active researcher in both theoretical and applied aspects of the discipline.

Best Publications

  • An analysis of the dynamic behavior of JavaScript programs

    Gregor Richards;Sylvain Lebresne;Brian Burg;Jan Vitek

  • Flexible Alias protection

    J. Noble;J. Vitek;J. Potter

  • STMBench7: a benchmark for software transactional memory

    Rachid Guerraoui;Michal Kapalka;Jan Vitek

  • Seal: A Framework for Secure Mobile Computations

    Jan Vitek;Giuseppe Castagna

  • The Eval That Men Do

    Gregor Richards;Christian Hammer;Brian Burg;Jan Vitek

  • Redundancy and coverage detection in sensor networks

    Bogdan Cărbunar;Ananth Grama;Jan Vitek;Octavian Cărbunar

  • Mobile Object Systems Towards the Programmable Internet

    Jan Vitek;Christian Tschudin

  • The eval that men do: A large-scale study of the use of eval in javascript applications

    Gregor Richards;Christian Hammer;Brian Burg;Jan Vitek

  • Secure Internet Programming

    Jan Vitek;Christian D. Jensen

  • DéjàVu: A Map of Code Duplicates on GitHub

    Crista Lopes;Petr Maj;Pedro Martins;Vaibhav Saini

  • Evaluating the design of the R language: objects and functions for data analysis

    Floréal Morandat;Brandon Hill;Leo Osvald;Jan Vitek

  • Confined types

    Jan Vitek;Boris Bokowski

  • Mobile object systems : towards the programmable internet : Second International Workshop, MOS '96, Linz, Austria, July 8-9, 1996 : selected presentations and invited papers

    Mos;Jan Vitek;Christian Tschudin

  • Terra: a multi-stage language for high-performance computing

    Zachary DeVito;James Hegarty;Alex Aiken;Pat Hanrahan

  • A real-time Java virtual machine with applications in avionics

    Austin Armbruster;Jason Baker;Antonio Cunei;Chapman Flack

  • Encapsulating objects with confined types

    Christian Grothoff;Jens Palsberg;Jan Vitek

  • Julia: dynamism and performance reconciled by design

    Jeff Bezanson;Jiahao Chen;Benjamin Chung;Stefan Karpinski

  • Streamflex: high-throughput stream programming in java

    Jesper H. Spring;Jean Privat;Rachid Guerraoui;Jan Vitek

  • Confined types in Java

    Jan Vitek;Boris Bokowski

  • The Seal Calculus

    G. Castagna;J. Vitek;F. Zappa Nardelli

  • Real-time Java scoped memory: design patterns and semantics

    F. Pizlo;J.M. Fox;D. Holmes;J. Vitek

Frequent Co-Authors

Suresh Jagannathan
Suresh Jagannathan Purdue University West Lafayette
James Noble
James Noble Victoria University of Wellington
Rachid Guerraoui
Rachid Guerraoui École Polytechnique Fédérale de Lausanne
Ananth Grama
Ananth Grama Purdue University West Lafayette
Frank Tip
Frank Tip Northeastern University
Shriram Krishnamurthi
Shriram Krishnamurthi Brown University
Martin Schoeberl
Martin Schoeberl Technical University of Denmark
Matthias Felleisen
Matthias Felleisen Northeastern University
Eugene H. Spafford
Eugene H. Spafford Purdue University West Lafayette
Jens Palsberg
Jens Palsberg University of California, Los Angeles

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degree options in Computer Science opens up a world of possibilities for both new students and working professionals. Today, there are a variety of pathways that match your specific career goals, timeline, and budget.

For those looking to accelerate their career, several institutions offer quick masters degrees online, allowing you to earn an advanced credential in a shorter timeframe. These fast-track programs are ideal if you want to quickly qualify for in-demand tech roles.

If you are focused on ROI, consider reviewing the most useful graduate degrees. Many Computer Science and related IT programs are ranked high for job market demand and career flexibility.

Not ready for a full bachelor’s or master’s? You can begin with an accredited associate’s degree online. This offers a flexible, foundational introduction to computer technology, often with seamless transfer options to four-year programs.

Finally, affordability is a key concern. Discover the most affordable online colleges that provide respected computer science curricula—helping you upskill without excessive debt.

Best Scientists Citing Jan Vitek

Trending Scientists

Recently Published Articles