Gábor Horváth

Compilers, program analysis. C++, Swift, Rust.

[Gábor Horváth @XazaxHun]

@progtools @seanbax Yay! I’m glad they are adopting that. I actually added [[msvc::lifetimebound]] to MSVC while I was working for Microsoft :)

[Sean Baxter @seanbax]

These recent notes on Swift by @XazaxHun suggest that C++ needs more coverage to interop with memory-safe languages. Every attempt to improve interop is scrambling to extend C++ with lifetime information. Everyone is converging on similar requirements.

https://t.co/LYpEHUBcZj

[Sean Baxter @seanbax]

Caught up with @XazaxHun 's CppCon23 talk. Envisions a Safe C++:

"Best possible migration experience: Take a function, change the type of a single argument, fix the compilation errors, the code becomes safer."

"Challenging but can be done."
Yes.

https://t.co/RZ0p7pVNzV

[Gábor Horváth @XazaxHun]

Interested in making #cpp safer? Check out my #cppcon talk and start to participate in the discussion.
https://t.co/fOzGzW2qD3

[llvm.org @llvmorg]

Congrats to Gábor Horváth, Shafik Yaghmour, and Markus Böck for being recognized by the 2023 Google Open Source Peer Bonus Program for their work with the LLVM Project! https://t.co/YFUukUdhvj @shafikyaghmour @XazaxHun

[Gábor Horváth @XazaxHun]

The MSVC static analysis team recently released a preview version of one of the most requested checks by our users: https://t.co/Rw7RYJMCPz

[Gábor Horváth @XazaxHun]

Rust-style lifetimes in Clang :) https://t.co/Ixrcj80g3b

[Inbal Levi @Inbal_l]

Nice ending for a great conference ☺️
@CppCon

[Gábor Horváth @XazaxHun]

@bjorn_fahller @ciura_victor @vzverovich @Cor3ntin User written types need additional annotations. Those are being upstreamed at the moment. Too late for clang-10 though.

[Gábor Horváth @XazaxHun]

In case you plan to attend CppCon 2019, consider adding our talk to your schedule :) We might (or might not) have some interesting announcements that may (or may not) change the way how most of us develop C++ software. (link: https://t.co/TfwCFqjwk0) @cppcon
#cppcon @sched

[Meeting C++ @meetingcpp]

std::launder - Réka Kovács - Lightning Talks Meeting C++ 2017
https://t.co/KLn0Z0RWmc
#cpp
#cplusplus

[Meeting C++ @meetingcpp]

"CodeChecker is a static analysis infrastructure built on the LLVM/Clang Static Analyzer toolchain"
https://t.co/nvtjSuFcQC
#cpp
#cplusplus

[Meeting C++ @meetingcpp]

Clang Static Analysis - Gabor Horvath - Meeting C++ 2016
https://t.co/N4AD2jgoeB
#cpp
#cplusplus

[Flink Forward @FlinkForward]

Code Generation in Serializers and Comparators of #Apache #Flink - a talk presented at #ff16 by @XazaxHun https://t.co/Q3menPjUYf

[Flink Forward @FlinkForward]

. @XazaxHun's #ff16 talk on Code Generation in Serializers & Comparators of Apache Flink starts in 5m@Maschinenhaus https://t.co/l0oLx8eLOX

[Flink Forward @FlinkForward]

@XazaxHun will present "Code Generation in Serializers & Comparators of Apache Flink": https://t.co/l0oLx8eLOX #ff16

[Jasper Schulz @jaheba]

Gábor Horváth @ICOOOLPS: Source Language Representation of Function Summaries in Static Analysis @ECOOPconf