https://e-sygoing.link Latest links in the A category en-us Sun, 24 May 2026 20:04:29 -0400 https://e-sygoing.link/link/5756586-almeroth-kevin University of California, Santa Barbara - Computer networks and protocols, large-scale multimedia systems, performance evaluation, distributed systems. Wed, 25 Feb 2026 13:40:31 -0500 https://e-sygoing.link/go/5756586 https://e-sygoing.link/link/5756581-altenkirch-thorsten Ludwig-Maximillians University - Type theory, categorical logic, and program verification. Sat, 01 Nov 2025 14:29:56 -0400 https://e-sygoing.link/go/5756581 https://e-sygoing.link/link/5756587-arun-kumar-s Indian Institute of Technology, Delhi - Semantics and Verification Wed, 17 Sep 2025 22:08:43 -0400 https://e-sygoing.link/go/5756587 https://e-sygoing.link/link/5756576-augustsson-lennart Chalmers University of Technology - Functional programming and implementation of functional programming languages, Haskell. Tue, 05 Aug 2025 21:08:09 -0400 https://e-sygoing.link/go/5756576 https://e-sygoing.link/link/5756582-ariola-zena-m University of Oregon - Programming languages, formal semantics, term rewriting systems, lambda calculus, compilers. Tue, 08 Jul 2025 17:12:52 -0400 https://e-sygoing.link/go/5756582 https://e-sygoing.link/link/5756585-agrawal-divyakant University of California, Santa Barbara - Database systems, transaction processing, distributed systems, fault-tolerance, large scale information systems, image databases, workflow management. Fri, 31 May 2024 02:31:19 -0400 https://e-sygoing.link/go/5756585 https://e-sygoing.link/link/5756580-amarasinghe-saman MIT - Compiler optimizations, computer architectures, software engineering and parallel computing. Thu, 31 Aug 2023 00:19:01 -0400 https://e-sygoing.link/go/5756580