corpus.blog
41,554 blogs · 5,149,205 posts Claim your blog
Back to anil.recoil.org
Blog · corpus.blog/blogs/anil.recoil.org/posts

anil.recoil.org

anil.recoil.org

2015

Raft Refloated: Do We Have Consensus?original ↗
1 Jan 2015
Mergeable persistent data structuresoriginal ↗
1 Jan 2015
CUFP'13 scribe's reportoriginal ↗
1 Jan 2015

2014

Codemesh 2014: Nymote: Git Your Own Cloud Hereoriginal ↗
17 Dec 2014
Jitsu: Just-in-Time Summoning of Unikernels (new directions in operating systems)original ↗
25 Nov 2014
Regional clouds: technical considerationsoriginal ↗
1 Nov 2014
MirageOS 2.0: branch consistency for Xen Stub Domainsoriginal ↗
17 Oct 2014
OCaml 2014: The OCaml Platform v1.0original ↗
5 Sept 2014
Haskell Symposium 2014 Keynote on functional OS designoriginal ↗
5 Sept 2014
The OCaml Platform v1.0original ↗
1 Sept 2014
Multicore OCamloriginal ↗
1 Sept 2014
Irminsule: a branch-consistent distributed library databaseoriginal ↗
1 Sept 2014
Talks from OCaml Labs during ICFP 2014original ↗
31 Aug 2014
FLOSS Weekly 302: Open Mirageoriginal ↗
23 Jul 2014
MirageOS v2.0: a recap of new featuresoriginal ↗
22 Jul 2014
MirageOS v1.2 released and the runup to 2.0original ↗
8 Jul 2014
SE Radio Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Languageoriginal ↗
1 May 2014
Codio: build Mirage unikernels from a browseroriginal ↗
26 Mar 2014
Easily OPAM switching to any OCaml feature requestoriginal ↗
25 Mar 2014
ICFP 2014 - a call for sponsorship and how you can helporiginal ↗
3 Mar 2014
Using Dust Clouds to Enhance Anonymous Communicationoriginal ↗
1 Mar 2014
Unikernels, and the Rise of the Virtual Library Operating Systemoriginal ↗
13 Jan 2014

2013

Reviewing the first year of OCaml Labs in 2013original ↗
29 Dec 2013
Using Docker to bulk-build OPAM packages on Linuxoriginal ↗
15 Nov 2013
MirageOS and XAPI project update at XenSummitoriginal ↗
13 Nov 2013
Notes from PL and OS 2013 workshoporiginal ↗
3 Nov 2013
Unikernels: Rise of the Virtual Library Operating Systemoriginal ↗
1 Nov 2013
Trevi: watering down storage hotspots with cool fountain codesoriginal ↗
1 Nov 2013
First edition of Real World OCaml publishedoriginal ↗
1 Nov 2013
Commercial users of functional programming workshop reportoriginal ↗
1 Nov 2013
Notes on the first Human Data Interaction workshoporiginal ↗
2 Oct 2013
OCaml 2013 workshop liveblogoriginal ↗
24 Sept 2013
Liveblogging CUFP 2013original ↗
22 Sept 2013
OPAM 1.1 beta available, with pretty coloursoriginal ↗
20 Sept 2013
The OCaml Platform v0.1original ↗
1 Sept 2013
Ocamlot: Online OCaml Testingoriginal ↗
1 Sept 2013
Lost in the Edge: Finding Your Way with DNSSEC Signpostsoriginal ↗
1 Aug 2013
Mirage Developer Preview 1 screencastoriginal ↗
26 Jul 2013
Grepping the source of every OCaml package in OPAMoriginal ↗
8 Apr 2013
Unikernels: library operating systems for the cloudoriginal ↗
1 Mar 2013
Perceived risks of personal data sharingoriginal ↗
1 Feb 2013

2012

Evolving TCP: how hard can it be?original ↗
1 Dec 2012
Announcing OCaml Labsoriginal ↗
19 Oct 2012
Breaking up is easy (with OPAM)original ↗
17 Oct 2012
OUD 2012: Towards an OCaml Platform and Introducing OCaml Labsoriginal ↗
17 Sept 2012
Building a Xenstore stub domain with MirageOSoriginal ↗
12 Sept 2012
Signposts: end-to-end networking in a world of middleboxesoriginal ↗
1 Sept 2012
Programming the Xen cloud using OCamloriginal ↗
1 Sept 2012
Exploring Compartmentalisation Hypotheses with SOAAPoriginal ↗
1 Sept 2012
Cost, Performance & Flexibility in OpenFlow: Pick threeoriginal ↗
1 Jun 2012
Confidential carbon commuting: exploring a privacy-sensitive architecture for incentivising 'greener' commutingoriginal ↗
1 Apr 2012
The case for reconfigurable I/O channelsoriginal ↗
1 Mar 2012
Dreaming of an ARM OCamloriginal ↗
25 Feb 2012
CUFP 2011 Workshop Reportoriginal ↗
1 Jan 2012

2011

OCaml Meeting 2011 - MirageOSoriginal ↗
19 Oct 2011
An outing to CUFP 2011 for Mirageoriginal ↗
29 Sept 2011
Dynamics for ML using Meta-Programmingoriginal ↗
1 Jul 2011
Dynamics for ML using Meta-Programmingoriginal ↗
1 Jul 2011
Delimited continuations vs Lwt for threadsoriginal ↗
18 Jun 2011
DataCaml: distributed dataflow programming in OCamloriginal ↗
11 Jun 2011
Reconfigurable Data Processing for Cloudsoriginal ↗
1 May 2011
Functional programming gone wild in the SRGoriginal ↗
18 Apr 2011
Camel Spotting in Parisoriginal ↗
15 Apr 2011
CIEL: A universal execution engine for distributed data-flow computingoriginal ↗
1 Mar 2011
Unclouded visionoriginal ↗
1 Jan 2011

2010

Building the Xen toolstack using OCamloriginal ↗
5 Nov 2010
Mirage: A New Multi-Scale Operating System for Clouds and Crowds (2014)original ↗
25 Oct 2010
Self-hosting MirageOS websiteoriginal ↗
11 Oct 2010
The personal container, or your life in bitsoriginal ↗
1 Oct 2010
Using functional programming within an industrial product group: perspectives and perceptionsoriginal ↗
1 Sept 2010
Turning Down the LAMP: Software Specialisation for the Cloudoriginal ↗
22 Jun 2010
Turning Down the LAMP: Software Specialisation for the Cloudoriginal ↗
1 Jun 2010
Creating high-performance, statically type-safe network applicationsoriginal ↗
1 May 2010
Yurts for Digital Nomadsoriginal ↗
29 Apr 2010
Pulling together a user interfaceoriginal ↗
15 Apr 2010
Multiscale not multicore: efficient heterogeneous cloud computingoriginal ↗
1 Apr 2010
Opening a websiteoriginal ↗
29 Mar 2010
Privacy Butler: A Personal Privacy Rights Manager for Online Presenceoriginal ↗
1 Mar 2010
Creating high-performance, statically type-safe network applicationsoriginal ↗
1 Mar 2010

2009

Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Languageoriginal ↗
1 Nov 2009

2008

Peeking under the hood of High Availabilityoriginal ↗
17 Sept 2008
Shedding light on XenApp on XenServer performance tuningoriginal ↗
4 Aug 2008
Installing Ubuntu on XenServeroriginal ↗
2 Jul 2008
Enhancing web browsing security on public terminals using mobile compositionoriginal ↗
1 Jun 2008

2007

Melange: creating a "functional" internetoriginal ↗
1 Jun 2007
Interacting with mobile services: an evaluation of camera-phones and visual tagsoriginal ↗
1 Feb 2007

2006

Fighting Crimeware: An Architecture for Split-Trust Web Applicationsoriginal ↗
1 Apr 2006

2005

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractionsoriginal ↗
1 Aug 2005
Ubiquitious Computing needs to catch up with Ubiquitous Mediaoriginal ↗
1 Jul 2005
Audio networking: the forgotten wireless technologyoriginal ↗
1 Jul 2005
A Study of Bluetooth Propagation Using Accurate Indoor Location Mappingoriginal ↗
1 Jul 2005
OpenBSD C2K5 thoughtsoriginal ↗
4 Jun 2005
On the challenge of delivering high-performance, dependable, model-checked internet serversoriginal ↗
1 Jun 2005
Using visual tags to bypass Bluetooth device discoveryoriginal ↗
1 Jan 2005
Using smart phones to access site-specific servicesoriginal ↗
1 Jan 2005
The Broadband Phone Network: Experiences with Context-Aware Telephonyoriginal ↗
1 Jan 2005

2004

Using camera-phones to interact with context-aware mobile servicesoriginal ↗
1 Dec 2004
Connecting Paper and Online Worlds by Cellphoneoriginal ↗
7 Oct 2004
Using Camera-Phones to Enhance Human-Computer Interactionoriginal ↗
1 Sept 2004
MIT Technology review covers SpotCodesoriginal ↗
1 Sept 2004
Previous Next