Silvian Calman

According to our database, Silvian Calman authored at least 5 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

Interprocedural induction variable analysis based on interprocedural SSA form IR.

Silvian Calman, Jianwen Zhu

Proceedings of the 9th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 2010

2009

Evaluating Constant Propagation and Scalar Evolution Analysis on Interprocedural SSA Form.

Silvian Calman

Proceedings of the 2009 International Conference on Software Engineering Research & Practice, 2009

Increasing the Scope and Resolution of Interprocedural Static Single Assignment.

Silvian Calman, Jianwen Zhu

Proceedings of the Static Analysis, 16th International Symposium, 2009

2005

Context sensitive symbolic pointer analysis.

Jianwen Zhu, Silvian Calman

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2005

2004

Symbolic pointer analysis revisited.

Jianwen Zhu, Silvian Calman

Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, 2004