Håvard Krogstie (@hkrogstie) 's Twitter Profile
Håvard Krogstie

@hkrogstie

PhD candidate in Compilers. Enjoy Compilers, languages and algorithms, Questionable C++, 🥉IOI 2018

ID: 437583492

calendar_today15-12-2011 15:53:10

131 Tweet

43 Takipçi

273 Takip Edilen

wint (@dril) 's Twitter Profile Photo

in a world where big data threatens to commodify our lives,. telling online surveys that i "Dont know" what pringles are constitutes Heroism

Håvard Krogstie (@hkrogstie) 's Twitter Profile Photo

Kattugler tar tydeligvis med seg mus inn i uglekassa (må ha monsterbor for å lage slike). Klar for å mate de små, eller kanskje bare rugeproviant? Av og til kommer uglemakkeren med flere gnagere (og de kan vri hodet 180°). nrk.no/alltidsammen/?…

Kattugler tar tydeligvis med seg mus inn i uglekassa (må ha monsterbor for å lage slike). Klar for å mate de små, eller kanskje bare rugeproviant? Av og til kommer uglemakkeren med flere gnagere (og de kan vri hodet 180°). nrk.no/alltidsammen/?…
Håvard Krogstie (@hkrogstie) 's Twitter Profile Photo

Our paper on sound points-to analysis of incomplete C programs received a distinguished paper award at #CGO2026! Using the C memory model, we can reason about pointers with unknown origins, and conservatively handle statements in the rest of the program. arxiv.org/abs/2512.07299

Our paper on sound points-to analysis of incomplete C programs received a distinguished paper award at #CGO2026!

Using the C memory model, we can reason about pointers with unknown origins, and conservatively handle statements in the rest of the program.

arxiv.org/abs/2512.07299