Foreign counterparts and experts in the field of Program Analysis

When I first started reading an English paper, I first encountered a problem: what is the search keyword? We usually call it "software testing" and search for "Software Test". The result 99% is not needed by ourselves. So what about static analysis? The result seems better? Try "program analysis" again "? Are there other keywords of the same level and meaning? Software Analysis? Program verification? Model Checking? Abstract interpretation? Predict publish action? Sat, SMT ?..........

This situation is especially common when you need to know a small field. For example, if you want to know how to analyze the data stream in a loop, there are so many search keywords: recursion? Loop? Loop Analysis? Loop Invariant analysis? Loop transformation? Loop bound analysis? Loop optimization? .....

The solution to the situation is often a sudden search of an article that you really need, and then the problem is solved: its references, author's homepage, home page of the author's mentor (and its students who are reading or graduated), the author's research group (colleagues in the group )...... At this time, I found that I had already fallen into a knowledge trap. I couldn't drink a mouthful of water, and suddenly felt like I was drowned! Next, we will identify and find the most relevant ones, explore their innovation points, and find out their loopholes or reverse thinking or?

Now let's get down to the truth and summarize the foreign counterparts you have known for more than half a year. (some of them should even be called elephants ?!!). Most of these cows come from top foreign research institutions (msra, bell), or top universities (Stanford, Wisconsin, MIT, UC Berkley, CMU ), they can be seen almost every year in top-level journal conferences, and some even occupy too many places (dozens of articles in a year and four or five teams )!

1. Standford, No. 1 of colleges and universities in this field, various Nb students brought by various Daniel, and some students were then taken as mentors to a batch of mavericks, which were star-shaped to major international universities; here, we only list two big cows (many amazing characters have been produced ^ _ ^. That's the title. No private tyrants are disrespectful ):

Alex Aiken: http://theory.stanford.edu /~ Aiken/ Dawson Engler: http://www.stanford.edu /~ Enger/

For more information, see the list of their papers to see where their students have published their papers. (For example couples, there are several top-level articles each year, which are the first women, (author 2); it involves a wide range of fields. As long as you have research needs in this field, you can generally search them in a chain!

2. msra, Which is needless to say, is definitely No. 1 in research institutions. There are several research groups related to this field with a relatively high image rate: CSE (Center for software excellence ),
Software reliability research, rigorous software engineering. Pay attention to the people in their respective teams and their annual papers!

3. wisconson Madison, the appearance rate is also very high, should be second only to Stanford! There are also many cattle, just to list one:

Thomas W. reps, http://pages.cs.wisc.edu /~ Reps/

4, CMU, although the school Nb, but the general appearance rate, list A: http://www.cs.cmu.edu /~ Aldrich/

5, MIT, there is a dedicated research department (forgot), the appearance rate is also general: http://people.csail.mit.edu/rinard/

6. UC Berkeley, which has a relatively high attendance rate, lists two Nb's:

Http://www.cs.berkeley.edu /~ DAW/

Http://www.eecs.berkeley.edu /~ Necula/

7. There are also a lot of other sporadic Daniel. Just list a few of them:

University of Nebraska: http://www.cse.unl.edu /~ Grother/

University of Maryland, College Park: http://writeblog.csdn.net/PostEdit.aspx

In addition, the Editorial Board and Chairman (popl pldi SAS issta icse cav ooplas, toplas tosem tose sttt stvr) of the top journals will be noticed from time to time, then I suddenly felt that I couldn't even get a drop of water in the sea. The road ahead was still very long, so I couldn't waste time. I had to work hard...

In the next article, I will summarize my experience in writing a thesis!