calman

Address
Electrical and Computer Engineering
University of Toronto
EA306, 10 King's College Rd
Toronto, Ontario, Canada M5S 3G4

Tel
+1 (416)946-8733

Fax
+1(416)946-8734

Email
calman@eecg.toronto.edu

Bio
I received my B.A.Sc and M.A.Sc from the University of Toronto in 2002 and 2005 respectively. I am interested in symbolic computation, program analysis, and lately, hardware synthesis. For my master's thesis I proposed and implemented a symbolic context-sensitive pointer analysis, and currently I am working on compiler optimizations utilizing pointer analysis.
More information regarding publications, etc. can be found on my personal website.

Publications

[1]
Jianwen Zhu and Silvian Calman, ``Context-sensitive symbolic pointer analysis,'' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 4, Apr. 2005.

[2]
Silvian Calman, ``Context sensitive symbolic pointer analysis,'' M.S. thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Jan. 2005.

[3]
Jianwen Zhu and Silvian Calman, ``Symbolic pointer analysis revisited,'' in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Washington DC, June 2004.

	Address	Electrical and Computer Engineering University of Toronto EA306, 10 King's College Rd Toronto, Ontario, Canada M5S 3G4
	Tel	+1 (416)946-8733
	Fax	+1(416)946-8734
	Email	calman@eecg.toronto.edu
	Bio	I received my B.A.Sc and M.A.Sc from the University of Toronto in 2002 and 2005 respectively. I am interested in symbolic computation, program analysis, and lately, hardware synthesis. For my master's thesis I proposed and implemented a symbolic context-sensitive pointer analysis, and currently I am working on compiler optimizations utilizing pointer analysis. More information regarding publications, etc. can be found on my personal website.
	Publications
	[1]	Jianwen Zhu and Silvian Calman, ``Context-sensitive symbolic pointer analysis,'' IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 24, no. 4, Apr. 2005.
	[2]	Silvian Calman, ``Context sensitive symbolic pointer analysis,'' M.S. thesis, Department of Electrical and Computer Engineering, University of Toronto, Toronto, Jan. 2005.
	[3]	Jianwen Zhu and Silvian Calman, ``Symbolic pointer analysis revisited,'' in Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Washington DC, June 2004.