Concepedia

Jules Villard

JV

5

Publications

155

Citations

5

H-Index

2013

Active since

Affiliations

University College London(Current)

National University of Singapore

Jules Villard is an author at University College London specializing in verification, formal methods, and automated reasoning.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisManagementData Privacy

Publications per year

2013–2022

5

Publications

5

The ramifications of sharing in data structures

Aquinas Hobor, Jules Villard · 2013 · 50 citations

Engineering, Verification, Computer-aided Verification +24

Finding real bugs in big programs with incorrectness logic

Quang Loc Le, Azalea Raad, Jules Villard et al. · Proceedings of the ACM on Programming Languages · 2022 · 47 citations · Full text

Software Maintenance, Program Checking, Engineering +22

Parametric completeness for separation theories

J G. Brotherston, Jules Villard · 2014 · 33 citations · Full text

Applied Logic, Engineering, Verification +17

The ramifications of sharing in data structures

Aquinas Hobor, Jules Villard · ACM SIGPLAN Notices · 2013 · 14 citations

Engineering, Verification, Mutable Data Structures +26

Sub-classical Boolean Bunched Logics and the Meaning of Par

J G. Brotherston, Jules Villard · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2015 · 11 citations · Full text

Rows per page

1–5 of 5