Research Center for Functional High-Performance Computing for - - PowerPoint PPT Presentation

research center for functional high performance computing
SMART_READER_LITE
LIVE PREVIEW

Research Center for Functional High-Performance Computing for - - PowerPoint PPT Presentation

Research Center for Functional High-Performance Computing for Financial Information Technology WG 2.8 meeting Marble Falls, 2011-03-10 1 HIPERFIT Research Center for Functional High-Performance Computing for Financial Information Technology


slide-1
SLIDE 1

Research Center for Functional High-Performance Computing for Financial Information Technology

WG 2.8 meeting Marble Falls, 2011-03-10

1

slide-2
SLIDE 2

HIPERFIT

Research Center for Functional High-Performance Computing for Financial Information Technology

WG 2.8 meeting Marble Falls, 2011-03-10

1

slide-3
SLIDE 3

Research areas

MF: Computational and mathematical models for pricing and risk DSL: Domain-specific languages for financial modeling and specification FP: Functional programming for transparency (correctness, reasoning) and semantic parallelism HPS: High-performance systems for massively-parallel hardware

2

slide-4
SLIDE 4

Central hypothesis: Less is more

Achieve transparency (high-level specification) and high performance (parallel architectures) and high productivity simultaneously by doing “less”: Use high-level declarative functional programming and declarative DSLs for expressing financial models and information Skip “indirection” of going through imperative software architecture layers

3

slide-5
SLIDE 5

HIPERFIT: Vitals

Period: 1.1.2011-31.12.2016 Partners: DIKU, IMF, Danske Bank, Jyske Bank, Lexifi, Nordea Bank Danmark, Nykredit, SimCorp Funding: Program Committee for Strategic Growth Technologies under the Danish Strategic Research Council, Program (31.4 mio. kr.) Partners (12 mio. kr., in kind)

4

slide-6
SLIDE 6

Cooperating partners

FM: D-CAF, Goethe-U. Frankfurt (Kraft), Imperial College (Biffis) Programming language technology: UCLA (Palsberg), CMU (Harper), Chalmers (Sheeran), U. Chicago (Reppy), MSR (Singh, Syme), UNSW (Chakravarty) HPS: U. Oxford (Giles), Chinese Academy of Science (Chen) Database systems: U. Tübingen (Grust)

5

slide-7
SLIDE 7

Positions

1 center manager: Assistant or associate professor position, 50% research, 50% center management (6 years) 3 postdoc positions (2 years each) 6 Ph.D. stipends (3 years each)

6

slide-8
SLIDE 8

Positions

1 center manager: Assistant or associate professor position, 50% research, 50% center management (6 years) 3 postdoc positions (2 years each) 6 Ph.D. stipends (3 years each)

6

slide-9
SLIDE 9

Positions

1 center manager: Assistant or associate professor position, 50% research, 50% center management (6 years) 3 postdoc positions (2 years each) 6 Ph.D. stipends (3 years each)

50-75% FP

6

slide-10
SLIDE 10

Planned activities (2012)

April-June: MS/Ph.D. course on Parallel Functional Programming (at DIKU) June: ICFP Programming Contest (well...maybe) June-August: HIPERFIT Summer of Code June-August: Summer visitor program with workshops, mini- courses, conferences; e.g. NordForsk summer school in PL issues, conference on stopping... August or September: ICFP 2012 (in CPH)

7

slide-11
SLIDE 11

More information

URL hiperfit.dk (or hiperf.it)

8

slide-12
SLIDE 12

Questions?

9