Submit a Paper

Propose a Workshop

The Third International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking

July 22-27, 2012 - Nice, France


The papers listed below have been selected as "Best Papers" based on the reviews of the original submission, the camera-ready version, and the presentation during the conference. For the awarded papers, a digital award will be issued in the name of the authors.

Awarded Papers

Multiplicative Complexity and Solving Generalized Brent Equations With SAT Solvers
Nicolas Courtois, Daniel Hulme, Theodosis Mourouzis

UPC-CompilerCheck: A Tool for Evaluating Error Detection Capabilities of UPC Compilers
Marina Kraeva, James Coyle, Glenn Luecke, Indranil Roy, Elizabeth Kleiman, James Hoekstra


The following papers have been selected on the basis of their contents, specificaly for lending themselves to an interesting extended work. The authors of these papers are receiving invitations to submit an extended article version to one of the IARIA Journals.

Papers Invited for IARIA Journals

Implicit Nested Repetition in Dataflow for Procedural Modeling
Wolfgang Thaller, Ulrich Krispel, Sven Havemann, Dieter W. Fellner

Fast Efficient Fixed-Size Memory Pool: No Loops and No Overhead
Ben Kenwright


Copyright (c) 2006-2012, IARIA