Jules Villard

Imperial College London

H-index: 14

Europe-United Kingdom

About Jules Villard

Jules Villard, With an exceptional h-index of 14 and a recent h-index of 9 (since 2020), a distinguished researcher at Imperial College London, specializes in the field of Program verification, Message passing, Automatic verification tools.

His recent articles reflect a diverse array of research interests and contributions to the field:

Infer: a compositional extensible platform for static analysis

Finding real bugs in big programs with incorrectness logic

Local reasoning about the presence of bugs: Incorrectness separation logic

Jules Villard Information

University	Imperial College London
Position	___
Citations(all)	570
Citations(since 2020)	244
Cited By	413
hIndex(all)	14
hIndex(since 2020)	9
i10Index(all)	14
i10Index(since 2020)	9
Email	Access Email
University Profile Page	Imperial College London
Google Scholar	View Google Scholar Profile

Jules Villard Skills & Research Interests

Program verification

Message passing

Automatic verification tools

Jules Villard

Imperial College London

About Jules Villard

Jules Villard Information

Jules Villard Skills & Research Interests

Top articles of Jules Villard

Infer: a compositional extensible platform for static analysis

Jules Villard

Finding real bugs in big programs with incorrectness logic

Quang Loc Le

Jules Villard

Local reasoning about the presence of bugs: Incorrectness separation logic

Jules Villard

Co-Authors

James Brotherston

Aquinas Hobor