email updates:

Archived news

2023-09-18:Blog: How Hard is it to Adapt a Memory Allocator to CHERI?
2023-08-23:Blog: "Programming" and "Programmers" Mean Different Things to Different People
2023-08-13:Blog: pizauth: First Stable Release
2023-08-13:pizauth 1.0.0 released
2023-07-18:Blog: The Need to Explain
2023-07-05:Blog: Two Stories for "What is CHERI?"
2023-05-29:pizauth 0.3.0 released
2023-05-16:Blog: My Interview with Eelco Visser on Parsing
2023-05-15:Publication: 'Picking a CHERI Allocator: Security and Performance Considerations' paper added
2023-05-02:Blog: Why Split Lexing and Parsing Into Two Separate Phases?
2023-04-11:Blog: Displaying My Washing Machine's Remaining Time With curl, jq, and pizauth
2023-04-03:Blog: pizauth: dump and restore
2023-03-23:Blog: How Big Should a Programming Language Be?
2023-03-22:extsmail 2.8 released
2023-03-16:Blog: Rust's Two Kinds of 'Assert' Make for Better Code
2023-03-11:pizauth 0.2.1 released
2023-03-08:snare 0.4.8 released
2023-03-05:Blog: Scheduling my Electricity Usage
2023-02-16:Blog: Why Aren't Programming Language Specifications Comprehensive?
2023-02-06:snare 0.4.7 released
2023-01-29:try_repeat 0.2.0 released
2023-01-26:Blog: Distinguishing an Interpreter from a Compiler
2023-01-25:Blog: try_repeat released
2023-01-17:Blog: Why We Need to Know LR and Recursive Descent Parsing Techniques
2023-01-10:Blog: Compiled and Interpreted Languages: Two Ways of Saying Tomato
2023-01-09:Blog: Software Security Research Position
2023-01-03:hk 0.3.0 released
2022-12-15:Blog: How Might Generative AI Change Programming?
2022-12-14:Blog: pizauth: differentiating transient from permanent errors
2022-12-14:pizauth 0.2.0 released
2022-11-30:Blog: November Links
2022-11-15:Blog: More Evidence for Problems in VM Warmup
2022-11-10:Blog: What is a Research Summer School?
2022-11-01:Blog: October Links
2022-10-20:Blog: pizauth: another alpha release
2022-10-20:pizauth 0.1.1 released
2022-10-19:extsmail 2.7 released
2022-10-03:Blog: UML: My Part in its Downfall
2022-10-01:Blog: September Links
2022-09-29:Blog: pizauth, an OAuth2 token requester daemon, in alpha
2022-09-29:pizauth 0.1.0 released
2022-08-31:Blog: A Week of Bug Reporting
2022-08-30:Blog: August Links
2022-08-20:hk 0.2.0 released
2022-08-09:Blog: Making a Video of a Single Window
2022-08-08:Blog: Two researcher jobs in soft-dev
2022-08-04:extsmail 2.6 released
2022-08-01:Blog: Another Reorganisation
2022-07-31:Blog: July Links
2022-07-25:Blog: What's the Most Portable Way to Include Binary Blobs in an Executable?
2022-07-19:Blog: CHERITech and PLISS
2022-07-13:Blog: How I Clean my Glasses
2022-06-30:Blog: What Metric to Use When Benchmarking?
2022-06-15:Blog: Chance, Luck, and Risk
2022-06-08:Blog: What Makes a Good Research Proposal?
2022-05-31:Blog: May Links
2022-05-26:Blog: Multiplicity Choices Are Hard to Model and Change
2022-05-17:Blog: Using a "Proper" Camera as a Webcam
2022-05-10:Blog: Programming Style Influences
2022-05-04:Blog: snare: a Minimalistic GitHub Webhooks Runner
2022-04-30:Blog: April Links
2022-04-28:Blog: Where do Research Problems Come From?
2022-04-20:Blog: Practising Programming
2022-04-13:Blog: Making Rust a Better Fit for CHERI and Other Platforms
2022-04-11:Blog: When is a Blog a Blog?
2022-02-04:Research Associate in Programming Languages / Virtual Machines job available in soft-dev
2021-12-20:cmdseq 0.2 released
2021-12-20:hk 0.1.0 released
2021-08-08:extsmail 2.5 released
2021-06-22:Essay: Static Integer Types
2021-03-23:Essay: Automatic Video Editing
2021-03-01:Talk: Virtual Machine Warmup Blows Hot and Cold
2021-01-19:Essay: The Evolution of a Research Paper
2020-12-03:snare 0.4.1 released
2020-11-17:Essay: Automatic Syntax Error Recovery
2020-10-07:Essay: Stick or Twist?
2020-09-15:Essay: Which Parsing Approach?
2020-07-06:Publication: Don't Panic! Better, Fewer, Syntax Errors for LR Parsers
2020-05-13:snare 0.4.0 released
2020-05-06:Essay: Alternative Sources of Advice
2020-03-02:snare 0.2.0 released
2020-02-17:supuner 0.2 released
2020-02-13:snare 0.1.0 released
2020-01-31:extsmail 2.4 released
2019-10-14:extsmail 2.3 released
2019-09-23:Publication: 'Default Disambiguation for Online Parsers' paper added
2019-08-15:Essay: Minimum Times Tend to Mislead When Benchmarking
2019-05-26:Software: rerun_except 0.1.0 released
2019-05-04:Software: lang_tester 0.1.0 released
2019-02-12:Essay: A Quick Look at Trait Objects in Rust
2018-12-13:Software: grmtools 0.1.0 released
2018-11-30:extsmail 2.2 released
2018-09-19:Essay: Why Aren’t More Users More Happy With Our VMs? Part 2
2018-09-05:Essay: Why Aren’t More Users More Happy With Our VMs? Part 1
2018-06-03:multitime 1.4 released
2018-01-10:Essay: What I’ve Learnt So Far About Writing Research Papers
2017-11-25:extsmail 2.1 released
2017-10-19:Event: S-REPLS 8 at King's announced
2017-10-11:Publication: Virtual Machine Warmup Blows Hot and Cold
2017-06-22:Essay: What Challenges and Trade-Offs do Optimising Compilers Face?
2017-05-01:Publication: Modelling Homogeneous Generative Meta-programming
2016-09-21:Essay: Fine-grained Language Composition
2016-07-07:Publication: Making an Embedded DBMS JIT-friendly
2016-07-07:Publication: Fine-grained Language Composition: A Case Study
2016-07-06:Event: Virtual Machines Summer School videos now available
2016-01-28:Virtual Machines Summer School 2016 (2016-05-31 until 2016-06-03) announced
2016-01-01:cmdseq 0.1 released
2015-08-21:Publication: Approaches to Interpreter Composition
2015-07-28:Essay: Debugging Layers
2015-03-31:Publication: Fine-grained Language Composition
2015-03-06:Publication: Program Logics for Homogeneous Generative Run-Time Meta-Programming
2014-11-12:extsmail 2.0 released
2014-08-20:Publication: Eco: A Language Composition Editor
2014-08-20:Essay: An editor for composed programs
2014-06-20:extsmail 1.9 released
2014-05-29:extsmail 1.8 released
2014-03-12:extsmail 1.7 released
2014-02-25:Converge 2.1 released
2014-02-22:multitime 1.3 released
2014-02-18:packagesbootstrap 1.3 released
2013-12-04:Essay: The bootstrapped compiler and the damage done
2013-09-24:Essay: Relative and absolute levels
2013-09-17:Publication: Unipycation: a case study in cross-language tracing
2013-08-17:Publication: Detecting ambiguity in programming language grammars
2013-07-31:Publication: Storage strategies for collections in dynamically typed languages
2013-06-04:Publication: Parsing Composed Grammars with Language Boxes
2013-04-09:Essay: General Purpose Programming Languages' Speed of Light
2013-03-06:Publication: The Impact of Meta-Tracing on VM Design and Implementation
2013-01-28:Formal announcement of the Software Development Team's formation
2012-12-15:multitime 1.2 released
2012-11-17:extsmail 1.6 released
2012-10-25:Essay: Another Non-Argument in Type Systems
2012-10-23:multitime 1.1 released
2012-10-07:Publication: Search-Based Ambiguity Detection in Context-Free Grammars
2012-09-24:multitime 1.0 released
2012-08-21:Publication: Experimental Assessment of Software Metrics Using Automated Refactoring
2012-08-02:Essay: Server Failover For the Cheap and Forgetful
2012-07-31:Converge 2.0 released
2012-07-13:extsmail 1.5 released
2012-02-08:Essay: Fast Enough VMs in Fast Enough Time
2011-10-02:Software: New Unix utility: multitime
2011-09-01:/laurie/src/multitime/I've moved to King's College London
2011-06-28:Essay: Problems with Software 3: Creating Crises Where There Aren't Any
2011-06-19:Software: supuner 0.1 released
2011-06-18:extsmail 1.4 released
2011-06-07:Essay: Problems with Software 2: Failing to Use the Computing Lever
2011-06-01:Software: Converge 1.2 released
2011-05-30:Software: Two new, small, Unix-only releases: xcage and supuner
2011-04-19:Essay: Problems with Software 1: Confusing Problems Whose Solutions Are Easy to State With Problems Whose Solutions Are Easy to Realise
2011-04-15:Follow me on twitter @laurencetratt
2011-04-07:Talk: What Role for Static Analysis in Malware Detection?
2011-04-04:Talk: Slicing State Based Models
2011-03-15:Essay: Parsing: The Solved Problem That Isn't
2010-10-26:Publication: Direct left-recursive parsing expressing grammars
2010-08-25:Essay: In Praise of the Imperfect
2010-08-18:Publication: Experiences with an Icon-like Expression Evaluation System
2010-05-30:extsmail 1.3 released
2010-04-07:Essay: A Modest Attempt to Help Prevent Unnecessary Static / Dynamic Typing Debates
2010-03-03:/laurie/blog/entries/a_modest_attempt_to_help_prevent_unnecessary_static_dynamic_typing_debatesI've moved to Middlesex University
2010-02-07:Publication: Comparative study of DSL tools
2009-12-16:Essay: A Proposal for Error Handling
2009-09-24:extsmail 1.2 released
2009-09-15:Essay: The Missing Level of Abstraction?
2009-09-08:Converge 1.1 released
2009-08-22:Publication: Language Factories