Adrien Guatto的主页

我是一个财政部长（~副教授，终身制）虹膜识别实验室。

• 电子邮件：
• 专业地址：索菲·杰曼大厦3019室，8处Aurélie Nemours，75013巴黎，法国
• 办公电话：（+33）1 57 27 94 15

(任命.)

新闻

• 透明胶片租赁许可证1

科学兴趣

广义上讲，编程语言的理论和实践。明确地：

• 资源-软件类型系统（例如，时钟/扭曲类型）
• 指称语义与范畴模型
• 并行函数编程和运行时系统
• 优化编译器

出版物

国际期刊

• 模态和参数伴随

  格拉泽（Gratzer）、卡瓦洛（Cavallo）、卡夫沃斯（Kavvos）、G.和比克达尔（Birkedal）。在上的事务处理计算逻辑, 2022.ACM下载 本地副本

国际会议

• 时间扭曲，从代数到算法

  van Gool，G.、Metcalfe、Santschi In关系和代数计算机科学方法（RAMICS）2021年。

  arXiv公司

• 递归的一种广义模态

  在计算机科学中的逻辑（LICS）2018年。arXiv公司 本地副本

• 心跳调度：可证明的嵌套效率并行性

  Acar、Charguéraud、G.、Rainey和Sieczkowski。在编程语言设计与实现（PLDI）2018年。本地副本

• 可变内存的分层管理州

  G.、Westrick、Raghunathan、Acar和Fluet。在原则和并行程序设计实践（PPoPP）2018年。arXiv公司 本地副本

• 正确有效的有界FIFO队列

  李、G、科恩和波普。在计算机体系结构和高级性能计算（SBAC-PAD）2013年。哈尔 本地副本

• 同步数据流的模块化存储器优化语言文字

  Gérard，G.，Pasteur和Pouzet。在语言、编译器和嵌入式系统工具（LCTES）2012年。最佳论文奖。哈尔 本地副本

研讨会和国家会议

• 突发Kahn网络与整数时钟

  G.和Mandel。在法语语言之旅申请（JFLA）2014年。本地副本（法语）

博士论文

• 整数同步函数规划时钟

  博士论文，由Cohen和Pouzet监制，2016年。论文.fr 本地副本

预印本、草稿、报告

• 同步电机：可追溯的类别

  Bagnol和G.Draft，2012年。哈尔

• 从SCADE/Lustre到VHDL

  G.和Pouzet。经验报告，2010年。本地副本（法语）

软件

多年来，我参与了以下几项研究的编纂工作：同步语言。

• 赫普塔贡，的一种方言Lustre最初由Gwenaöl Delaval、léonard Gérard、Cédric开发巴斯德、马克·波泽和我。
• 酸，一个我开发的实验性同步语言用于我的博士研究。

我还开发和维护一些小型实用程序供自己使用。

• xrandr夜间模式通过调整XRandR gamma将屏幕切换为红色和黑色坡道。我在深夜在笔记本电脑上阅读文本时使用它晚上。仅限于Linux。

其他

一些报价.