search for: pldi'13

...Thus I will prepare a proposal for each of the two projects. Correct. Only one proposal will be accepted. > And, after reading the code of cfl-aa and several related papers, I've > listed four milestones for the AA project: > > 1) In order to use the fast algorithm described in PLDI'13 [1], cfl-aa > makes a simplification on the CFL defined in POPL'08 [2], which will > lead to a reduction on precision (I've confirmed this observation with > the author). > Thus a quantitative measurement on how much is the reduction is needed. > > 2) In cfl-aa,...

Wow, that is cool! I'll check about it. Thank you! On 4 March 2015 at 21:57, John Criswell <jtcriswel at gmail.com> wrote: > On 3/4/15 2:18 AM, Mingxing Zhang wrote: > > Hello John, > > Thank you for your advices and congratulations~ > > I'll read the code of cfl-aa and Giri first and make the decision of which > project to pursue. > The choice will be

...s. >> >> >> Correct. Only one proposal will be accepted. >> >> >> And, after reading the code of cfl-aa and several related papers, I've >> listed four milestones for the AA project: >> >> 1) In order to use the fast algorithm described in PLDI'13 [1], cfl-aa >> makes a simplification on the CFL defined in POPL'08 [2], which will lead >> to a reduction on precision (I've confirmed this observation with the >> author). >> Thus a quantitative measurement on how much is the reduction is needed. >> &g...

...proposal will be accepted. >>>> >>>> >>>> And, after reading the code of cfl-aa and several related papers, >>>> I've listed four milestones for the AA project: >>>> >>>> 1) In order to use the fast algorithm described in PLDI'13 [1], cfl-aa >>>> makes a simplification on the CFL defined in POPL'08 [2], which will lead >>>> to a reduction on precision (I've confirmed this observation with the >>>> author). >>>> Thus a quantitative measurement on how much is the...

...> >>>>>> >>>>>> And, after reading the code of cfl-aa and several related papers, >>>>>> I've listed four milestones for the AA project: >>>>>> >>>>>> 1) In order to use the fast algorithm described in PLDI'13 [1], >>>>>> cfl-aa makes a simplification on the CFL defined in POPL'08 [2], which will >>>>>> lead to a reduction on precision (I've confirmed this observation with the >>>>>> author). >>>>>> Thus a quantitative...