SPLASH 2013 - Keynotes

Below is the program for the keynotes session.

	Title
	Back to the Future: SIMULA style concurrent objects Keynotes Ole Lehrmann Madsen DOI
	Dark Knowledge and Graph Grammars in Automated Software Design Keynotes Don Batory
	Declarative Programming for the Cloud Keynotes Molham Aref DOI
	Do Computer Programs Have to Be As Dumb As They Are? Keynotes Xipeng Shen DOI
	Does Thought Crime Pay? Keynotes Gilad Bracha DOI
	FOOL @ 20 Keynotes Kim Bruce
	JavaScript as an Intermediate Language Keynotes Shriram Krishnamurthi
	Making Live Programming Real Keynotes Sean McDirmid
	Mobile Computing in Resource-Constrained Environments Keynotes Grace Lewis
	MobileFirst: Future Directions in Programming and Runtime Models Keynotes Gabi Zodik DOI
	Modeling Biology with Solver-Aided Programming Languages Keynotes Rastislav Bodík DOI
	Refactoring, Reuse & Reality: Revisited Keynotes Bill Opdyke
	The Yin and Yang of Hardware Heterogeneity: Can Software Survive? Keynotes Kathryn S McKinley DOI
	TouchDevelop: Productive Scripting on and for Touch-based Devices and Web Services Keynotes Thomas Ball
	Toward the future of personal computing system construction Keynotes Yoshiki Ohshima DOI
	TS*: Gradual Typing Embedded Securely in JavaScript Keynotes Nikhil Swamy
	Two Solitudes Keynotes Greg Wilson DOI
	VMs I Have Known and/or Loved Keynotes Mario Wolczko

KeynotesSPLASH 2013