Jules Villard

3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Finding real bugs in big programs with incorrectness logic

Quang Loc Le and others (2022) · Proceedings of the ACM on Programming Languages · Association for Computing Machinery

Sub-classical Boolean Bunched Logics and the Meaning of Par

James Brotherston and others (2015) · Stephan Kreutzer, editor: Conference on Computer Science Logic (CSL 2015), Leibniz International Proceedings in Informatics (LIPIcs) 41, Schloss Dagstuhl– Leibniz-Zentrum fuer Informatik

The ramifications of sharing in data structures

Aquinas Hobor and others (2013) · Association for Computing Machinery (ACM)