[Pharo-project] Internship
Hi all, I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level). The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)). Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities. http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-... Regards, Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
Very interesting topic and very userful. We could use C parser for automatic generation of FFI bindings to C libraries. On 22 November 2012 15:42, Goubier Thierry <thierry.goubier@cea.fr> wrote:
Hi all,
I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level).
The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)).
Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities.
http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-...
Regards,
Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
-- Best regards, Igor Stasenko.
Le 22/11/2012 16:57, Igor Stasenko a écrit :
Very interesting topic and very userful. We could use C parser for automatic generation of FFI bindings to C libraries.
Yes, but... Someone who has a full C parser has a tendency to make that an asset, given how much it costs to do and maintain. Still, there are a few open solutions available: CLANG and maybe CIL. CLANG maybe the best bet, because it seems to be able to output the parsed AST in a neutral format. I spend some time looking at the CLANG source code a while back, but I didn't try the parse tree output. CLANG is a part of LLVM. CIL is used for parsing C in one of the CEA tools, Frama-C. It's in ocaml (and ocamlyacc).
On 22 November 2012 15:42, Goubier Thierry <thierry.goubier@cea.fr> wrote:
Hi all,
I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level).
The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)).
Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities.
http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-...
Regards,
Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
-- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
thierry we will publish this offer. Now did you look at dave mason work on C header parsing. Stef On Nov 22, 2012, at 3:42 PM, Goubier Thierry wrote:
Hi all,
I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level).
The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)).
Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities.
http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-...
Regards,
Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
Le 23/11/2012 19:04, Stéphane Ducasse a écrit :
thierry
we will publish this offer. Now did you look at dave mason work on C header parsing.
Hi Stef, no I haven't but I can have a look if you had any pointer. I started doing C parsing out of Lex/Yacc and studying C implementations (pcc, gcc before 4.0, gcc 4+, CLANG/LLVM) and ocaml (CIL, Frama-C) (looked a bit at ANTLR as well). After a few years of C/Flex/Bison, I moved to Pharo/SMACC. One of my C-based parser has been modified for use in the toolchain of Kalray (http://www.kalray.eu/products/mppa-accesscore/). Thierry
Stef
On Nov 22, 2012, at 3:42 PM, Goubier Thierry wrote:
Hi all,
I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level).
The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)).
Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities.
http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-...
Regards,
Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
-- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
On Nov 26, 2012, at 10:02 AM, Goubier Thierry wrote:
Le 23/11/2012 19:04, Stéphane Ducasse a écrit :
thierry
we will publish this offer. Now did you look at dave mason work on C header parsing.
Hi Stef,
no I haven't but I can have a look if you had any pointer.
I started doing C parsing out of Lex/Yacc and studying C implementations (pcc, gcc before 4.0, gcc 4+, CLANG/LLVM) and ocaml (CIL, Frama-C) (looked a bit at ANTLR as well). After a few years of C/Flex/Bison, I moved to Pharo/SMACC.
this is cool. what is the license of the Pharo one?
One of my C-based parser has been modified for use in the toolchain of Kalray (http://www.kalray.eu/products/mppa-accesscore/).
Thierry
Stef
On Nov 22, 2012, at 3:42 PM, Goubier Thierry wrote:
Hi all,
I'm looking for some help in parsing C files (and the opportunity to use Petit Parser (Parseur?)) so I'm looking for an internship candidate (Master level).
The objective is to do a C preprocessor with a targeted integration in an existing C parser, and, in particular, provide high-level information about applied macros/defines for the tokens provided to the C parser itself. Platform should be Pharo (2.0:)).
Place is Saclay, SW of Paris. The lab has a strong team on compilation tool chains for embedded manycores, from programming language design down to micro-kernel and mapping, and is able to select good interns for further work opportunities.
http://www.cea.fr/ressources-humaines/stages-et-formation-en-alternance/les-...
Regards,
Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
-- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
Le 27/11/2012 09:45, Stéphane Ducasse a écrit :
On Nov 26, 2012, at 10:02 AM, Goubier Thierry wrote:
Le 23/11/2012 19:04, Stéphane Ducasse a écrit :
thierry
we will publish this offer. Now did you look at dave mason work on C header parsing.
Hi Stef,
no I haven't but I can have a look if you had any pointer.
I started doing C parsing out of Lex/Yacc and studying C implementations (pcc, gcc before 4.0, gcc 4+, CLANG/LLVM) and ocaml (CIL, Frama-C) (looked a bit at ANTLR as well). After a few years of C/Flex/Bison, I moved to Pharo/SMACC.
this is cool. what is the license of the Pharo one?
Internal use only. We may discuss that when you will come :) Thierry -- Thierry Goubier CEA list Laboratoire des Fondations des Systèmes Temps Réel Embarqués 91191 Gif sur Yvette Cedex France Phone/Fax: +33 (0) 1 69 08 32 92 / 83 95
participants (3)
-
Goubier Thierry -
Igor Stasenko -
Stéphane Ducasse