Programming Languages, Compilers, and Security

• type systems
• functional programming
• compilation
• optimization
• security
• semantics

Regularly Scheduled Events

• Programming Wednesdays is a weekly forum for informal talks on relevant and interesting topics. Talks are given by members of the group or guests.

Recent Past Events

ICFP and ML Workshop

Members of the Triforce group will collectively give six talks: two at ICFP and four at the ML Workshop.

Denizens of λ-Hyrule

	Greg Morrisett
	Norman Ramsey
[no picture]	Michael D. Smith
[no picture]	Glenn Holloway
	Amal Ahmed
[no picture]	Kathleen Durant
	John Dias
	Matthew Fluet
[no picture]	Rachel Greenstadt
	Claire le Goues
	Paul Govereau
	Kelly Heffner
[no picture]	Andrei Lapets
[no picture]	David J. Malan
	Jan Midtgaard
[no picture]	Clayton Myers
[no picture]	Alex Nanevski
	Daniel Peng
	Kevin Redwine
	Avi Shinnar
[no picture]	Daniel Silva
[no picture]	Christian Stefansen
	Jean-Baptiste Tristan
	Yanling Wang
[no picture]	Brett Wortzman
[no picture]	Inna Zakharevich
	Ryan J. Wisnesky

Legend

	Visitor		First Year		Pre-Quals		Tenured Grad Student
	Undergrad		Post-Doc		Glenn		Faculty

Projects

	The Cyclone Safe-C Project
	The C-- Project
	The Machine SUIF Infrastructure for Compiler Backends
	Securitas - Economic and Applied Security at Harvard

Thanks

All sprites taken from The Spriter's Resource