[LLVMdev] Publication at ICFEM 2014

[John Criswell]

On 10/28/14, 6:43 AM, Simo wrote:
> Proceedings of the 16th International Conference on Formal Engineering 
> Methods (ICFEM '14)

This is done.

I haven't taken a look at your paper (I'm at home and can't access 
Springer content at the moment), but are you aware of the 
invariant-based software fault localization that Swarup Sahoo 
developed?  You might find it interesting.  Our paper is at 
http://dl.acm.org/citation.cfm?id=2451131, and (of course) it uses LLVM.

Regards,

John Criswell

-- 
John Criswell
Assistant Professor
Department of Computer Science, University of Rochester
http://www.cs.rochester.edu/u/criswell