Laurence Tratt http://www.tratt.net/laurie/news.rss/ Laurence Tratt en-gb Jan 14, 2012 2012/01/14: Slides of several of my talks are now available http://www.tratt.net/laurie/research/talks/ Oct 02, 2011 2011/10/02: Another new Unix utility: multitime http://www.tratt.net/laurie/src/multitime/ Sep 01, 2011 2011/09/01: I've moved to King's College London Jun 28, 2011 2011/06/28: 'Problems with Software 3: Creating Crises Where There Aren't Any' article added http://www.tratt.net/laurie/tech_articles/articles/creating_crises_where_there_arent_any Jun 19, 2011 2011/06/19: supuner 0.1 released http://www.tratt.net/laurie/src/supuner/ Jun 18, 2011 2011/06/18: extsmail 1.4 released http://www.tratt.net/laurie/src/extsmail/ Jun 07, 2011 2011/06/07: 'Problems with Software 2: Failing to Use the Computing Lever' article added http://www.tratt.net/laurie/tech_articles/articles/failing_to_use_the_computing_lever Jun 01, 2011 2011/06/01: Converge 1.2 released http://convergepl.org/ May 30, 2011 2011/05/30: Two new, small, Unix-only releases: xcage and supuner http://www.tratt.net/laurie/src/ Apr 19, 2011 2011/04/19: 'Problems with Software 1: Confusing Problems Whose Solutions Are Easy to State With Problems Whose Solutions Are Easy to Realise' article added http://www.tratt.net/laurie/tech_articles/articles/problems_whose_solution_are_easy_to_state Apr 15, 2011 2011/04/15: Follow me on twitter @laurencetratt http://twitter.com/laurencetratt Apr 07, 2011 2011/04/07: Slides and video available for 'What Role for Static Analysis in Malware Detection?' talk http://crest.cs.ucl.ac.uk/cow/12/ Apr 04, 2011 2011/04/04: Slides and video available for 'Slicing State Based Models' talk http://crest.cs.ucl.ac.uk/cow/10/ Mar 15, 2011 2011/03/15: 'Parsing: The Solved Problem That Isn't' article added http://www.tratt.net/laurie/tech_articles/articles/parsing_the_solved_problem_that_isnt Dec 30, 2010 2010/12/30: Experimentally, some publications are now available in HTML http://www.tratt.net/laurie/research/publications/