Program Analysis in the Era of AI and IoT

Neural-Symbolic Modeling for Natural Language Discourse

Tools for Automated Analysis and Tuning of GPU-accelerated Applications

Towards Trustworthy Knowledge Sharing of Language Models

Small changes, big effects? Quantifying the sensitivity of machine learning analyses.

Towards Depth Perception for Embodied Cognition