Selected research papers

Programming Languages and Databases

Model Checking and Abstract Interpretation

Adaptive Caching

Language Learning

Anchoring

Information retrieval