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.

Restaurant review : Zupa's

We went to this new place for lunch today "Zupa's". Turns out the guy who owns the place used to work at Novell's cafeteria in Provo. Its serves soups, salads and sandwichs. I had half soup/half sandwich. I really liked the grilled panini. The foccacia was just rightly toasted not too thick. I had the vegetarian panini instead of the three cheese one. The amount of the cheese was not overwhelming which is what I like in my sandwiches. They give a chocolate covered strawberry with any dish you order. Its basically nutella on the strawberry. Given the time of the year where the strawberries are so good. It was a real nice end to the meal. Its right next to Olive Garden, and was pretty full with the lunch crowd. I give it a thumbs up for a lunch place. Also you can get done in 35-40 minutes depending on how long you take to order or how long the lines are.

Actress of D : Rukshar

I came across an interesting tibit of information. The actress who is opossite Randeep Hooda in D who plays the actress Bhakti Bhatnagar is Ruksar. She did a movie which is atleast 10 years old. "Yaad Rakhegi Duniya". It had Adtiya Pancholi and she had cancer or a congitnal heart disease. Something fatal I can't remember what. But she died at the end of the movie. She had a very goody goody look in the movie. Plus the character was very mischievous and bratty. The role in D is totally different. I think she did a decent job in the movie but doesn't have a screen presnence in the movie. In fact Isha Koppikar even in the miniscule role of Chunky Pandey's wife comes across much move effective.

Since D is a prequel to Company it is so easy to imagine Ruksar's character metamorphing into Manisha Koirala's character in Company. I think it is good they didn't use the same actors. It would have negated the effect of D. It might have done a little better at hte box office. Well for any movie based on the underworld in typical mumbai style has a very small demographic that it appeals to. And it has done great in Mumbai.

The fickle Indian Media

Yesterday I was reading on timesofindia, how the Aussies are marked for downfall and talking about worthy successors. It takes a lot more than two defeats to break team. This could be indicative of a trend or could be just a flash in the pan. The thing that bothers me is that the Indian media espeically the sports journalists write totally in black or white. Its either Sachin is finished or Sachin evokes exterme terror in the mind of opposing teams bowlers. Its the same thing about everything. May it be Chappel's stint as coach, the bowling department or Ganguly's batting. India certainly has the talent to become the best team in the world. But so do a lot of other teams too. It takes a lot more than talent in today's day and age to become the top team. One of the things is consistency, discipline, hard work on fielding, the tail having the ability to wag.

I think the media needs to become more responsible and not faun so much rehtoric. Is it so hard to write articles logically and rationally. I am not branding all journalists but this is the general picture I get. Sports is capable of evoking extreme emotions in a person, so the other mediums should act a pacifier.

WAMP project

I am going to keep a running story of how I did my WAMP project (Windows/Apache/MySQL/PHP).

If you are running Windows XP and need to develop using MySQL and PHP, instead of downloading each of these three things seperately and configuring them just download the WAMP Server This will install all the three things.

The first road block:

When I opened a mysql command prompt it asked for me for a password.
The password is just an empty string. So just hit enter and works fine. But do remember to change the password.

The second road block

I already had IIS running when I installed Apache. both listen on port 80. So you have to change the settings of one or the other to listen on another port. I am thinking about just disabling the IIS. Well lets see how it turns out.

Latex Symbols

Here is a good reference for all the Latex Symbols.

Latex Symbols

Microsoft Power Toys

So for all the linux geeks our there and wanting multiple desktops to play around with here is your answer .. "Microsoft Power Toys"

Power Toys

They have other stuff too like having actual images of the object that your when you hit Alt Tab and stuff like that. So here comes the funny part. They make a big deal about saying its not supported by Microsoft so don't expect any support or anything like that. So here is my guess some Microsoft people did it for fun. (If it was supported by Microsoft it prob wouldn't be free ;) ) So imagine a conversation between a linux supporter and a Microsoft guy

Microsoft guy : Well I don't have to recompile my kernel to read my USB drive.
Linux supporter : You don't have multiple desktop :P

And thats how the story goes.

Quote of the Day "There is not such thing as being too rich, too thin or having too much bandwidth"

A Farce called the Bangalore Test Match

My question is what was the curator thinking when he made the Bangalore pitch. A placid wicket with nothing in it. Imagine the plight of fans if the series at been at a tantalizing 1-1. Even without that a good pitch would have given India a chance at the number 2 ranking on the ICC test ratings. Everyones been cribbing about Ganguly's form. I think he is very talented by lazy. He hasn't worked on overcoming his shortcomings specially against the short ball. Being the most sucessful Indian Captian has not had enough people baying for his blood. I think he can rise to the challenge and prove he is a world class batsman

Papers I need to cite for SPIN paper

Data Flow Analysis for Verifying Properties of Concurrent Programs (1994)
Matthew Dwyer
Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering

For the definition of the admissible and consistent

Generalized BF Search Stratergies and the Optimality of A* published in the ACM journal by Dechter and J. Pearl

Another FSM heuristic:
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
International Conference on Software Engineering

Validation with guided search of the state space
C Han Yang David L Dill
Annual ACM IEEE Design Automation Conference archive
Proceedings of the 35th annual conference on Design automation - Volume 00 table of contents

Interprocedural static analysis of sequencing constraints

Source ACM Transactions on Software Engineering and Methodology (TOSEM) archive
Volume 1 , Issue 1 (January 1992) table of contents
Pages: 21 - 52
Year of Publication: 1992

Kurt M. Olender University of Colorado
Leon J. Osterweil University of Colorado

Computation of interprocedural control dependence

Source International Symposium on Software Testing and Analysis archive
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Year of Publication: 1998

Authors
Mary Jean Harrold Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH
Gregg Rothermel Computer Science, Oregon State University, Dearborn Hall 307-A, Corvallis, OR
Saurabh Sinha Computer and Info. Science, Ohio State University, 395 Dreese Lab, Columbus, OH


An Experiment with Inline Substitution
Cooper,Wall and Torczon
@article{ cooper91experiment,
author = "Keith D. Cooper and Mary W. Hall and Linda Torczon",
title = "An Experiment with Inline Substitution",
journal = "Software - Practice and Experience",
volume = "21",
number = "6",
pages = "581-601",
year = "1991",
url = "citeseer.csail.mit.edu/cooper91experiment.html" }

LN Mittal

Here is an article on Mittal's rise to the third richest man in the world.

Forbes article

Vernal Equinox

Today is technically the first day of Spring. Well it depends on what Spring bring for you. The cold dreary winter is gone and here comes a season full of allergies. Whoohoo!!! Spring has the most positive connotation of all seasons. Does a season really affect how we feel? Are people happier in sunny beach California than in people in say Boston? Is the need for light a genetic thing or an envirnoment conditioning? Some one told me that 60% of people in Alaska suffer from some kind of depression.

Trail based heuristic

S. Edelkamp and T. Mehler. Byte code distance heuristics and trail direction for model checking Java programs. In Model Checking and Artificial Intelligence (MoChArt), pages 69–76, 2003.

Here is the link for the call for Papers MoChArt 05

Its a workshop.

Victory at Eden Gardens

India finally overcame history to beat Pakistan at Eden Gardens. The ever dependable Kumble bowled India to a famous victory. Special kudos to Rahul Dravid who hit two centuries, one in each innings. The thing that is getting really cliched is calling Dravid an unsung hero, underated blah blah. I think the media likes to play that up every time he does well. I think it does him more diservice than any good. Everybody knows that Dravid is a key player in the Indian cricket team. I think comparisons between him and Tendulkar and Ganguly should stop. In all circles Dravid's talent is appreciated and recognized. And if the media claims otherwise, then it is grossly wrong.

I think the Bangalore test is going to be a draw. I have been at the bangalore stadium for the India- South Africa test match and its just lacks a soul. Well it will depend on the pitch. I would rather that the test match be in Chennai.

For Firefox fans

Here is finally a game which works good only in Firefox and doesn't really work in IE. Linux geeks ko Salaam !!!!

Make words

1/3 rd traffic on the net comes from torrents

I came across this article from slashdot, it claims that 35% of the internet traffic comes from BitTorrent. I believe that statistic but am amazed. This article even talks about how bittorrent works and stuff like that. What it doesn't say is that it's a negotation based protocol. So can't just sit there and leech, you will have to share.

BitTorrent Article