Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 6/8/13 2:27 PM, Xin Tong wrote:

Dear Professor Adve

Hi, Xin.  I'm John Criswell; I'm the lead SAFECode maintainer and one of Vikram's students.

 

My name is Trent(Xin) Tong, I am a graduate student from the University of Toronto, under the supervision of Prof. Andreas Moshovos. I am currently on an internship with Intel and looking for something to do besides the work in company.

One of the first things you should do is review your agreement with Intel to make sure that Intel will not have any rights to the code that you want to contribute (alternatively, if Intel does own the code you would write for SAFECode, you will need to get their permission to contribute it back to the SAFECode project).  I had to go through that process recently since I'm on an internship this summer.

I am interested to contribute to the SAFECode project, I think it's a good way to utilize my knowledge in binary translation and improve my LLVM skills.

Several SAFECode bugs and enhancements could use some static analysis knowledge.

I am interested at looking to improve existing SAFEcode optimizations, such as runtime checks hoisting, etc. Can you please give me some pointers as to whom I should talk to. I have also attached my latest CV for your information.

According to your CV, you're in Champaign, IL this summer, correct?  If so, you should schedule a time to drop on by.  You probably already know this, but we're in Urbana, IL.

As to what to work on, I think you should take a look at the SAFECode open projects page and the bugs filed for SAFECode in the LLVM Bug Database and find something that interests you.  The web page is at http://sva.cs.illinois.edu.

I also recommend starting small.  You could, for example, fix a bug like PR#11524 (http://llvm.org/bugs/show_bug.cgi?id=11524) before trying to tackle something like the monotonic loop optimization.  That will help you get familiar with the SAFECode source code.

-- John T.

 

Thank you,

Trent

 

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev