Sotabase
Home
Researchers
Career
·
Researcher
,
McGill University
2024–
·
Graduate Student
,
McGill University
2000–2006
·
Author/Contributor
,
McGill University
1998–2003
Publications
(6)
A probabilistic language based upon sampling functions
ACM-SIGACT Symposium on Principles of Programming Languages · 2005
249
cited
Points-to analysis using BDDs
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2003
87
cited
Shimple: An Investigation of Static Single Assignment Form
2006
11
cited
Sotabase
Navindra Umanee | Researcher Profile | Sotabase | Sotabase