Bytecode Virtual Machines
Bytecode Virtual Machines is a type of virtual machine that executes instructions in the form of bytecode, distinguishing itself by interpreting or just-in-time compiling platform-independent intermediate code generated from high-level programming languages.
78
Publications
3.7K
Citations
186
Authors
70
Institutions
Publications per year
2017–2026
3
Variants
Bvms
Parents
78
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues et al. · 2018 · 410 citations
Bowen Alpern, C. R. Attanasio, Anthony Cocchi et al. · 1999 · 268 citations
PicoJava: a direct execution engine for Java bytecode
H. McGhan, Mike O’Connor · Computer · 1998 · 165 citations
A type system for Java bytecode subroutines
Raymie Stata, Martı́n Abadi · 1998 · 157 citations · Full text
picoJava-I: the Java virtual machine in hardware
Mike O’Connor, M. Tremblay · IEEE Micro · 1997 · 128 citations
1–5 of 78
186
5
h-index
4
h-index
4
h-index
4
h-index
4
h-index
1–5 of 186
70

Trinity College Dublin
Dublin, Ireland
6 h-index
18 publications
822 citations
Kestrel Institute
Palo Alto, United States
5 h-index
7 publications
169 citations
Stanford University
Stanford, United States
4 h-index
8 publications
428 citations
National University of Ireland, Maynooth
Maynooth, Ireland
3 h-index
4 publications
100 citations
École Polytechnique Fédérale de Lausanne
Lausanne, Switzerland
3 h-index
8 publications
182 citations
The University of Texas at Austin
Austin, United States
3 h-index
10 publications
524 citations
IBM (United States)
Armonk, United States
2 h-index
18 publications
2.7K citations
Hewlett-Packard (United States)
Palo Alto, United States
2 h-index
2 publications
296 citations
1–8 of 70
4 publications · 306 citations
4
h-index
4 publications · 88 citations
4
h-index
4 publications · 122 citations
4
h-index
TACO · 2 publications · 118 citations
2
h-index
ENTCS · 2 publications · 35 citations
2
h-index
1–5