Mobile multicast (MoM) protocol: multicast support for mobile hosts
MobiCom '97 Proceedings of the 3rd annual ACM/IEEE international conference on Mobile computing and networking
A specification of Java loading and bytecode verification
CCS '98 Proceedings of the 5th ACM conference on Computer and communications security
A performance comparison of multi-hop wireless ad hoc network routing protocols
MobiCom '98 Proceedings of the 4th annual ACM/IEEE international conference on Mobile computing and networking
Multicast support for mobile hosts using mobile IP: design issues and proposed architecture
Mobile Networks and Applications - Special issue: mobile networking in the Internet
Making abstract interpretations complete
Journal of the ACM (JACM)
Standard fixpoint iteration for Java bytecode verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type elaboration and subtype completion for Java bytecode
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient multicast routing protocol in wireless mobile networks
Wireless Networks
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Java Virtual Machine Specification
Java Virtual Machine Specification
Systematic design of program analysis frameworks
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Bytecode verification on Java smart cards
Software—Practice & Experience
Mobile Networking Through Mobile IP
IEEE Internet Computing
Java Bytecode Verification: Algorithms and Formalizations
Journal of Automated Reasoning
Lightweight Bytecode Verification
Journal of Automated Reasoning
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
The DaCapo benchmarks: java benchmarking development and analysis
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Using Control Dependencies for Space-Aware Bytecode Verification
The Computer Journal
A hierarchical multicast protocol in mobile IPv6 networks
Computer Communications
On the design of mobility management scheme for 802.16-based network environment
Computer Networks: The International Journal of Computer and Telecommunications Networking
Simulative Considerations for Future 4G Hierarchical Mobility Management in All-IP Networks
ICN '07 Proceedings of the Sixth International Conference on Networking
Mobility management for multi-user sessions in next generation wireless systems
Computer Communications
A cross-layer framework for video-on-demand service in multi-hop WiMax mesh networks
Computer Communications
Java bytecode verification via static single assignment form
ACM Transactions on Programming Languages and Systems (TOPLAS)
Markov chain analysis of uplink subframe in polling-based WiMAX networks
Computer Communications
Decomposing bytecode verification by abstract interpretation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Impact of bandwidth request schemes for Best-Effort traffic in IEEE 802.16 networks
Computer Communications
A performance study of uplink scheduling algorithms in point-to-multipoint WiMAX networks
Computer Communications
A survey of NETLMM in all-IP-based wireless networks
Mobility '08 Proceedings of the International Conference on Mobile Technology, Applications, and Systems
Journal of Parallel and Distributed Computing
IP mobile multicast: Challenges and solutions
IEEE Communications Surveys & Tutorials
Intra- and inter-domain multicast routing protocols: A survey and taxonomy
IEEE Communications Surveys & Tutorials
Comparison of IP micromobility protocols
IEEE Wireless Communications
Architectures and protocols for mobility management in all-IP mobile networks [guest editorial]
IEEE Wireless Communications
Mobility using IEEE 802.21 in a heterogeneous IEEE 802.16/802.11-based, IMT-advanced (4G) network
IEEE Wireless Communications
Mobility management for all-IP mobile networks: mobile IPv6 vs. proxy mobile IPv6
IEEE Wireless Communications
Mobility management protocols for next-generation all-IP satellite networks
IEEE Wireless Communications
SIP-based mobility management in next generation networks
IEEE Wireless Communications
IEEE Communications Magazine
Initiative movement prediction assisted adaptive handover trigger scheme in fast MIPv6
Computer Communications
Hi-index | 5.23 |
Java interface types support multiple inheritance. Because of this, the standard bytecode verifier ignores them, since it is not able to model the class hierarchy as a lattice. Thus, type checks on interfaces are performed at run time. We propose a verification methodology that removes the need for run-time checks. The methodology consists of: (1) an augmented verifier that is very similar to the standard one, but is also able to check for interface types in most cases; (2) for all other cases, a set of additional simpler verifiers, each one specialized for a single interface type. We obtain these verifiers in a systematic way by using abstract interpretation techniques. Finally, we describe an implementation of the methodology and evaluate it on a large set of benchmarks.