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

[Criswell, John T]

I will add it, but I am away from the office most of this week and was not allowed to bring a laptop with me :).  Please ping me if it's not done by close of business Friday this week.

John Criswell

Sent from my iPhone

> On Jun 2, 2014, at 2:36 PM, "Zvonimir Rakamaric" <zvonimir at cs.utah.edu> 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