search for: james0zan

...gt; like field-sensitivity always increase precision, which is not true for C. > > If you really want to attempt this, I would suggest using one of the > demand driven context-sensitive approaches that will be easy to fit in CFL. > > On Sat, Mar 14, 2015 at 5:57 AM Mingxing Zhang <james0zan at gmail.com> > wrote: > >> Hello John, >> >> I've finished the first version of my proposal on enhancing alias >> analysis. >> The proposal can be downloaded at >> http://james0zan.github.io/resource/GSoC15-Proposal-AA.pdf. >> I hope I've...

Hello John, I've finished the first version of my proposal on enhancing alias analysis. The proposal can be downloaded at http://james0zan.github.io/resource/GSoC15-Proposal-AA.pdf. I hope I've successfully justified the necessity and benefits of this project. If possible, please find some time to review it and give me some more feedbacks. Thank you very much! P.S. I'm working on the other proposal, a couple of days is neede...

...t; [1] Fast Algorithms for Dyck-CFL-Reachability with Applications to > Alias Analysis. PLDI'13 > [2] Demand-Driven Alias Analysis for C. POPL'08 > [3] Demand-Driven Context-Sensitive Alias Analysis for Java. ISSTA'11 > > > On 5 March 2015 at 09:58, Mingxing Zhang <james0zan at gmail.com > <mailto:james0zan at gmail.com>> wrote: > > Wow, that is cool! > I'll check about it. > > Thank you! > > On 4 March 2015 at 21:57, John Criswell <jtcriswel at gmail.com > <mailto:jtcriswel at gmail.com>> wrote:...

...e since I do not know which project will be selected or even none of them will be accepted until then? Otherwise, will the mentors know the decision earlier (e.g., at 15 April after the slot is allocated to organizations)? To John, The proposal for bloat detection is also available now at http://james0zan.github.io/resource/GSoC15-Proposal-BloatDetection.pdf (not completely finished yet). Some preliminary evaluation results on overhead and detecting ability based on a simple prototype are given. (Actually I came up with this idea during my visitation in Columbia U and the prototype is also implement...

...> >> >> >> >> >> >> On 3/3/15 2:30 AM, Mingxing Zhang wrote: >> >> Hi all, >> >> As a Ph.D. student majored in Software Reliability, I have used LLVM in >> many of my projects, such as the Anticipating Invariant ( >> http://james0zan.github.io/AI.html) and some other undergoing ones. >> Thus, it would be a great pleasure for me if I could take this >> opportunity to contribute to this awesome project. >> >> After reading the idea list (http://llvm.org/OpenProjects.html), I was >> most interested in...

Hi all, As a Ph.D. student majored in Software Reliability, I have used LLVM in many of my projects, such as the Anticipating Invariant ( http://james0zan.github.io/AI.html) and some other undergoing ones. Thus, it would be a great pleasure for me if I could take this opportunity to contribute to this awesome project. After reading the idea list (http://llvm.org/OpenProjects.html), I was most interested in the idea of improving the "Pointer and...

...> > Regards, > > John Criswell > > > > > > > > On 3/3/15 2:30 AM, Mingxing Zhang wrote: > > Hi all, > > As a Ph.D. student majored in Software Reliability, I have used LLVM in > many of my projects, such as the Anticipating Invariant ( > http://james0zan.github.io/AI.html) and some other undergoing ones. > Thus, it would be a great pleasure for me if I could take this opportunity > to contribute to this awesome project. > > After reading the idea list (http://llvm.org/OpenProjects.html), I was > most interested in the idea of improvi...