Study fundamental concepts on which programming of languages are based, and execution models supporting them. Topics include values, variables, bindings, type systems, control structures, exceptions, ...

In case you don’t read the sidebar (you really should, you know), I’ve written a review of Calvin Lin and Larry Snyder’s relatively new book, “Principles of Parallel Programming” (we’ve never met, but ...

Our research area investigates the fundamental principles, processes and technologies for the design, verification, analysis, implementation and optimization of computational systems. Our interests ...