HIPERFITTags
- web-site 1
- seminar 8
- flash crash 1
- Dave Cliff 2
- workshops 3
- Nikolaj Bjørner 1
- job 2
- center manager 2
- postdoc position 1
- phd position 3
- Sinan Gabel 1
- Data-Parallel Haskell 1
- Manuel Chakravarty 2
- Nordea 1
- student 1
- vacancy 1
- visit 6
- automated test 1
- SimCorp 1
- Jeroen Weijers 1
- Brian Vinter 2
- vectorisation 1
- NumPy 1
- Ken Friis Larsen 1
- Drunken Sailor 1
- Kevin Hammond 2
- Parallel Haskell 1
- Paraforming 1
- Mogens Høgh Jensen 1
- Cosmin Oancea 2
- Christian Andreetta 1
- Bayesian networks 2
- pricing 3
- math 2
- collaboration 1
- SME 1
- clouds 1
- funding 1
- Bangert research 1
- FinE 1
- David Christiansen 2
- Actulus 2
- Martin Rehr 1
- MiG 2
- workshop 5
- ALOC 1
- Michael Christensen 1
- Kostas Tzoumas 1
- Simon Lund 1
- Big data 1
- Stratosphere 1
- SaC 2
- APL 2
- phd positions 1
- icfp 1
- databases 1
- Stephen Watt 1
- Yanif Ahmad 1
- Bernecky 1
- APEX 1
- Velocytech 1
- FPGA 1
- Andreas Magnussen 1
- CFIR 1
- talk 30
- Get FIT 1
- Rolf Poulsen 2
- Bohrium 2
- GSS 1
- fusion 2
- Troels Henriksen 4
- Marco Eilers 1
- Anders Logg 1
- Amos Robinson 1
- GetFIT 1
- Household finance 1
- Grigori Fursin 1
- Simon A F Lund 1
- phd defence 10
- TroelsBlum 1
- Omri Ross 1
- Brad Champerlain 1
- Chapel 1
- Simon Ellersgaard Nielsen 1
- Lykke Rasmussen 1
- Gabriele Keller 1
- Accelerate 1
- André Brinkmann 1
- Martin A. Jönsson 1
- John Reppy 1
- Nessie 1
- Frederik Meisner Madsen 1
- Blockchain 1
- Maj-Britt Nordfang 1
- Martin Dybdal 1
- Futhark 1
- summit 1
- Danil Annenkov 3
- Robert Schenck 1
web-site
seminar
- Talk on Compiling APL to Accelerate
- Talks on Streaming in Data Parallelism
- Talk on The Fundamental Theorem of Derivative Trading
- HIPERFIT Seminar on July 2, 2013
- February Seminar
- September Seminar
- Seminar today canceled
- Events And Positions
flash crash
Dave Cliff
workshops
- 2nd HIPERFIT workshop December 1st and 2nd
- November Seminar and 2nd workshop
- 1st HIPERFIT workshop next week
Nikolaj Bjørner
job
center manager
postdoc position
phd position
- New HIPERFIT PhD Scholarship
- Two New HIPERFIT PhD Scholarships
- Center Manager Position and PhD and Postdoc Positions
Sinan Gabel
Data-Parallel Haskell
Manuel Chakravarty
Nordea
student
vacancy
visit
- Talk by Grigori Fursin on Collaborative and Reproducible Computer Engineering
- Talk by Amos Robinson on Fusion
- Kevin Hammond Visiting
- Jeroen Weijers visiting September 5 7
- Dave Cliff
- Manuel Chakravarty
automated test
SimCorp
Jeroen Weijers
Brian Vinter
vectorisation
NumPy
Ken Friis Larsen
Drunken Sailor
Kevin Hammond
Parallel Haskell
Paraforming
Mogens Høgh Jensen
Cosmin Oancea
Christian Andreetta
Bayesian networks
pricing
- Talks by Rolf Poulsen and Martin Elsman at GetF'IT
- HIPERFIT seminar in February postponed
- Happy New Year and come to our seminar
math
collaboration
SME
clouds
funding
Bangert research
FinE
David Christiansen
Actulus
Martin Rehr
MiG
workshop
- HIPERFIT Summit
- HIPERFIT Workshop
- HIPERFIT Workshop
- HIPERFIT Workshop
- April Seminar and Workshop in Chicago
ALOC
Michael Christensen
Kostas Tzoumas
Simon Lund
Big data
Stratosphere
SaC
APL
phd positions
icfp
databases
Stephen Watt
Yanif Ahmad
Bernecky
APEX
Velocytech
FPGA
Andreas Magnussen
CFIR
talk
- ConCert: A Smart Contract Certification Framework in Coq
- PhD Defence: Danil Annenkov
- PhD Defence: Troels Henriksen
- PhD Defence: Martin Dybdal
- PhD Defence: Maj-Britt Nordfang
- PhD Defence: Frederik Meisner Madsen
- Talk on Nessie by John Reppy
- PhD Defence: Martin A. Jönsson
- Talk on File System Scalability by André Brinkmann
- PhD Status Seminar for Troels Henriksen
- Accelerate
- PhD Defence: Lykke Rasmussen
- PhD Defence: Simon Ellersgaard Nielsen
- Chapel: Parallel Programmability from Desktops to Supercomputers
- Automated Loan Credit Rating
- Status of the GPU-targeting Futhark compiler
- PhD Defence: Troels Blum
- PhD Defence: Simon A F Lund
- The HIPERmark Benchmark Toolkit
- Analyzing the Swiss National Bank's euro exchange rate policy: A latent likelihood approach
- Talk on Optimal Hedge Tracking Portfolios in a Limit Order Book
- Talk on Functional Array Streams
- HIPERFIT Bachelor Projects
- Talk on Compiling APL to Accelerate
- Talks on Streaming in Data Parallelism
- Talk on The Fundamental Theorem of Derivative Trading
- Talk by Grigori Fursin on Collaborative and Reproducible Computer Engineering
- Talks by Rolf Poulsen and Martin Elsman at GetF'IT
- Talk by Amos Robinson on Fusion
- HIPERFIT Talks at Events for the Danish Quant Network and CFIRs Company Forum
Get FIT
Rolf Poulsen
- Analyzing the Swiss National Bank's euro exchange rate policy: A latent likelihood approach
- HIPERFIT Get FIT Event
Bohrium
GSS
fusion
Troels Henriksen
- PhD Defence: Troels Henriksen
- PhD Status Seminar for Troels Henriksen
- Status of the GPU-targeting Futhark compiler
- HIPERFIT Seminar on July 2, 2013
Marco Eilers
Anders Logg
Amos Robinson
GetFIT
Household finance
Grigori Fursin
Simon A F Lund
phd defence
- PhD Defence: Danil Annenkov
- PhD Defence: Troels Henriksen
- PhD Defence: Martin Dybdal
- PhD Defence: Maj-Britt Nordfang
- PhD Defence: Frederik Meisner Madsen
- PhD Defence: Martin A. Jönsson
- PhD Defence: Lykke Rasmussen
- PhD Defence: Simon Ellersgaard Nielsen
- PhD Defence: Troels Blum
- PhD Defence: Simon A F Lund
TroelsBlum
Omri Ross
Brad Champerlain
Chapel
Simon Ellersgaard Nielsen
Lykke Rasmussen
Gabriele Keller
Accelerate
André Brinkmann
Martin A. Jönsson
John Reppy
Nessie
Frederik Meisner Madsen
Blockchain
Maj-Britt Nordfang
Martin Dybdal
Futhark
summit
Danil Annenkov
- Talk on Extracting Functional Programs from Coq, in Coq by Danil Annenkov
- ConCert: A Smart Contract Certification Framework in Coq
- PhD Defence: Danil Annenkov