Wednesday, June 29, 2005

Cloning-based Context Sensitive Pointer Alias Analysis using Binary Decision Diagrams

This paper presents a solution to the problem with scalability of context sensitive call graphs. When the programs become very big, inlining function calls becomes exponentially large. It generates a BDD to implicity represent the calling context. This allvieates a lot of problems.


Navneet Sharma said...


I am taking a class in "teaching" this summer and was looking for reviews for my "teaching thru learning" lesson.

As always, i googled it (that's how i came across ur blog), and i have to admit i was quite surprised (pleasantly so..) to notice the essay that u've put up with ur class description (the "teaching through learning" link....).

I must say it's the first time I have seen a TA do such a thing.

Truly impressed,

Neha Rungta said...

Well the whole learning through teaching essay wasn't my thing. Its the proffessor who is teaching the course. He is French and the ideas in the essay are very European