BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Greece
1 × Hungary
1 × Portugal
1 × Spain
2 × United Kingdom
Collaborated with:
N.Kosmatov V.Prevosto A.Jakobsson M.Delahaye P.Cuoq G.Petiot B.Botella J.Julliand Mounir Assaf D.A.Naumann Eric Totel Frédéric Tronel F.Kirchner B.Yakobowski P.Baudin R.Bonichon G.Canet L.Correnson B.Monate A.Puccetti
Talks about:
analysi (4) static (4) program (3) tutori (2) frama (2) dynam (2) hypercollect (1) instrument (1) framework (1) strength (1)

Person: Julien Signoles

DBLP DBLP: Signoles:Julien

Contributed to:

SAC 20152015
SCAM 20142014
TAP 20142014
SAC 20132013
TAP 20132013
SEFM 20122012
ICFP 20092009
POPL 20172017

Wrote 8 papers:

SAC-2015-JakobssonKS #c #hybrid #memory management #monitoring #performance
Fast as a shadow, expressive as a tree: hybrid memory monitoring for C (AJ, NK, JS), pp. 1765–1772.
SCAM-2014-PetiotBJKS #c #generative #source code #testing
Instrumentation of Annotated C Programs for Test Generation (GP, BB, JJ, NK, JS), pp. 105–114.
TAP-2014-KosmatovS #analysis #runtime #tutorial
Runtime Assertion Checking and Its Combinations with Static and Dynamic Analyses — Tutorial Synopsis (NK, JS), pp. 165–168.
SAC-2013-DelahayeKS #c #dynamic analysis #source code #specification
Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
TAP-2013-KosmatovPS #proving #source code #tutorial
A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper (NK, VP, JS), pp. 168–177.
SEFM-2012-CuoqKKPSY #analysis #named #perspective
Frama-C — A Software Analysis Perspective (PC, FK, NK, VP, JS, BY), pp. 233–247.
ICFP-2009-CuoqSBBCCMPP #case study #experience #framework #ml #static analysis
Experience report: OCaml for an industrial-strength static analysis framework (PC, JS, PB, RB, GC, LC, BM, VP, AP), pp. 281–286.
POPL-2017-AssafNSTT #data flow #semantics #static analysis
Hypercollecting semantics and its application to static analysis of information flow (MA, DAN, JS, ET, FT), pp. 874–887.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.