HIPERFIT

Lunches

HIPERFIT workshop Internal Tuesday lunch meetings are held every second Tuesday 12-13 (odd weeks) according to the schedule below. Please signup in the calendar. For last-minute requests/changes/questions/updates, please contact Martin Elsman (mobile: 26122212; email: mael@di.ku.dk).

Rules

Core HIPERFIT faculty is expected to come regularly. HIPERFIT partners and collaborators are welcome. For partners: please send information to Martin if you plan to attend a meeting.

Each research area manager (for MF, HPS, DSL, and FP) is responsible for making sure the other HIPERFIT research areas are kept up-to-date; in particular, they convey by others or invite others to specific meetings. PhD students are optional.

Standard agenda for internal lunch meetings (odd weeks):

  1. Arrival, lunch, and chit-chat (12:00-12:15)
  2. Status and review of action items (starting 12:15)
  3. Discussion of old and new action items
  4. Decisions
  5. 15-minutes round (what are people working on)
  6. Miscellaneous

Past meeting topics (reverse chronological order):

  • 2015-01-06: Meeting at lunch-time if you can make it - welcome back from vacation.

  • 2014-12-30: Vacation

  • 2014-12-23: Vacation

  • 2014-12-16: Last meeting before vacation. Workshop wrap-up.

  • 2014-12-09: DSL (Fritz)

  • 2014-12-02: HPS (Brian)

  • 2014-11-25: FP (Andrzej)

  • 2014-11-18: Papers, Projects

  • 2014-11-11: MF (Mogens Steffensen gives a presentation about extreme risk scenarios)

  • 2014-11-04: DSL: Vivek Shah gives a presentation based on his VLDB’14 paper “Transactional Partitioning: A New Abstraction for Main-Memory Databases”. We also welcome Danil Annenkov, a new HIPERFIT PhD student.

  • 2014-10-28: HPS: Mads gives a talk about fusion challenges in Bohrium.

  • 2014-10-21: FP: Troels Henriksen gives a presentation on Size-Slicing.

  • 2014-10-14: Fall Break - No meeting

  • 2014-10-07: Papers, Projects. We discuss the progress of the different HIPERFIT projects.

  • 2014-09-30: DSL (Fritz)

  • 2014-09-23: MF (Mogens)

  • 2014-09-16: HPS (Brian)

  • 2014-09-09: FP: Frederik Meisner Madsen gives a talk about streaming in the Haskell Accelerate library and an overview of PL research at UNSW.

  • 2014-09-02: Cancelled due to ICFP conference

  • 2014-08-26: Amos Robinson gives a presentation

  • 2014-08-19: Project status

  • 2014-08-12: Welcome back from Vacation. DSL: Martin Dybdal gives his PhD startup seminar.

  • 2014-08-05: Vacation - no meeting

  • 2014-07-29: Vacation - no meeting

  • 2014-07-22: Vacation - no meeting

  • 2014-07-15: Vacation - no meeting

  • 2014-07-08: Vacation - no meeting

  • 2014-07-01: DSL; Ken Friis Larsen on Functional Reactive Programming for finance

  • 2014-06-24: NOTE: UP1, ROOM 3-1-25 FP (Cosmin Oancea: “Bounds Checking: An Instance of Hybrid Analysis”)

  • 2014-06-17: Administration

  • 2014-06-10: Meeting cancelled

  • 2014-06-03: HPS (Troels Blum)

  • 2014-05-27: Kristoffer Rose gives a talk titled HACS - A Formalism for Compiler Development](pdf/hacs-present.pdf)

  • 2014-05-20: MF (Maj-Britt)

  • 2014-05-13: DSL (Ken)

  • 2014-05-06: Paper collaboration projects

  • 2014-04-29: FP (Andrzej)

  • 2014-04-22: MF (Simon E.N.)

  • 2014-04-15: Easter (cancel)

  • 2014-04-08: Prototype (Jost & Martin)

  • 2014-04-01: Paper collaboration projects

  • 2014-03-25: Lunch only

  • 2014-03-18: DSL - (Fritz Henglein on LA and queries, part 2)

  • 2014-03-11: DSL - (Fritz Henglein on LA and queries, part 1)

  • 2014-03-04: HPS - (Simon Lund)

  • 2014-02-25: Discussion about targeting conferences; paper collaboration projects

  • 2014-02-18: FP (Jost: Haskell quant-lib with Andreas)

  • 2014-02-11: Vacation

  • 2014-02-04: MF (Household finance)

  • 2014-01-28: FP (Frederik: streaming)

  • 2014-01-21: HPS (Mads: Bohrium general operations; Martin E not here)

  • 2014-01-14: DSL (Martin: Multiparty Contracts)

  • 2013-12-17: Cancelled

  • 2013-12-10: DSL (Vivek/SimCorp)

  • 2013-12-03: MF (Lykke)

  • 2013-11-26: HPS (Brian/Simon)

  • 2013-11-19: FP (Jost)

  • 2013-11-12: No talk

  • 2013-11-05: No talk

  • 2013-10-29: FP (Martin E)

  • 2013-10-22: MF

  • 2013-10-15: DSL

  • 2013-10-08: HPS

  • 2013-10-01: Common: ICFP report

  • 2013-09-24: No meeting (ICFP)

  • 2013-09-17: FP

  • 2013-09-10: MF (Rolf on topic with Alex Weissensteiner)

  • 2013-09-03: DSL (Fritz on multiset programming)

  • 2013-08-27: No talk (Ken on Bachelor Projects)

  • 2013-08-20: HPS - Weifeng on sparse matrix representations in Bohrium

  • 2013-08-13: PhD Workshop - lunch meeting cancelled

  • 2013-08-06: No talk

  • 2013-07-30: Vacation

  • 2013-07-23: Vacation

  • 2013-07-16: Vacation

  • 2013-07-09: Vacation

  • 2013-07-02: Vacation

  • 2013-06-25: FP (Martin Elsman)

  • 2013-06-18: No talk

  • 2013-06-11: No talk

  • 2013-06-04: FP (Cosmin)

  • 2013-05-28: DSL

  • 2013-05-21: HPS

  • 2013-05-14: FP

  • 2013-05-07: DSL (Marcos, Vivek)

  • 2013-04-30: MF

  • 2013-04-23: DSL (Martin Dybdal)

  • 2013-04-16: Presentation round

  • 2013-04-09: HPS

  • 2013-04-02: No talk

  • 2013-03-26: MF

  • 2013-03-19: FP

  • 2013-03-12: DSL

  • 2013-03-05: HPS (Brian)

  • 2013-02-26: MF (Jesper on american option pricing)

  • 2013-02-19: FP (Cosmin, Jost on L-0)

  • 2013-02-12: DSL (Marcos)

  • 2013-02-05: MF (Rolf)

  • 2013-01-29: DSL (Ken on FinE parallelization MSc thesis project)

  • 2013-01-22: MF (Rolf, but semi-cancelled)

  • 2013-01-15: HPS (Kenneth Skovhede)

  • 2013-01-08: FP (Frederik)

  • 2012-12-18: No talk

  • 2012-12-11: DSL (Christian!)

  • 2012-12-04: MF (Rolf)

  • 2012-11-27: HPS (Brian)