Static Analysis Results Interchange Format (SARIF)
sarif-standard
SARIF is a proposed standard for the output format of static analysis tools.
IcyFenix
fenixsoft
Ph.D, Programmer, Computer Book Writer, Technical Evangelist, Cloud Native Architect, HLLVM/PLDI Enthusiast
@Huawei China, Shenzhen ⇄ Zhuhai
XCSP Team
xcsp3team
We are interested in combinatorial constrained problems. We develop constraint solvers, for CP (Constraint Programming) and SAT (Satisfiability Testing).
CRIL, University of Artois France
Charles Prud'homme
cprudhom
Hi, I am a researcher in Constraint Programming, from tools to application.
IMT-Atlantique Nantes, France
Neeraj Bhusare
nbhusare
Software Engineer, Eclipse enthusiast. Eclipse RCP, EMF, and Xtext trainer.
Eclipse Xtext committer.
Founder Gyaltso Technologies.
Coverself India
Josh Long
joshlong
Josh (@starbuxman) is the Spring Developer Advocate at Broadcom, an open-source hacker, book/video author and speaker
the Spring team at Broadcom (https://spring.io) San Francisco, CA