Frances's Homepage

About

I'm a third year Computer Science Phd student at Princeton. I got my undergraduate degree in Computer Science from Cornell. I'm interested in programming languages and type systems. My advisor is Dave Walker.

Publications

Asserting Memory Shape using Linear Logic. Frances Spalding and Limin Jia.

Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE). January 2006. [pdf] [slides]

Certifying Compilation for a Language with Stack Allocation. Limin Jia, Frances Spalding, David Walker, and Neal Glew.

IEEE Symposium on Logic in Computer Science (LICS). June 2005. [pdf]

Princeton University Technical Report TR-724-05. March 2005. [pdf]

Links

Princeton CS: CS Guide Grads TACL PLRS

CS: Java API SML Basis W3Schools ACM Digital Library Google Scholar

Princeton: Campus Life Weather Directory NJT Schedule Public Library

Princeton Grad: Shuttle Grad School Health Plan Lawrence

Cornell: CUinfo Weather Directory

News: NYTimes Guardian CNN Daily Princetonian Cornell Sun Slashdot BBSpot Onion

Comics: Phd ( dancing debugging odds posture funding )

Webmail: Princeton CS Princeton OBD Netscape Gmail

People: Dan Ananya Limin Haakon Asheen Bolcar Konek

Contact

Office:

Computer Science Building #316

(609) 258-5386

Mailing Address:

Computer Science Department

35 Olden Street

Princeton University

Princeton, NJ 08540

Email:

frances - cs.princeton.edu

	Frances Spalding frances - cs.princeton.edu

	About I'm a third year Computer Science Phd student at Princeton. I got my undergraduate degree in Computer Science from Cornell. I'm interested in programming languages and type systems. My advisor is Dave Walker. Publications Asserting Memory Shape using Linear Logic. Frances Spalding and Limin Jia. Workshop on Semantics, Program Analysis and Computing Environments for Memory Management (SPACE). January 2006. [pdf] [slides] Certifying Compilation for a Language with Stack Allocation. Limin Jia, Frances Spalding, David Walker, and Neal Glew. IEEE Symposium on Logic in Computer Science (LICS). June 2005. [pdf] Princeton University Technical Report TR-724-05. March 2005. [pdf] Links Princeton CS: CS Guide Grads TACL PLRS CS: Java API SML Basis W3Schools ACM Digital Library Google Scholar Princeton: Campus Life Weather Directory NJT Schedule Public Library Princeton Grad: Shuttle Grad School Health Plan Lawrence Cornell: CUinfo Weather Directory News: NYTimes Guardian CNN Daily Princetonian Cornell Sun Slashdot BBSpot Onion Comics: Phd ( dancing debugging odds posture funding ) Webmail: Princeton CS Princeton OBD Netscape Gmail People: Dan Ananya Limin Haakon Asheen Bolcar Konek Contact Office: Computer Science Building #316 (609) 258-5386 Mailing Address: Computer Science Department 35 Olden Street Princeton University Princeton, NJ 08540 Email: frances - cs.princeton.edu
	Updated: 1-2006