Jan Vitek

Cited by

	All	Since 2016
Citations	8248	2069
h-index	52	23
i10-index	116	56

520

260

130

390

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202147 89 153 164 229 208 222 265 281 373 356 347 401 418 441 519 489 487 466 486 411 383 396 274 112

Public access

View all

27 articles

1 article

available

not available

Based on funding mandates

Co-authors

Tomas KaliberaResearch Associate, University of KentVerified email at kent.ac.uk
Suresh JagannathanProfessor of Computer Science, Purdue UniversityVerified email at cs.purdue.edu
Nigel HorspoolProfessor Emeritus, Computer Science, University of VictoriaVerified email at uvic.ca
James NobleProfessor of Computer Science, Victoria University of Wellington, NZVerified email at ecs.vuw.ac.nz
Petr MajPhD student, Czech Technical UniversityVerified email at fit.cvut.cz
Tobias WrigstadFull professor, Uppsala UniversityVerified email at it.uu.se
Francesco Zappa NardelliFacebookVerified email at fb.com
Bogdan CarbunarFlorida International UniversityVerified email at cs.fiu.edu
Christian HammerProfessor of Computer Science at University of PotsdamVerified email at cs.uni-potsdam.de
rachid guerraouiProfessor of Computer and Communication Systems, EPFLVerified email at epfl.ch
Tony HoskingAustralian National University, Data61Verified email at anu.edu.au
Giuseppe CastagnaDirecteur de Recherche CNRS, Université de ParisVerified email at univ-paris-diderot.fr
Benjamin ChungPhD Student, Northeastern UniversityVerified email at ccs.neu.edu
Lukasz ZiarekUniversity at BuffaloVerified email at buffalo.edu
Jens PalsbergUniversity of California, Los Angeles (UCLA)Verified email at ucla.edu
Floréal MorandatEnseirb-Matmeca / LabriVerified email at labri.fr
Martin SchoeberlAssociate Professor, Technical University of DenmarkVerified email at jopdesign.com
Christian GrothoffBern University of Applied SciencesVerified email at grothoff.org
Andreas KrallProfessor of Computer Science, Vienna University of TechnologyVerified email at complang.tuwien.ac.at
Fadi MEAWADPhD Student, Purdue UniversityVerified email at purdue.edu

Jan Vitek

Northeastern University

Verified email at neu.edu - Homepage

Programming Languages Virtual Machines Compilers


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
An analysis of the dynamic behavior of JavaScript programs G Richards, S Lebresne, B Burg, J Vitek Proceedings of the 31st ACM SIGPLAN Conference on Programming Language …, 2010	480	2010
Flexible alias protection J Noble, J Vitek, J Potter European Conference on Object-Oriented Programming, 158-185, 1998	415	1998
Stmbench7: a benchmark for software transactional memory R Guerraoui, M Kapalka, J Vitek	290	2006
Seal: A framework for secure mobile computations J Vitek, G Castagna International Conference on Computer Languages, 47-77, 1998	263	1998
The eval that men do G Richards, C Hammer, B Burg, J Vitek European Conference on Object-Oriented Programming, 52-78, 2011	248	2011
Redundancy and coverage detection in sensor networks B Cărbunar, A Grama, J Vitek, O Cărbunar ACM Transactions on Sensor Networks (TOSN) 2 (1), 94-128, 2006	222	2006
Confined types B Bokowski, J Vitek OOPSLA, 1999	184*	1999
Encapsulating objects with confined types C Grothoff, J Palsberg, J Vitek ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (6), 32-es, 2007	170*	2007
The JavaSeal mobile agent kernel C Bryce, J Vitek Autonomous Agents and Multi-Agent Systems 4 (4), 359-384, 2001	165*	2001
Mobile Object Systems Towards the Programmable Internet: Second International Workshop, MOS'96, Linz, Austria, July 8-9, 1996, Selected Presentations and Invited Papers J Vitek, C Tschudin, T Christian Springer Science & Business Media, 1997	155	1997
Evaluating the design of the R language F Morandat, B Hill, L Osvald, J Vitek European Conference on Object-Oriented Programming, 104-131, 2012	144	2012
A Real-time Java virtual machine with applications in avionics A Armbruster, J Baker, A Cunei, C Flack, D Holmes, F Pizlo, E Pla, ... ACM Transactions on Embedded Computing Systems (TECS) 7 (1), 1-49, 2007	143*	2007
Terra: a multi-stage language for high-performance computing Z DeVito, J Hegarty, A Aiken, P Hanrahan, J Vitek Proceedings of the 34th ACM SIGPLAN conference on Programming Language …, 2013	130	2013
Real-time Java scoped memory: design patterns and semantics F Pizlo, JM Fox, D Holmes, J Vitek Seventh IEEE International Symposium onObject-Oriented Real-Time Distributed …, 2004	130	2004
Confined types in Java J Vitek, B Bokowski Software: Practice and Experience 31 (6), 507-532, 2001	130	2001
Streamflex: high-throughput stream programming in java JH Spring, J Privat, R Guerraoui, J Vitek Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented …, 2007	129	2007
The seal calculus G Castagna, J Vitek, FZ Nardelli Information and Computation 201 (1), 1-54, 2005	121	2005
Secure composition of untrusted code: Wrappers and causality types P Sewell, J Vitek Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 269-284, 2000	115*	2000
Integrating typed and untyped code in a scripting language T Wrigstad, FZ Nardelli, S Lebresne, J Östlund, J Vitek Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	113	2010
Schism: fragmentation-tolerant real-time garbage collection F Pizlo, L Ziarek, P Maj, AL Hosking, E Blanton, J Vitek ACM Sigplan Notices 45 (6), 146-159, 2010	112	2010

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors