The implementation of IPv6 Segment Routing that David Lebrun wrote during his Ph.D. thesis is included in version 4.14 of the Linux kernel that is now publicly available. Another example of successful technology transfer.