基本信息
浏览量:327
职业迁徙
个人简介
Jan Vitek is a Professor of Computer Science at Northeastern University. He holds degrees from the University of Geneva (PhD'99, BS'89) and University of Victoria (MS'95). Professor Vitek works on topics related to the design and implementation of programming languages. In the Ovm project, he led the implementation of the first real-time Java virtual machine to be successfully flight-tested. Together with Nobel and Potter, he proposed a concept that became known as Ownership Types. Prof Vitek was one of the designers of the Thorn language. He work on gaining a better understanding of the JavaScript language and is now looking at supporting scalable data analysis in R. Prof Vitek chairs ACM SIGPLAN; he is the Chief Scientist at Fiji Systems, a vice chair of AITO and of IFIP WG 2.4. He chaired PLDI, ISMM and LCTES and was program chair of ESOP, ECOOP, VEE, Coordination, and TOOLS. Vitek has started a number of successful workshop series, including MOS on Mobile Objects, IWACO, on aliasing and confinement, and TRANSACT on transactional memory. He is on the steering committees of ECOOP, JTRES, TRANSACT, ICFP, OOPSLA, POPL, PLDI and LCTES.
My research focus on design and implementation of programming abstractions in areas that have included real-time embedded systems, concurrent and distributed systems and more recently scalable data analytics.
I have published in venues that specialize in Programming Languages, Virtual Machines, Compilers, Software Engineering, Real-time Computing, and Bioinformatics.
Publications
[1] S. Krishnamurthi, J. Vitek. The real software
crisis: repeatability as a core value. In Commun.
ACM, (CACM), 58(3), 2015. doi.acm.
org/10.1145/2658987
[2] S. Jagannathan, V. Laporte, G. Petri, D. Pichardie,
J. Vitek. Atomicity Refinement for Verified Compilation.
In ACM Transaction on Programming
Languages and Systems, 36(2), 26 pages, 2014.
doi.acm.org/10.1145/2601339
[3] F. Meawad, K. Iyer, M. Schoeberl and J. Vitek.
Micro-transactions for concurrent data structures.
In Concurrency and Computation: Practice
and Experience (CCPE), 25(16): 2252-2268,
2013. doi:10.1002/cpe.2985
[4] J. Dolby, C. Hammer, D. Marino, F. Tip, M.
Vaziri, J. Vitek. A Data-Centric Approach to
Synchronization. ACM Transaction on Programming
Languages and Systems, (TOPLAS) 48
pages, 34(1):4, 2012. doi.acm.org/10.1145/
2160910.2160913
[5] T. Kalibera, F. Pizlo, T. Hosking, J. Vitek.
Scheduling real-time garbage collection on uniprocessors.
In ACM Transaction on Computer Systems,
(TOCS), 29:3, pp. 8:1–8:29, 2011.
[6] T. Kalibera, J. Hagelberg, P. Maj, F. Pizlo,
B. Titzer, and J. Vitek. A family of real-time
Java benchmarks. In Concurrency and Computation:
Practice and Experience, (CS:PE),
23(14), pp. 1679–1700, 2011. doi:10.1002/
cpe.1677
[7] J. Spring, F. Pizlo, J. Privat, R. Guerraoui,
J. Vitek. Reflexes: Abstractions for Integrating
Highly Responsive Tasks into Java Applications.
In ACM Transactions in Embedded Computing
Systems (TECS), 2010. 28 pages.
[8] J. Baker, A. Cunei, T. Kalibera, F. Pizlo, J.
Vitek. Accurate Garbage Collection in Uncooperative
Environments. In Concurrency and
Computation: Practice and Experience, (CC:PE),
21(12), pp. 1572–1606, 2009.
[9] T. Zhao, J. Baker, J. Hunt, J. Noble and J.
Vitek. Implicit Ownership Types for Memory
Management, In Science of Computer Programming,
(SCP), 71, pp. 213–241, 2008.
[10] A. Cunei, J. Vitek. An Efficient ad Flexible
Toolkit for Composing Customized Method Dispatchers.
In Software Practice and Experience,
(SPE), 38(1), pp. 33–73, 2008.
研究兴趣
论文共 239 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Building for the Future: Durable, Sustainable, Resilientpp.1866-1874, (2023)
引用0浏览0引用
0
0
Dagstuhl Artifacts Ser.no. 2 (2021)
Proceedings of the ACM on Programming Languagesno. OOPSLA (2021): 1-26
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn