During the last year of my Bachelor, I started to be interested in research.
I worked on Babel, a loop-avoiding
distance-vector routing protocol for IPv6 and IPv4 with fast
convergence properties, designed to be robust and efficient on both
wireless mesh networks and classical wired
networks under the direction of Dr. Julieusz Chroboczek and Gabriel Kerneis.
In the first year of my Master, I continued working with Chroboczek and Kerneis on CPC, an experimental dialect
of the C language, designed to write concurrent programs. A CPC
program is compiled into plain C through a series of source-to-source
transformations. I created a P2P bittorrent seed in this language as a
proof of concept of
CPC. I
started my PhD under the direction of Frédéric Boussinot and
Ilaria Castellani. My PhD topics is to create a Safe and Secure
Multi-core Programming Language. Our approach is based on the reactive
variant of synchronous programming. The new languages I am investigating in my thesis, DSL and DSLM, are inspired by FunLoft, an experimental language for concurrent programming. Our notions of synchronized scheduler and safety are similar to those of Funloft, but we try to propose a more dynamic and more formal approach.
I also gave several talks about FunLoft and DSL/DSLM; the slides are available on demand.
Publications Pejman Attar, Ilaria Castellani. Fine-grained and Corse-grained Reactive Non-interference. Submitted (2013) Pejman Attar, Frédéric Boussinot. Dynamic Script Language with Memory. Technical Repport, INRIA (2013) Pejman Attar, Frédéric Boussinot. Orchestration et au-delà. Submitted, MSR (2011) Pejman Attar. Dynamic Script Language. Master Thesis (2010) Pejman Attar, Yoann Canal. Hekate: A Bittorrent Seeder. Technical Repport, INRIA (2013) Talks |