[LLVMdev] Publication: "SMACK: Decoupling Source Language Details from Verifier Implementations"

[Zvonimir Rakamaric]

Thanks for taking care of this John and don't worry about my last
name. I use 'c' all the time :).

Yup, SMACK is gaining some traction, which is great...

Best,
-- Zvonimir


--
http://zvonimir.info
http://soarlab.org/


On Fri, Jun 6, 2014 at 9:25 AM, John Criswell <criswell at illinois.edu> wrote:
> Dear Zvonimir,
>
> This is done.  However, if you know how to get the accent over the last
> letter in your name, please let me know.  I don't know how to convince HTML
> to do that.
>
> BTW, it's nice to see an LLVM to Boogie translator, and thanks for
> open-sourcing it.  I suspect SMACK will be a useful tool.
>
> Regards,
>
> John Criswell
>
>
> On 6/2/14, 2:31 PM, Zvonimir Rakamaric wrote:
>>
>> Hi,
>>
>> So, SMACK is a software verifier based around LLVM, and you can find
>> more info (PDF, title, abstract) about our recent publication here:
>>
>> http://soarlab.org/2014/05/smack-decoupling-source-language-details-from-verifier-implementations/
>>
>> I would appreciate if you could add it to your list of LLVM-based
>> publications.
>>
>> Thanks!
>>
>> Best,
>> -- Zvonimir
>>
>> --
>> http://zvonimir.info
>> http://soarlab.org/
>> _______________________________________________
>> LLVM Developers mailing list
>> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>