https://e-sygoing.link Latest links in the O category en-us Mon, 25 May 2026 02:47:59 -0400 https://e-sygoing.link/link/5756798-ohearn-peter Queen Mary and Westfield College - Semantics of programming languages with a primary focus on state. Fri, 02 May 2025 08:56:02 -0400 https://e-sygoing.link/go/5756798 https://e-sygoing.link/link/5756796-oboyle-michael University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture. Sat, 12 Apr 2025 22:01:24 -0400 https://e-sygoing.link/go/5756796 https://e-sygoing.link/link/5756802-oh-eunseuk Texas A&M University - Research and topics on interconnection networks. Mon, 09 Dec 2024 09:16:40 -0500 https://e-sygoing.link/go/5756802 https://e-sygoing.link/link/5756795-oberlander-jon University of Edinburgh - Computational linguistics, cognitive science, discourse generation. Mon, 04 Nov 2024 12:07:32 -0500 https://e-sygoing.link/go/5756795 https://e-sygoing.link/link/5756803-orsini-luciano CERN EP Division - High-Performance distributed systems, Distributed operating systems, Component systems. Wed, 24 Jul 2024 23:20:13 -0400 https://e-sygoing.link/go/5756803 https://e-sygoing.link/link/5756797-ohallaron-dave Carnegie Mellon University - Internet services and high-performance distributed computing. Wed, 06 Mar 2024 09:19:23 -0500 https://e-sygoing.link/go/5756797 https://e-sygoing.link/link/5756800-ong-c-h-luke Merton College, Oxford - Semantics of programming languages, lambda calculus, categorical logic and type theory, game semantics, linear logic. Thu, 07 Sep 2023 01:57:54 -0400 https://e-sygoing.link/go/5756800