Welcome to thelas.dk, my name is Lasse Nielsen and this is my page.
I am a computer scientist with interests in programming languages, type systems, regular expressions, the pi-calculus and free- and open-source software.
To satisfy my forementioned interests, I develop a line of hobby software projects, and the point of this site is to share it with all who may be interested.
First stable release of HAPI is now available. apims version 3.0.0 adding compilation to its capabilities has been released. CIAA'13 accepted Fritz Hengleins, Niels Bjørn Bugge Grathwohls, Ulrik Rasmussens and my paper on Two-Pass Greedy Regular Expression Parsing. FHIES'12 accepted Anders Starcke Henriksens, Thomas Hildebrands, Nobuko Yoshidas, Fritz Hengleins and my paper on Trustworthy Pervasive Healthcare Services via Multiparty Session Types. I have moved my site to my webfaction.com hosting. Thank you Coniuro for hosting my site free of charge until now! The site was down for about a week - Sorry about that! I have created pdfresumes.com for those of you who would like a stunning CV. I have prioritized my projects Update April 2012. I have defended my dissertation and am proud to announce that I now have a Ph.D. degree in computer science from DIKU. I have created a public account on GitHub. I now have a deb repository for easy installation of my programs using apt-get. LATA'11 accepted Fritz Hengleins and my paper on Bit-coded Regular Expression Parsing. POPL'11 accepted Fritz Hengleins and my paper on Regular Expression Containment. Expres'10 accepted the paper on Symmetric Sum Types describing the foundation of the apims. rcp has been added to the Software Projects page. DynParser has been added to the Software Projects page. Version 1.0.4 of Ucom has been released. Version 1.0.3 of SdlWidgets has been released.
About Me: This is where you can find my public personal information such as contact information. Resume: This is my public resume. My Projects: This is where you can find my shared projects. Software Projects: This section contains my shared programs, languages and libraries. HAPI is a programming language based on the asynchronous pi-calculus (previously apims). apims is an interpretor for the Asynchronous PI-calculus with Multiparty session types and Symmetric sumtypes. DynParser is a tokenizer+parser generator library written in C++ rcp is a library offering multiple efficient regular expression parsing algorithms. SdlWidgets is a library for creating GUI applications. Ucom is a communication program that uses SdlWidgets for the graphics. VCS is an abbreviation of Voice Control System. Reports and Articles: This section contains some of my scientific papers and school reports. The paper Bit-coded Regular Expression Parsing was accepted by ELATA-2011. The paper Regular Expression Containment was accepted by POPL-2011. The paper Symmetric Sum Types was accepted by EXPRESS'10, and describes the theory behind Apims. Work Projects: This section references some of my work projects.
O-la-la-la-oh-la-la... That means thank you in this new language I'm inventing.