Conference program
Free
Thursday, August 29, 2013
In this paper, we will describe a new method for dynamic nursery resizing during the execution of Haskell programs under GHC. Our method is novel in that it relies on the memory profile of the program being run, as recorded in previous runs of the same prog...
Free
Thursday, August 29, 2013
We propose a method called user-defined constraints specifically for shape-generic multi-dimensional array programming. Our pro- posed technique allows programmers to make implicit constraints in the domain and codomain of functions explicit. This method can...
Free
Thursday, August 29, 2013
Data-parallel processing of multi-dimensional arrays is charac- terised by a fundamental trade-off between software engineering principles on the one hand and runtime performance concerns on the other hand. Whereas the former demand code to be written in a...
Free
Thursday, August 29, 2013
Computing dominators is a fundamental problem in the imple- mentation of programming languages. Dominators are used in com- piler optimizations involving loop-invariant computations and code motion [2]. Dominators also play a role in program transformation...
Free
Thursday, August 29, 2013
We propose a method for black box performance modelling of executions of data-parallel operations on shared memory multi- core systems. In particular, we predict runtimes of data-parallel operations from two inputs: a given input characteristics such as th...
Free
Thursday, August 29, 2013
Testing web services requires generating wellformed XML data compliant to a WSDL specification. The knowledge on develop- ing QuickCheck data generators for such data is a barrier to the use of QuickCheck by non-experts. The lack of property-based ap- proac...
Free
Thursday, August 29, 2013
This extended abstract presents how to make weighted type error slices. In standard type error slices, each part of a type error slice looks to be at the same level as far as the source of the type error goes. However, when a type error slice is large, to ...
Free
Thursday, August 29, 2013
Papers on functional language implementations frequently set the goal of achieving performance “comparable to C”, and sometimes report results comparing benchmark results to concrete C imple- mentations of the same problem. A key pair of questions for such...
Free
Thursday, August 29, 2013
Refactoring is a widely used technique in the software develop- ment and maintenance process. However refactorings should pre- serve the original behaviour of the system, developers want to be convinced about that, thus they retest the software after some ...
Free
Wednesday, August 28, 2013
This paper introduces Pluggable Interactive GUI-lets (or Piglets, for short) as a mean for constructing reusable, reactive graphical user interfaces that can be instantiated over different view mod- els and presentation layers. Piglets therefore provide an...
Free
Wednesday, August 28, 2013
In the present paper I briefly summarize the descrip- tions of cyber-physical systems considered for over- viewing general terms, discovering typical approaches, surveying case study types encountered in the literat- ure, making connections with distributed...
Free
Wednesday, August 28, 2013
We report a critical comparative evaluation of two functional pro- filers, ThreadScope and EdenTV, alongside four important impera- tive profilers. The comparison is based on the SICSA Concordance benchmark, covers both shared and distributed-memory parallel...
Free
Wednesday, August 28, 2013
This paper shows how the Erlang skeleton library, Skel, can be used to parallelise the Discrete Haar Wavelet Transform applica- tion. The Discrete Haar Wavelet Transform is a very important wavelet transformation, which is heavily used in image and sig- na...
Free
Tuesday, August 27, 2013
In this tribute to Doaitse Swierstra, we present the first transformation between lazy circular programs a` la Bird and strict cir- cular programs a` la Pettorossi. Circular programs `a la Bird rely on lazy recursive binding: they involve circular unknowns...
Free
Tuesday, August 27, 2013
In today’s society many kinds of work are supported by com- puter systems in some way or another. How and to what extent depends of course on the type of work. Some jobs are almost completely automated leaving the human in the loop only for monitoring and ...
Free
Tuesday, August 27, 2013
Dependently-typed languages allow very expressive types to be used during development, in turn facilitating easier reasoning about the operation of programs written in such languages. Stronger type specifications do however bring with them the disadvantage ...
Free
Tuesday, August 27, 2013
Argumentation theory is an interdisciplinary field studying how conclusions can be reached through logical reasoning in settings where the soundness of arguments might be subjective and argu- ments can be contradictory. There are two main approaches: the st...
Free
Tuesday, August 27, 2013
In previous work, we proposed a new approach to the problem of
implementing compilers in a modular manner, by combining earlier
work on the development of modular interpreters using monad
transformers with the a la carte approach to modular syntax. In this...
Free
Tuesday, August 27, 2013
Most of the programmers who got used writing their codes in im- perative style find it very difficult to switch to a more declarative style. One of the difficulties they often have is that a declarative style of programming in most cases makes it very difficul...
Free
Tuesday, August 27, 2013
Functional languages, although they often enable great developer productivity and ease software maintenance, are commonly ham- pered by smaller communities and fewer industrial-strength players when compared to mainstream languages. To partially overcome t...
Free
Tuesday, August 27, 2013
We present the implementation of Mezzo, a programming language based on the notion of permission that provides strong guarantees about aliasing, ownership and mutable state. The unique features of Mezzo make its implementation challenging, both from a form...
Free
Tuesday, August 27, 2013
In philology and linguistics, the term chrestomathy refers to a collection of sample texts in one language designed to be useful for learning the language by demonstrating some language aspects such as language development or literary style. In programming...
Free
Tuesday, August 27, 2013
It would be highly beneficial if non-programmers could participate in the construction of serious applications. In this article we present aspects of the design of Marama, a visual modern functional pro- gramming language for this purpose. Marama’s main tar...
Free
Tuesday, August 27, 2013
Supercompilation is a global optimization technique which re- moves abstractions from a program. A hardware design can be viewed as a first order program without any abstraction. Hence, in principle, unconstrained supercompilation is able to generate hardwa...
Free
Tuesday, August 27, 2013
Student programmers can struggle to understand how their code is wrong, while expert programmers become frustrated when the safety mechanisms of a language render programming more cum- bersome. Across the spectrum of languages, those with type infer- ence ...
Featured group
New England F# User Group 4 past events |
Group tags
- f# × 33
- clojure × 14
- functional × 14
- haskell × 14
- scala × 11
- erlang × 6
- c# × 4
- .net × 3
- agile × 3
- ocaml × 3
- websharper × 3
- ddd × 2
- exchange × 2
- java × 2
- javascript × 2
- neo4j × 2
- nosql × 2
- scheme × 2
- skillsmatter × 2
- alt.net × 1
- android × 1
- architecture × 1
- async × 1
- bdd exchange × 1
- blazehtml × 1
- cassandra × 1
- clean × 1
- codeken × 1
- coffeescript × 1
- common lisp × 1
- continuous delivery × 1
- finance × 1
- fractureio × 1
- grails × 1
- groovy × 1
- html × 1
- html5 × 1
- islisp × 1
- jquery × 1
- jvm × 1
- lisp × 1
- load testing × 1
- lua × 1
- metro style × 1
- microsoft × 1
- mongodb! × 1
- ninja × 1
- ouya × 1
- package management × 1
- prog × 1
- projects × 1
- python × 1
- qcon × 1
- racket × 1
- reactive extensions × 1
- restful × 1
- riak × 1
- rx × 1
- scalability × 1
- tdd × 1
- test × 1
- titanium × 1
- unit testing × 1
- user group × 1
- web × 1
- web services × 1
- winrt × 1
Copyright (c) 2011-2012 IntelliFactory. All rights reserved. Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy |
Built with WebSharper |