(RAW) FP work talks
Starting 2011-09-01 the FP group has a "work meeting" slot on
- Thursdays from 10-12 in room 8103 (the new room next to the lunch room) booked from 2011-09-08 until 2013-01-01.
- Special case: 2012-08-30 we use the EDIT 6128 room instead.
The idea is for researchers interested in FP to get together and present + work on work in progress. The main theme should be related to the RAWFP project.
Topic wish-list:
- Automotive area collaboration, testing (Mary asks Johan Karlsson)
- Push-arrays / Obsidian-hacking (Koen, Joel)
- Feldspar / syntactic: feedback (Meng Wang, Shayan)
Some notes from theses meetings are available in the ST division git repository (which also contains about 20 other projects) in gitroot/RAWFP/Notes/
.
2012 meetings
- 2012-06-07
- Thu 10.00 in 8103 (by the lunch-room)
- DSL framework track: JPB wrote: "We should submit comments to Emil by Thursday June 7th latest. Comments will be used to improve the camera-ready version, and as food for thought, seeding the "DSL Framework track". We have already discussed some ideas informally, but we'll have a formal meeting June 7th."
- 2012-04-26
- Thu 13.15: room 5128
- 2012-04-19
- Thu 13.15: EDIT-room
- 2012-04-12
- Thu 13.15: room 5128
- 2012-04-05
- Thu 13.15: EDIT-room
- 2012-03-29
- Thu 13.15: room 5128
- 2012-03-22
- Thu 13.15: room 5128
- 2012-03-15
- Thu 13.15 in the EDIT-room: This week, the RAWFP meeting will include some planning of the multi-project grant proposal writing.
- 2012-03-08
- Thu: Patrik wrote: Today we will spend 10.00-10.30 on a short round of current activity reports (also to help Johan Jeuring [1] get updated on what the group is doing). For the rest of the RAWFP meeting I'd like to start working with Johan (and with JPB and all who want to join) on Algebra of Programming and associative trees (for correctness and parallell implementation of algorithms in different domains).
[1] http://www.staff.science.uu.nl/~jeuri101/homepage/ "From March 1 until August I am on sabbatical at Chalmers University of Technology, visiting Patrik Jansson."
FYI: In the afternoon (from 14.15 in the EDIT-room) there will be a "VR-application-planning" meeting mainly for those involved in writing an application for the early April deadline. In addition to individual grant applications (mainly for funding PhD students) we (most likely with John as PI) should also apply for a continuation of the multi-project-grant FunC [2] ending this year (funding Alejandro, Ann, Jonas). I have called for that meeting (in a separate mail) but I will not "pull at" that process.
Welcome!
Patrik
[2] http://wiki.portal.chalmers.se/cse/pmwiki.php/FunC/FunC
- 2012-03-02
- Fri
- 2012-02-24
- Fri: (Mary & John away)
- 2012-02-17
- Fri: Second Feldspar hacking session (first was 2011-12-15). Org. by Emil and Anders. Felspar hacking instructions (PJ away, John perhaps away?)
- 2012-02-10
- Fri (PJ away)
- 2012-02-03
- Fri (note also that the Thursday is the RAWFP Ass.Prof. interview day)
- 2012-01-27
- Fri (Mary & John away)
- 2012-01-20
- Fri
- 2012-01-12
- Thu: Decided on a temporary schedule change from 2012-01-19 until 2012-03-02: we meet on Fridays 10-12
These are the affected dates
- Thu: 2012-01-19 -> Fri: 2012-01-20
- Thu: 2012-01-26 -> Fri: 2012-01-27
- Thu: 2012-02-02 -> Fri: 2012-02-03 (note also that the Thursday is the RAWFP Ass.Prof. interview day)
- Thu: 2012-02-09 -> Fri: 2012-02-10 (PJ away)
- Thu: 2012-02-16 -> Fri: 2012-02-17 (PJ away)
- Thu: 2012-02-23 -> Fri: 2012-02-24
- Thu: 2012-03-01 -> Fri: 2012-03-02
2011 meetings
- 2011-12-15
- Feldspar hacking session - bring your laptops!
Instructions - 2011-12-08
- Erik Ström (DSP and Communications algorithm designer from S2): Discussion of his research needs related to analysing cost of algorithms. Related work: the Open Source IT++ library
- 2011-12-01
- Ongoing work of Meng, Shayan, Joel, Moa, Mihał, Koen, Patrik.
- 2011-11-24
- 2011-11-17
- Koen: Developing a hardware model checker: Liveness checking, and QuickCheck-ing the model checker.
- 2011-11-10
- Johan Nordlander: On the real-time and concurrency context of functional software.
- 2011-11-03
- Michał Pałka: Testing GHC using random simply-typed lambda term generator
- 2011-10-27
- Jonas Duregård: Partitions, enumeration and random testing.
- 2011-10-20
- Feldspar status update: Anders Persson
cabal update cabal install feldspar-language cabal install feldspar-compiler cabal install syntactic
- 2011-10-13
- Automotive applications: Jonn Lantz from Volvo Cars
- 2011-10-06
- 2011-09-29
- 2011-09-22
- 2011-09-15
- 2011-09-08
- 2011-09-01
- (exception: in the EDIT room) Koen Claessen will talk about Contracts in Haskell
Related links:
- Xu, Peyton Jones, Claessen: Static contract checking for Haskell
- Hinze, Jeuring, Löh: Typed contracts for functional programming (2006)
- Code: On github