soft-dev.org
Software Development Team: Current members
http://www.soft-dev.org/people
Virginia-Wolf-Building, King's College London, February 2016. Back l-r) Naveneetha Krishnan Vasudevan, Jasper Schulz, Edd Barrett, Sarah Mount. Front l-r) Laurence Tratt, Carl Friedrich Bolz, Lukas Diekmann. Edd is a Research Associate on the Cooler. Project. Edd's previous research was in the field of reverse engineering, program analysis, and abstract interpretation. In his spare time, Edd is an OpenBSD. Carl Friedrich is a Research Associate on the Cooler. Sarah is a Research Associate on the Efficien...
soft-dev.org
Software Development Team: Software
http://www.soft-dev.org/src
The team creates, maintains, and contributes to many open-source projects. If you have questions about any of these, please see the page for each project and contact the main person listed there. An advanced object orientated programming language. A library for accurately determining VM performance. A language composition editor. A composition of Python and Prolog. Robust sending of e-mail to external commands. Timing statistics from multiple executions of a command.
soft-dev.org
Software Development Team: Archived news
http://www.soft-dev.org/news.html
Making an Embedded DBMS JIT-friendly' paper added. Fine-grained Language Composition: A Case Study' paper added. Virtual Machines Summer School videos now available. Virtual Machine Warmup Blows Hot and Cold' draft added. Best Practices in Software Benchmarking 2016 (2016-04-20) announced. Virtual Machines Summer School 2016 (2016-05-31 until 2016-06-03) announced. Upcoming seminar from Greg Wilson on 2015-11-17. Approaches to Interpreter Composition' paper added. ICOOOLPS 2014 CFP announced. General Pur...
martinfowler.com
Oslo
http://martinfowler.com/bliki/Oslo.html
Oslo is a project at Microsoft, of which various things have been heard but with little details until this week's PDC conference. What we have known is that it has something to do with ModelDrivenSoftwareDevelopment. A couple of weeks ago I got an early peek behind the curtain as I, and my language-geek colleague Rebecca Parsons, went through a preview of the PDC coming-out talks with Don Box. Gio Della-Libera and Vijaye Raji. So you may find the terminology a little dense. Oslo has three main components:.
tratt.net
Laurence Tratt: How can C Programs be so Reliable?
http://tratt.net/laurie/tech_articles/articles/how_can_c_programs_be_so_reliable
How can C Programs be so Reliable? Discounting a couple of tiny C modules that I created largely by blindly cutting and pasting from other places, the first C program I wrote was the Converge. D chunks of memory, looking for pointers. In all modern architectures, pointers have to live on word-aligned boundaries. However,. Process on a remote machine via. While this solves several problems (e.g. blacklisting), it has the problem that on many networks (particularly wireless networks) a surprising n...The f...
sealedsun.ch
SealedSun.ch » Meta Programming in Prexonite Script?
https://sealedsun.ch/press/2009/03/meta-programming-in-prexonite-script
Meta Programming in Prexonite Script? Posted on March 3rd, 2009. The idea of implementing a macro system in Prexonite Script was inspired by reading an article on lambda-the-ultimate.org. I realized that with a powerful API like that of the Prexonite compiler, it might be possible to implement similar features. The basic idea would be to have a new kind of function, the. A further extension of this mechanism would be a feedback interface for the declaration of. Apart from the invocation of. Var node = (&...
sealedsun.ch
SealedSun.ch » Meta Programming in Prexonite Script?
https://sealedsun.ch/press/archive/2009/meta-programming-in-prexonite-script
Meta Programming in Prexonite Script? Posted on March 3rd, 2009. The idea of implementing a macro system in Prexonite Script was inspired by reading an article on lambda-the-ultimate.org. I realized that with a powerful API like that of the Prexonite compiler, it might be possible to implement similar features. The basic idea would be to have a new kind of function, the. A further extension of this mechanism would be a feedback interface for the declaration of. Apart from the invocation of. Var node = (&...
se-radio.net
compilers : Software Engineering Radio
http://www.se-radio.net/tag/compilers
Transcript SE-Radio Episode 237: Go Behind the Scenes and Meet the Team. Episode 204: Anil Madhavapeddy on the Mirage Cloud Operating System and the OCaml Language. On May 30, 2014. Bull; 4 Comments. Continue Reading ». Episode 202: Andrew Gerrand on Go. On March 14, 2014. Bull; 1 Comment. Continue Reading ». Episode 61: Internals of GCC. On July 6, 2007. Bull; 5 Comments. This show takes a behind-the-scenes look at compilers and their inner workings, using the Gnu compiler collection (GCC) as an example...
sosym.dcs.kcl.ac.uk
SoSyM
http://sosym.dcs.kcl.ac.uk/projects/mt
Put simply, model transformations are programs which mutate one model into another. The SoSyM team is highly active in this exciting research area which is widely considered to be key to the future of Model Driven Development (MDD). The team is currently investigating various approaches to model transformations. We are tackling two distinct, but complementary aspects of model transformations:. The development of mechanisms to allow the creation of large scale, efficient and practical model transformations.
sosym.dcs.kcl.ac.uk
SoSyM
http://sosym.dcs.kcl.ac.uk/software
As part of its research the SoSyM team regularly generates software artifacts. Unsurprisingly many of these are very much 'of the moment', but some have evolved, or are evolving into, substantial pieces of software useful to people outside the team. Converge is a dynamic object orientated programming language with compile-time meta-programming facilities, designed and implemented by Laurence Tratt. It has its own website http:/ convergepl.org/. Site designed and maintained by Laurence Tratt.
