Curriculum Vitae Ruzica Piskac address: The Department of Computer Science

First Page		Document Content
Date: 2017-01-12 17:03:38 Theoretical computer science Logic in computer science Symposium on Principles of Programming Languages International Joint Conference on Automated Reasoning Automated reasoning International Semantic Web Conference Satisfiability modulo theories Computer Aided Verification Separation logic Workshop on Reachability Problems Vienna Summer of Logic		Curriculum Vitae Ruzica Piskac address: The Department of Computer Science Add to Reading List Source URL: www.cs.yale.edu Download Document from Source Website File Size: 175,82 KB Share Document on Facebook

	Proceedings of the 26th ACM Symposium on Principles of Programming Languages (POPL ’99), San Antonio, Texas, USA, JanuaryJFlow: Practical Mostly-Static Information Flow Control Andrew C. Myers Laboratory for Com DocID: 1sRKx - View Document
	IMPECS-POPL Workshop on Emerging Research & Development Trends in Programming Languages (WEPL) co-located with 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPLThe goal of WEPL 2015 ( DocID: 1s3ea - View Document
	Norman Ramsey Associate Professor Department of Computer Science Tufts University Medford, MassachusettsEmail: Phone: + DocID: 1rdtA - View Document
	Interpretations of the Gradually-Typed Lambda Calculus (Distilled Tutorial) Jeremy G. Siek University of Colorado at Boulder DocID: 1pBCW - View Document
	Hongjin Liang Address: Suzhou Institute for Advanced Study Univ. of Science and Technology of China DocID: 1p8u1 - View Document