39:52

[INFER24] Type-safe Nanopasses: How to write a safe and modern compiler front-end

ACM SIGPLAN

27:29

[INFER24] Supercharging Infer: Enhancing Static Analysis with Dynamic Data at WhatsApp

ACM SIGPLAN

44:50

[INFER24] Infer Internals for Integrations and Infrastructure

ACM SIGPLAN

39:34

[INFER24] Bridging the Gap For Security Analysis In Infer

ACM SIGPLAN

28:01

[INFER24] Finding Retain Cycles for Objective-C with Pulse

ACM SIGPLAN

50:08

[INFER24] State of the Infer Platform

ACM SIGPLAN