Concepedia

Silvian Calman

SC

Statistics

Publications

2

Citations

112

H-Index

2

Active since

2004

Affiliations

University of Toronto(Current)

Silvian Calman is an author at University of Toronto specializing in formal methods, computer engineering, and automated reasoning.

Top concepts

CompilersEngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputer EngineeringParallel Programming

Publications per year

2004–2005

2

Publications

2

Symbolic pointer analysis revisited

Jianwen Zhu, Silvian Calman · 2004 · 101 citations

Engineering, Compiler Technology, Computer Architecture +23

Context sensitive symbolic pointer analysis

Jianwen Zhu, Silvian Calman · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 11 citations

Engineering, Runtime Pointer Values, Compiler Technology +23

1–2 of 2