Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification.
Jack J. GarzellaMarek S. BaranowskiShaobo HeZvonimir RakamaricPublished in: VMCAI (2020)
Keyphrases
- cross language
- intermediate representation
- java bytecode
- text retrieval
- question answering
- document retrieval
- cross language information retrieval
- intermediate level
- document collections
- information access
- cross lingual
- text categorization
- retrieval model
- general purpose
- low level
- information retrieval
- semi supervised learning
- test collection
- retrieval systems
- machine learning
- image representation
- tightly coupled