Henrich Lauko
@HenrichLauko
Followers
73
Following
2K
Media
0
Statuses
32
Joined May 2017
RT @llvmorg: We are pleased to announce the 2024 LLVM Developers' Meeting program! Register today!
0
10
0
RT @trailofbits: Recap of Euro @llvmorg 2024:.-We really have to focus on Ecosystem security.-PoTAToes & other MLIR projects.-Successor lan….
0
9
0
RT @trailofbits: Our MLIR-based C/C++ compiler VAST is now live on @CompileExplore. Check it out at You can meet i….
0
9
0
RT @trailofbits: We are competing in @DARPA’s AI Cyber Challenge (AIxCC). DARPA is challenging competitors to develop novel, fully automate….
0
7
0
RT @peter_a_goodman: PASTA is the culmination of years of work trying to wrangle reliable and actionable data out of Clang. The effort has….
0
8
0
RT @yaqwsx_cz: Jako každý rok posledních 5 let, tak i letos organizuji pod Instruktory Brno víkendovou akci "Příběh civilizace". Je to outd….
0
1
0
RT @trailofbits: We are now accepting applicants for our summer internship program! We will be hiring approximately 10-15 interns across ou….
0
25
0
RT @peter_a_goodman: Interested in how MLIR can help static analysis of C and C++? Then seek out @HenrichLauko at the LLVM developers meeti….
0
7
0
RT @peter_a_goodman: Can symbolic execution be a productivity multiplier for human bug-finders? My talk ( at the @k….
0
21
0
RT @kleesymex: Peter Goodman @peter_a_goodman giving the first industry keynote at the @kleesymex workshop, posing an interesting question:….
0
7
0
RT @yaqwsx_cz: Working on a new blog post about resin printing. Expect something as vital as my series on resin viscosity. This time I am….
0
1
0
RT @peter_a_goodman: I think this is the future of C and C++ compilers, static analysis, and source code verification. Also decompilers; ca….
0
1
0
RT @trailofbits: Trail of Bits has launched a podcast! The first five-episode season is now available on all major podcast outlets. https:/….
0
26
0
RT @jfbastien: Them, local coffeeshop, romantics:.🥰 multiply your life by the power of two 😘. Me, compiler engineer, optimizer:.🤓 left shif….
0
5
0
RT @fbOpenSource: In this first blog of a technical deep dive series, @lewissbaker and @LeeWHowes share how Facebook is leveraging C++ #cor….
0
17
0
