Tag Archives: Domain Specific Languages

Global Systems Science in the FET draft work programme

The Future and Emerging Technologies (FET) draft work programme (as part of Horizon 2020) is now published and it contains the almost final version of the calls to be announced officially 2013-12-11. Global Systems Science is there under “FETPROACTIVE1” with a prel. budget of 10M EUR and an application deadline of 2014-04-01.

Continue reading Global Systems Science in the FET draft work programme

Global Systems Science meets Programming Languages and Systems

Martin Elsman from HIPERFIT (@DIKU.dk) will present GSS meets Programming Languages and Systems in the workshop on GSS Languages, 2013-06-11.
Abstract In this talk, we demonstrate how functional programming and domain specific languages, in particular, can be useful for effectively deriving performance efficient programs and systems. As an example, we outline a system for specifying financial contracts (used in practice by the financial industry) and demonstrate the effect of applying programming language technology to derive tools for pricing contracts efficiently on modern parallel hardware. We argue that research in managing and querying big data and efficiently performing big computations (simulations), as for instance carried out by the HIPERFIT research center, is a central ingredient of the development of a Global Systems Science.

Welcome,
Patrik Jansson

Languages for Policy Formulation and Enforcement

As part of the GSS “Languages” workshop, Piero Bonatti from University of Naples “Federico II” will talk about Languages for Policy Formulation and Enforcement.

Abstract Policies govern and constrain a system’s behavior, and as such specify mappings from complex situation descriptions to decisions (or at least sets of options to support human decision making). The perfect languages for expressing such mappings should enjoy a number of features, including: clarity and conciseness, explainability, formal verifiability, and the ability of adapting to an enormous number of possible event combinations. The same requirements arise in the restricted domain of security policies. In this talk, the experience gathered in this field will be reported with the purpose of identifying the most effective languages for policy formulation.

Welcome!
Patrik Jansson

PS. The rest of the workshop programme.

CFP: Functional High-Performance Computing (FHPC 2013)

I just want to “advertise” the Functional High-Performance Computing workshop which this year has “Large-Scale Simulation” as their theme which I think fits very well with GSS. Half of the organizers (Fritz Henglein and Jost Berthold) are at the HIPERFIT research center in Denmark (HIPERFIT: research in tailor-made expressive programming languages, frameworks, tools and technologies for financial modeling, and effective use of modern parallel hardware without compromising correctness, transparency or portability.)

http://hiperfit.dk/fhpc13.html

Kind regards,

Patrik Jansson

 

 

The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level) programming
technology in application domains where large-scale computations arise
naturally and high performance is essential. Such computations would
typically — but not necessarily — involve execution on highly parallel
systems ranging from multi-core multi-processor systems to graphics
accelerators (GPGPUs), reconfigurable hardware (FPGAs), large-scale
compute clusters or any combination thereof. It is becoming apparent
that radically new and well founded methodologies for programming such
systems are required to address their inherent complexity and to
reconcile execution performance with programming productivity.

 

GSS Languages workshop

As part of the GSS conference in June, I’m chairing a workshop on “Formal Languages and Integrated Problem Solving procedures in GSS”. It is one of five parallel workshops on “Knowledge Technologies for GSS” on Tuesday 2013-06-11: 11.00 – 13.00. I’ve created a wiki-page with some more details about the workshop:

http://wiki.portal.chalmers.se/cse/pmwiki.php/GSDP/GSSLanguages

So far it contains the text below, but it will be completed within a few days.

Welcome,

Patrik Jansson

—————

Global Systems Science (GSS) is about developing systems, theories, languages and tools for computer-aided policy making with potentially global implications. The focus of this workshop is the interaction between core computer science, software engineering and GSS. Topics covered include

  • Languages for policy formulation and enforcement
  • Software as a key to productivity and innovation in industry and academia
  • Domain Specific Languages for Financial IT

We will also touch upon

  • Dependable modelling
  • Verification and Validation of Simulation Models

——–

Speaker: Piero Bonatti

Title: Languages for policy formulation and enforcement

Abstract: Policies govern and constrain a system’s behavior, and as such specify mappings from complex situation descriptions to decisions (or at least sets of options to support human decision making). The perfect languages for expressing such mappings should enjoy a number of features, including: clarity and conciseness, explainability, formal verifiability, and the ability of adapting to an enormous number of possible event combinations. The same requirements arise in the restricted domain of security policies. In this talk, the experience gathered in this field will be reported with the purpose of identifying the most effective languages for policy formulation.

—-
Speaker: Jaana Nyfjord, Director Swedsoft, SICS, Sweden

Title: TBD

—-
Speaker: Martin Elsman, HIPERFIT, DIKU, Denmark

Title: TBD