Yixuan Tang

Compiler Testing: A Systematic Literature Analysis

2018 · arXiv (Cornell University)

Compilers are widely-used infrastructures in accelerating the software development, and expected to be trustworthy. In the literature, various testing technologies have been proposed to guarantee the quality of compilers. However, there remains an obstacle to …

A General Framework for Producing Interpretable Semantic Text Embeddings

2024 · arXiv (Cornell University)

Semantic text embedding is essential to many tasks in Natural Language Processing (NLP). While black-box models are capable of generating high-quality embeddings, their lack of interpretability limits their use in tasks that demand transparency. Recent …