[PRL] Torture Chamber: Thursday 09/03 14:00

[Christos Dimoulas]

I reserved 366 for the talk.



Christos Dimoulas wrote:
> Hi everyone,
>
> I am giving a practice talk for my PPDP paper (abstract bellow) on
> Thursday at 14:00 (room TBA) .
>
> I would appreciate it if you could attend the talk and give me your
> feedback and comments.
>
> Thank you.
>
> .Christos
>
> Future Contracts
> -------------------------------------------------------------------------
>
> (with Riccardo Pucella and Matthias Felleisen)
>
> Many recent research projects focus on language support for behavioral
> software contracts, that is, assertions that govern the boundaries
> between software building blocks such as procedures, classes, or
> modules. Contracts primarily help locate bugs in programs, but they also
>    tend to affect the performance of the program, especially as they
> become complex.
> In this paper, we introduce future contracts and parallel contract
> checking: software contracts annotated with future are checked in
> parallel with the main program, exploiting the nowcommon multiple-core
> architecture.We present both a model and a prototype implementation of
> our language design. Our model comprises a higher-order imperative
> language and we use it to prove the correctness of our design. Our
> implementation is robust enough to measure the performance of reasonably
> large benchmarks, demonstrating that the use of future contracts can
> lead to significant performance improvements.
>
>
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl
>