search

soundiness / soundiness.github.io

10 stars 3 forks source link

a SAS'15 paper #1

Closed yuelee closed 8 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.

too4words commented 9 years ago

Hi Yue,

You should be able to make a pull request with that.

Ben

yuelee commented 9 years ago

Hi Ben,

Got it. Thanks.

Yue