corpus.blog
41554 blogs · [ { "id": "01a0bb6c-7fe1-7053-9cb6-27424fa9fa37", "title": null, "url": "https://abhiroop.github.io/calculatecompilers.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424fe72315", "title": null, "url": "https://abhiroop.github.io/chalmers.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-2742506b1c02", "title": null, "url": "https://abhiroop.github.io/conc.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-274250a7a92c", "title": "criterion report", "url": "https://abhiroop.github.io/fiboheap.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-274250ca3af6", "title": null, "url": "https://abhiroop.github.io/mastersthesis.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-274251214154", "title": null, "url": "https://abhiroop.github.io/presentation.html", "published_at": "2026-09-08T08:40:55+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ac65fc76", "title": "Navigating the Fragmented World of Machine Learning Compilers", "url": "https://abhiroop.github.io/ML-Compilers/", "published_at": "2026-09-04T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ac838da8", "title": "Remember why you started", "url": "https://abhiroop.github.io/remember/", "published_at": "2025-07-09T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ad719065", "title": "On Equality", "url": "https://abhiroop.github.io/Equality/", "published_at": "2025-03-19T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ae558fb3", "title": "20 Films That Inspire, Teach and Move", "url": "https://abhiroop.github.io/Films/", "published_at": "2025-02-09T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ae876657", "title": "Square Limit by M.C. Escher", "url": "https://abhiroop.github.io/Square-Limit/", "published_at": "2024-11-04T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098ae907e9a", "title": "Solving Monty Hall with the List monad (or Probabilistic Programming)", "url": "https://abhiroop.github.io/Monty-Hall-Probabilistic/", "published_at": "2024-07-25T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098af2661b1", "title": "The Monty Hall Problem and Bayes Theorem", "url": "https://abhiroop.github.io/Monty-Hall/", "published_at": "2024-06-28T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098b0053871", "title": "Overleaf submission to arXiV", "url": "https://abhiroop.github.io/Overleaf/", "published_at": "2024-01-17T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098b007a1bb", "title": "Opinion piece on Capitalism and Communism", "url": "https://abhiroop.github.io/Capitalism-Communism/", "published_at": "2021-07-19T00:00:00+00:00" }, { "id": "01a0871e-c4f1-718d-9343-0098b0cef647", "title": "Unfolding Fix", "url": "https://abhiroop.github.io/Fix/", "published_at": "2019-12-20T00:00:00+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-27423c3b2940", "title": "Persistent Red Black Trees in Haskell", "url": "https://abhiroop.github.io/Haskell-Red-Black-Tree/", "published_at": "2017-10-28T00:00:00+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-27423b474bc2", "title": "Understanding the Transactional Nature of Smart Contracts", "url": "https://abhiroop.github.io/Exceptions-and-Transactions/", "published_at": "2017-03-14T00:00:00+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-27423a479cc9", "title": "Powerset in Haskell", "url": "https://abhiroop.github.io/Haskell-Powerset/", "published_at": "2017-01-16T00:00:00+00:00" }, { "id": "01a0bb6c-7fe1-7053-9cb6-274241aa3287", "title": "404 - Page not found", "url": "https://abhiroop.github.io/404/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-2742424b10ca", "title": "A Whirlwind Tour of Formal Methods", "url": "https://abhiroop.github.io/drafts/FormalMethods/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274242f39bfa", "title": "An Introduction to Secure Compilation", "url": "https://abhiroop.github.io/drafts/Secure-Compilation/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274242f85bfc", "title": "Redirecting to https://abhiroop.github.io", "url": "https://abhiroop.github.io/about/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274243b893e1", "title": "Art – Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/art/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274244b4a727", "title": "Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/blog/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274245ad9512", "title": "Beautiful Childhood", "url": "https://abhiroop.github.io/art/childhood", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274245c8d12f", "title": "Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/pubs/hailstorm/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274246c68c6e", "title": "Superword Level Parallelism in the Glasgow Haskell Compiler", "url": "https://abhiroop.github.io/pubs/haskellvector", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424776df99", "title": "HasTEE - Confidential Computing on Trusted Execution Environments with Haskell", "url": "https://abhiroop.github.io/pubs/hastee", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274247fc3a74", "title": "Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/pubs/hastee_plus/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274248d57d20", "title": "Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-2742496e4ed9", "title": "Functional Programming for Embedded Systems", "url": "https://abhiroop.github.io/lic/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274249b3c525", "title": "MLIR", "url": "https://abhiroop.github.io/mlc/mlirsetup", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-274249e78c37", "title": "Functional Programming for Securing Cloud and Embedded Environments", "url": "https://abhiroop.github.io/phd/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424ace106b", "title": "Presentations – Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/presentations/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424ae2e8c3", "title": "Publications – Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/publications/", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424b65a4a3", "title": "PyTorch – Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/mlc/pytorch", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424bdc14cb", "title": "Higher-Order Concurrency for Microcontrollers", "url": "https://abhiroop.github.io/pubs/sensevm_mplr", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424cc6441e", "title": "The gift of space", "url": "https://abhiroop.github.io/art/space", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424d9a4272", "title": "Square Limit by M.C. Escher", "url": "https://abhiroop.github.io/art/squarelimit", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424e3901f0", "title": "Synchron - An API and Runtime for Embedded Systems", "url": "https://abhiroop.github.io/pubs/synchron", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424ec5bb2d", "title": "torch-mlir", "url": "https://abhiroop.github.io/mlc/torchmlir", "published_at": null }, { "id": "01a0bb6c-7fe1-7053-9cb6-27424f0023ff", "title": "Abhiroop Sarkar – λ | Computation", "url": "https://abhiroop.github.io/books/", "published_at": null } ] posts Claim your blog
Back to abhiroop.github.io
Blog · corpus.blog/blogs/abhiroop.github.io/posts

abhiroop.github.io

abhiroop.github.io

2026

https://abhiroop.github.io/calculatecompilers.htmloriginal ↗
8 Sept 2026
https://abhiroop.github.io/chalmers.htmloriginal ↗
8 Sept 2026
https://abhiroop.github.io/conc.htmloriginal ↗
8 Sept 2026
criterion reportoriginal ↗
8 Sept 2026
https://abhiroop.github.io/mastersthesis.htmloriginal ↗
8 Sept 2026
https://abhiroop.github.io/presentation.htmloriginal ↗
8 Sept 2026
Navigating the Fragmented World of Machine Learning Compilersoriginal ↗
4 Sept 2026

2025

Remember why you startedoriginal ↗
9 Jul 2025
On Equalityoriginal ↗
19 Mar 2025
20 Films That Inspire, Teach and Moveoriginal ↗
9 Feb 2025

2024

Square Limit by M.C. Escheroriginal ↗
4 Nov 2024
Solving Monty Hall with the List monad (or Probabilistic Programming)original ↗
25 Jul 2024
The Monty Hall Problem and Bayes Theoremoriginal ↗
28 Jun 2024
Overleaf submission to arXiVoriginal ↗
17 Jan 2024

2021

Opinion piece on Capitalism and Communismoriginal ↗
19 Jul 2021

2019

Unfolding Fixoriginal ↗
20 Dec 2019

2017

Persistent Red Black Trees in Haskelloriginal ↗
28 Oct 2017
Understanding the Transactional Nature of Smart Contractsoriginal ↗
14 Mar 2017
Powerset in Haskelloriginal ↗
16 Jan 2017

Undated

404 - Page not foundoriginal ↗
—
A Whirlwind Tour of Formal Methodsoriginal ↗
—
An Introduction to Secure Compilationoriginal ↗
—
Redirecting to https://abhiroop.github.iooriginal ↗
—
Art – Abhiroop Sarkar – λ | Computationoriginal ↗
—
Abhiroop Sarkar – λ | Computationoriginal ↗
—
Beautiful Childhoodoriginal ↗
—
Abhiroop Sarkar – λ | Computationoriginal ↗
—
Superword Level Parallelism in the Glasgow Haskell Compileroriginal ↗
—
HasTEE - Confidential Computing on Trusted Execution Environments with Haskelloriginal ↗
—
Abhiroop Sarkar – λ | Computationoriginal ↗
—
Abhiroop Sarkar – λ | Computationoriginal ↗
—
Functional Programming for Embedded Systemsoriginal ↗
—
MLIRoriginal ↗
—
Functional Programming for Securing Cloud and Embedded Environmentsoriginal ↗
—
Presentations – Abhiroop Sarkar – λ | Computationoriginal ↗
—
Publications – Abhiroop Sarkar – λ | Computationoriginal ↗
—
PyTorch – Abhiroop Sarkar – λ | Computationoriginal ↗
—
Higher-Order Concurrency for Microcontrollersoriginal ↗
—
The gift of spaceoriginal ↗
—
Square Limit by M.C. Escheroriginal ↗
—
Synchron - An API and Runtime for Embedded Systemsoriginal ↗
—
torch-mliroriginal ↗
—
Abhiroop Sarkar – λ | Computationoriginal ↗
—