~/talks

Gabor Horvath

what they talk about

all 8 in the filters

where they keep going back

on a stage with

who talks about the same things

titleconferencedate
Lifetime Safety in C++: Past, Present and FutureCppCon 20232023-10-02
C++ is getting concrete safety gains: C++23 lifetime rules change temporary lifetime extension to eliminate some dangling references, compilers (MSVC, Clang…
Talk on
Finding Bugs Using Path-Sensitive Static AnalysisCppCon 20212021-10-24
Path‑sensitive static analysis simulates execution, records path conditions and uses polyhedra‑based reasoning plus off‑the‑shelf solvers to prune infeasible…
Talk on
Lifetime analysis for everyoneCppCon 20192019-09-15
Clang implements Herb Sutter–inspired lifetime checks that run as fast, statement-local diagnostics and ship as clang 10 default, with the same rules available…
Talk on
Dealing with aliasing using contractsMeeting C++ 20182018-11-15
Shows that annotating non-aliasing actually matters: real benchmarks report a mean speed >2x and rare cases up to 40x or 50x. Explains why type-based alias…
Talk on
Implementing the C++ Core Guidelines’ Lifetime Safety Profile in ClangCppCon 20182018-09-23
Clang-based checker implements Herb Sutter’s Lifetime Safety Profile using Clang AST/type trees and control-flow graphs and flags use-after-invalidation and…
Talk on
Dealing with aliasing using contractsCppCon 20182018-09-23
Shows that LLVM emits extra loads when parameters may alias and that C’s restrict enables vectorization, then proposes using contracts plus a new unique span…
Talk on
Is C++ really a highperformance language?Meeting C++ 20172017-11-09
Is C++ really a highperformance language? - Gábor Horváth - Lightning Talks Meeting C++ 2017
Lightning on
Advanced Tools for Better ProductivityMeeting C++ 20172017-11-09
Slides and demos show concrete results: clang tools modernize code and emit specific refactors (Clang-Tidy converts auto_ptr, simplifies ternaries), static…
Talk on
Clang Static AnalysisMeeting C++ 20162016-11-18
Clang static analyzer performs path sensitive symbolic execution with a strong memory model and finds deep bugs but currently lacks cross‑translation‑unit…
Talk on
CodeCompass: An open source code navigator for C++ based on LLVM/ClangCppCon 20162016-09-18
Open‑source navigator built on LLVM/Clang that indexes C++ code and provides definition search, inheritance views and a cross‑file call diagram that marks…
Talk on
Make Friends with the Clang Static Analysis ToolsCppCon 20162016-09-18
http://CppCon.org — Presentation Slides, PDFs, Source Code and other presenter materials are available at: https://github.com/cppcon/cppcon2016 — This talk is…
Talk on
Code Generation in Serializers and Comparators of Apache FlinkFlink Forward Berlin 20162016-09-12
Runtime code generation produces specialized POJO serializers and comparators that remove reflection, avoid boxing, and unroll field loops, delivering up to 6x…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.