Papers on LCTES'18

25 views
Skip to first unread message

Francisco Sant'anna

unread,
May 4, 2018, 3:52:34 PM5/4/18
to ceu-...@googlegroups.com
Hi,

We had two papers accepted for LCTES this year in June:
The first paper is a joint work with Rodrigo and presents a formal semantics of the languages and proofs for memory boundedness, determinism and termination reactions. (The paper is somewhat heavy.)

The second paper is a work-in-progress paper that proposes Céu as a language to achieve transparent standby for low-power applications.
Naveen will be working with us to extend the range of devices and drivers with this purpose.

The pre-print versions of the papers are available online:
http://www.ceu-lang.org/chico/

Regards,
Francisco

Job van der Zwan

unread,
May 6, 2018, 7:13:02 PM5/6/18
to The Programming Language Céu
On Friday, 4 May 2018 21:52:34 UTC+2, Francisco Sant'Anna wrote:
We had two papers accepted for LCTES this year in June:

Congratulations!

The first paper is a joint work with Rodrigo and presents a formal semantics of the languages and proofs for memory boundedness, determinism and termination reactions. (The paper is somewhat heavy.)

 I just skimmed it, it's clearly over my head. But out of curiosity: I presume you can only prove this for Céu itself? As in: it depends on a host language without bugs for all of these proofs to hold?

The second paper is a work-in-progress paper that proposes Céu as a language to achieve transparent standby for low-power applications.
Naveen will be working with us to extend the range of devices and drivers with this purpose.

Like I said in the other topic: excited to see where this will go!

The pre-print versions of the papers are available online:
http://www.ceu-lang.org/chico/

It's after twelve here, but looking forward to give them a better read tomorrow

Cheers,
/Job

Álan Livio

unread,
May 8, 2018, 11:04:31 AM5/8/18
to ceu-...@googlegroups.com
We had two papers accepted for LCTES this year in June:

Congratulations.

-- Alan L.V. Guedes, TeleMídia/PUC-Rio


 

Francisco Sant'anna

unread,
May 8, 2018, 1:16:59 PM5/8/18
to ceu-...@googlegroups.com
On Sun, May 6, 2018 at 8:13 PM, Job van der Zwan <j.l.van...@gmail.com> wrote:
On Friday, 4 May 2018 21:52:34 UTC+2, Francisco Sant'Anna wrote:
We had two papers accepted for LCTES this year in June:

Congratulations!

The first paper is a joint work with Rodrigo and presents a formal semantics of the languages and proofs for memory boundedness, determinism and termination reactions. (The paper is somewhat heavy.)

 I just skimmed it, it's clearly over my head. But out of curiosity: I presume you can only prove this for Céu itself? As in: it depends on a host language without bugs for all of these proofs to hold?

Yes, only for Céu.
The host language is abstracted away with a "mem" operation that is assumed to be instantaneous.
 
The second paper is a work-in-progress paper that proposes Céu as a language to achieve transparent standby for low-power applications.
Naveen will be working with us to extend the range of devices and drivers with this purpose.

Like I said in the other topic: excited to see where this will go!

I'll post the results as they show up.

Thanks!
Francisco
Reply all
Reply to author
Forward
0 new messages