Stephen Kell's blog entries by date

12 December 2022, Interoperability: what's rich is still poor, in devel
10 October 2022, Understanding C99 inlines, in devel
6 October 2022, How to do link-time symbol wrapping... as a plugin, in devel
3 August 2022, How and why to do link-time symbol wrapping (or not?), in devel
1 April 2022, Anti-prosperity in the UK, part one, in highered
17 January 2022, De-escalating the submission backlog, in research
11 January 2022, (Tell me why) I don't like funding {applications, bodies, policies}, in highered
18 October 2021, ELF dynamic linking: a brief introduction, in devel
14 October 2021, Tracing system calls in-process, using a chain loader, in devel
13 October 2021, No more Dr Nice Guy, in highered
28 May 2021, Role again, in highered
3 March 2021, Career thoughts on academia, industry and points in between, in highered
4 January 2021, Chain loading, not preloading: the dynamic linker as a virtualization vector, in devel
23 July 2020, Building a simple toolchain extension, the subversive way, in devel
26 May 2020, Mission and marketing in computer science degrees, in teaching
11 March 2020, Fund institutions, not projects, in highered
26 February 2020, Postdoc follow-ups, in highered
2 December 2019, Postdoc myths, in highered
23 August 2019, Research travel, climate change, and why we must educate our institutions, in research
15 May 2019, Research careers in UK Universities: questions few are asking, part one, in highered
11 January 2019, Mildly profane meta-advice for beginning PhD students, in research
17 January 2018, How to be a Scrutineer (and a better one than I managed to be), in highered
9 January 2018, Undergraduate admissions in “computer science”: a plea, in teaching
18 October 2017, Some were meant for post-hoc reflections, in research
17 September 2017, Project suggestions (for Part II and MPhil students), in research
14 February 2017, Custom ELF program headers—what, why and how, in devel
30 January 2017, Debugging with the natives, part 2, in devel
21 September 2016, Project suggestion: run-time type information in the FreeBSD kernel, in research
25 February 2016, Debugging with the natives, part 1, in devel
30 September 2015, Project suggestion: an observable OCaml, using liballocs, in research
16 September 2015, Partially evaluating a bytecode interpreter using C++ templates, in research
16 July 2015, ELF introspection, robustly and portably, in devel
30 June 2015, A position on licensing research software, in research
26 May 2015, Polymorphism and observability, in research
27 February 2015, Talking about polymorphism, in research
20 February 2015, Putting observability first, in research
2 February 2015, Thoughts on peer review, in research
16 December 2014, For and against languages, in research
24 November 2014, I hate systems research... sort of, in research
19 November 2014, How to write vaguely acceptable makefiles, in devel
7 October 2014, Seven deadly sins of talking about “types”, in research
6 October 2014, Project extra, in research
29 September 2014, Progress by distillation, in research
29 September 2014, Project ideas 2014--2015, in research
2 July 2014, Why isn't verification standard practice?, in research
1 July 2014, Drop-in debugging, in devel
13 June 2014, Linking and loading: what's incidental?, in research
14 May 2014, Instrumenting casts in C++, in research
8 April 2014, Dynamic linking and security, in research
13 January 2014, C libraries and linking, in research
26 November 2013, (Tell me why) I don't like Java, in research
23 February 2013, A curiously recurring explanation, in devel
10 January 2013, Systems versus languages, in research
6 December 2012, Bridge that gap, in research
3 December 2012, Tools or not tools, in research
27 June 2012, 32 bits should be enough for anyone, in devel
1 June 2012, Metacircularity (or: “what's Java got to do with it?”), in research
1 June 2012, Link order, in devel
20 December 2011, Cathedrals, bazaars and research groups, in research
14 December 2011, Heterogeneity or homogeneity: what's the problem?, in research
13 December 2011, Load addresses, in devel
5 December 2011, Refactoring refactoring, in research
5 December 2011, Guided by folklore, in research
1 December 2011, Weak dynamic symbols, in devel
12 November 2011, Static versus dynamic analysis---an illusory distinction?, in research
6 October 2011, LLVM structural typing, in devel
22 August 2011, Pipelines (are lazy functional composition with recombination), in research
8 July 2011, In praise of (good) workshops, in research
6 July 2011, Functionality, not (just) reliability, in research
14 June 2011, Post post viva, in research
1 June 2011, Memtable again, in devel
19 May 2011, Memtables, in devel
19 May 2011, Namespace problems, in devel
13 April 2011, PhD examination, in research
22 March 2011, How much memory could an mmap() map..., in devel
17 March 2011, Everything is a somehow-interpreted file, in research
16 March 2011, Config filesystems, not config files, in research
14 March 2011, Writing a Part II dissertation, in teaching
9 March 2011, Program specialization (is not just partial evaluation), in research
9 March 2011, Greek talk, in research
3 March 2011, The end-to-end razor, in research
28 February 2011, Why I am not (yet) a functional programming enthusiast -- part 1, in research
22 February 2011, Explaining covariance and contravariance by data flow, in teaching
14 November 2010, Completeness, in research
2 June 2010, Making a SPLASH, in research
21 April 2010, Multi-core madness, in research
19 April 2010, Separating computation from storage, in research
2 April 2010, Where the time goes, in meta
19 February 2010, C++ Gotme number 4: constant surprise, in devel
1 February 2010, Smart pointers: smart pointers (C++ Gotme number 3), in devel
12 January 2010, Thinking time, in research
23 November 2009, Back in the USSR, in research
7 November 2009, OOPSLA 2009: the bits that stood out, in research
7 November 2009, Teaching despondency, in teaching
14 October 2009, C++ Gotme number 2: templates, typename and specialization syntax, in devel
6 October 2009, Management bonus, in research
29 September 2009, Shell Gotme number 1 -- the Heisenbergian process trees, in devel
29 September 2009, Standalone ksmserver, part 2: getting it right, in devel
18 September 2009, Python, threading and the madness of language implementors, in devel
15 September 2009, clone() and the unusual process dynamics, in devel
22 August 2009, C++ Gotme number 1: operator visibility, in devel
17 August 2009, Ruby fails, in devel
28 May 2009, ICSE day 3, and subsequent talks, in research
22 May 2009, ICSE days one and two: a story of two thirds, in research
2 May 2009, Doing the mathsssss: supervisions, in teaching
7 April 2009, The numbers game, in research
5 April 2009, Algebraic data types and typecasing, in research
13 March 2009, Parser generators again---a rant, in research
13 March 2009, ANTLR recipes, in devel
27 February 2009, Standalone ksmserver, part 1, in devel
27 February 2009, Lab lunch, in research
25 February 2009, Hackers, programmers, painters and software engineers, in research
19 February 2009, Initialization order, in devel
23 January 2009, There's something about CS, in teaching
23 January 2009, Library path strangenesses, in devel
1 October 2008, Writing a J.UCS paper in LaTeX, in publishing
5 September 2008, One True Language, in research
18 August 2008, This Is Cambridge, in teaching
11 August 2008, Hacking versus programming, in research
24 July 2008, More rambles of the form “what does X mean?”, in research
1 July 2008, Blog the second, in all
7 April 2008, Why static state shouldn't be a bad thing, in research
6 June 2007, What kind of framework is that?, in research
7 February 2007, A response to Lampson's essay on software components, in research
19 January 2007, The basic features of object-oriented programming, in research
2 October 2006, Some thoughts and tips about Part II Projects, in teaching
19 July 2006, Thoughts on writing supervision exercises, in teaching

Content updated at Tue 26 May 18:06:00 BST 2015.
validate this page