Add a SAS'15 paper - Githubissues

soundiness / soundiness.github.io

10 stars 3 forks source link

Closed yuelee closed 9 years ago

yuelee commented 9 years ago

Hi all,

Do you mind including our new SAS'15 paper titled "Effective Soundness-Guided Reflection Analysis" http://www.cse.unsw.edu.au/~jingling/papers/sas15.pdf on your soundiness web site?

We will release our implementation soon at http://www.cse.unsw.edu.au/~corg/solar.

Thanks.

msridhar commented 9 years ago

Thanks!

yuelee commented 9 years ago

Thanks a lot!