Computer Language Engineering
Principles of Computer Systems
Weighted Deduction as an Abstraction Level for AI
Conversational Computer Systems
Natural Language and the Computer Representation of Knowledge
Introduction to Spark 2.0
Mathematics for Computer Science
Principles of Computer System Design: An Introduction
Program Analysis
Online Large-Margin Training of Syntactic and Structural Translation Features