<html>
<head>
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
<div class="moz-cite-prefix">On 3/25/16 1:08 PM, Jia Chen wrote:<br>
</div>
<blockquote cite="mid:56F57080.5050403@cs.utexas.edu" type="cite">Oops
thanks for the reminder. I did use another email address and am
terribly sorry for it.
<br>
</blockquote>
<br>
Are you working in Calvin Lin's group at Austin?<br>
<br>
<blockquote cite="mid:56F57080.5050403@cs.utexas.edu" type="cite">
<br>
Let me just post the link:
<br>
<a class="moz-txt-link-freetext" href="https://docs.google.com/document/d/1Kvepb-v5Ta8ug_lLK1kZeexPNlpvj62K5iIF0fMuLyM/edit?usp=sharing">https://docs.google.com/document/d/1Kvepb-v5Ta8ug_lLK1kZeexPNlpvj62K5iIF0fMuLyM/edit?usp=sharing</a>
<br>
</blockquote>
<br>
There are a few suggestions that I would make:<br>
<br>
<ol>
<li>Quantify the number of cfl-aa bugs that exist, provided that
doing so is possible and relatively a low amount of work. It's
not clear how substantial the project is without knowing just
how broken cfl-aa is.</li>
<li>Mention that you will either add more functionality tests or
regression tests as part of your work.</li>
<li>Can you expand on your involvement with the two projects
listed in your biography? What was your role in the Anderson's
points-to analysis? I thought Ben Hardekopf did most of the
work on that project. Was this follow-up work, a separate
implementation, or something else? As for the taint tracker,
you should clarify whether it was static or dynamic (or a
hybrid) and explain for what it was used.</li>
</ol>
<br>
Regards,<br>
<br>
John Criswell<br>
<br>
<blockquote cite="mid:56F57080.5050403@cs.utexas.edu" type="cite">
<br>
On 03/25/2016 11:44 AM, John Criswell wrote:
<br>
<blockquote type="cite">Dear Jia,
<br>
<br>
I don't see your proposal in the system. What is the title of
your proposal, and under what email address did you submit it?
<br>
<br>
Regards,
<br>
<br>
John Criswell
<br>
<br>
On 3/23/16 4:09 PM, Jia Chen via llvm-dev wrote:
<br>
<blockquote type="cite">Dear llvm devs,
<br>
<br>
Based on an earlier discussion about existing pointer analyses
in LLVM, I quickly hacked up a GSoC proposal on enabling
cfl-aa by default.
<br>
<br>
The decision to write it was made two days before the
application deadline, hence the writing quality may not be
very satisfactory: the background section could be less
verbose, and the implementation section could be more formal.
Also it doesn't seem that I am able to come up with a
tentative schedule since at this point, I have no idea how
long each of the objective is going to take.
<br>
<br>
I've shared my draft through the GSoC website. Any ideas on
how I could improve are welcomed. Thanks in advance to
everyone who is willing to take his/her time to read it.
<br>
<br>
</blockquote>
<br>
<br>
</blockquote>
- Jia
<br>
</blockquote>
<br>
<br>
<pre class="moz-signature" cols="72">--
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
<a class="moz-txt-link-freetext" href="http://www.cs.rochester.edu/u/criswell">http://www.cs.rochester.edu/u/criswell</a></pre>
</body>
</html>