FP /
PublicationPlanning
Publication planning
On our RAWFP meeting 2013-01-10 Mary suggested (and the rest of us agreed) that we should organize a "publication planning" meeting. It has now been scheduled to 2013-01-24 at 14.15 in EDIT-6128.
Publications "in the pipeline":
| Status + date | Title or topic | Authors | Venue (if decided) |
|---|---|---|---|
| Submitted 2012-11-30 | Dependently-typed programming in scientific computing | Cezar Ionescu and Patrik Jansson | IFL 2012 post proceedings. |
| Submitted 2013-01-10 | A Sustainable Energy Future through Education and Research | Patrik Jansson and Tünde Fülöp | G-20 Youth Forum, 2013. |
| ongoing 2013-01-10 | about HipSpec | Koen with Moa, Nick, Dan | |
| ongoing 2013-01-10 | about Random number generation | Koen with Michał | |
| ongoing 2013-01-10 | about parallell parsing | Koen with JPB | |
| ongoing 2013-01-10 | extended version of Testing-Feat | Jonas, Patrik, Meng | Journal of Functional Programming (prel.) |
| ongoing 2013-01-10 | Project proposal: An Intermediate Representation for Parallel Functional Programming | Mary with many others | MSc thesis project (and more) |
| Submitted 2012-09 | Enhancing Semantic Bidirectionalization via Shape Bidirectionalizer Plug-ins | Meng with Janis Voigtländer and others | JFP. |
| ongoing 2013-01-10 | Bidirectionalizing Polymorphic Functions | Meng with Shayan | |
| ongoing 2013-01-10 | about annotation propagation in Feldspar | Meng with Emil | |
| ongoing 2013-01-11 | respin of phase ordering for VLIW | Nikita, Koen | SAT2013 |
| Submitted 2013-01-14 | Type-Theory in Color | JP,Guilhem | LICS2013 |