Yann Hodique

List of books I have read

yann — Mon, 15 Sep 2008 21:06:26 +0200

List of books I have read

(extremely non exhaustive)

Curriculum Vitae

yann — Mon, 15 Sep 2008 21:04:51 +0200

Curriculum Vitae

Situation

I'm a Senior QA Engineer at VMware.

I was previously:

a R&D Software Engineer at Trusted Logic.
a PhD student in team STC of the LIFL lab. (phd thesis here : hodique-phd.pdf)
a student of ENS Cachan (2002-2004).

Education

2008-present	Senior QA Engineer at VMware – Lausanne
2007-2008	R&D Engineer at Trusted Logic – Versailles
2003-2007	Doctorat (PhD thesis) in computer Science – USTL Lille 1.
2002-2003	DEA (Master thesis) in Computer Science – University of Rennes 1.
2001-2002	Maîtrise (between Bachelor's and Master's degree) in Computer Science – USTL Lille 1. — Succeeded 3rd year entry exam at ENS Cachan (antenne de Bretagne).
2000-2001	Maîtrise (between Bachelor's and Master's degree) in Pure Mathematics – USTL Lille 1. — Licence (Bachelor's degree) in Computer Science – USTL Lille 1.
1999-2000	Licence (Bachelor's degree) in Pure Mathematics – USTL Lille 1.
1997-1999	DEUG MIAS – USTL Lille 1.
1997-1998	Gold medal in musical education – E.N.M.D. Boulogne-sur-Mer.
1996-1997	Baccalauréat (A level) S (Mathematics) – Lycée A. Mariette.

Skills and interests

OS	GNU/Linux, various Unices
Programming	C, C++, Java, Ada, Delphi, Python, Perl, Shell Script, Common Lisp, Scheme, Javascript, x86 asm
Softwares	GNU Emacs, KDevelop, Gcc, Gdb, OpenOffice, TeX/LaTeX, Apache, Trac, PostgreSQL, Postfix, Cvs, Subversion, Arch, Bazaar, Git
Languages	French, English, German (high school level), Ancient greek (same remark)
Interests	Free softwares, Music, Litterature

You also may want to have a look at my personal productions, or university works, or even long version Resume

Site Map

yann — Mon, 15 Sep 2008 21:03:16 +0200

Site Map

Professional

Personal

Books

Best books ever
Read list
To read list
Currently reading :

Fritz Leiber

Demain les loups : Sci…

ISBN 2266004964

Yann Hodique

yann — Mon, 15 Sep 2008 21:00:46 +0200

Yann Hodique

Erdös Number Project

Erdös number=5
Y. Hodique/I. Simplot-Ryl/Y. Roos/R. Cori/S. Moran/P. Erdös

If you look at the source code of those pages and find it strange, it may be because of the use of a wiki engine. I'm using Dokuwiki and am really happy with it, but some formatting rules need to be hacked a bit to perform what I want. But it's really very convenient for me to maintain all this up-to-date.

Quotation

If I already sent some emails to you, you know that I like quotations from Frank Herbert's Dune. Here is one I really love.

Never be in the company of anyone with whom you would not want to die. – Fremen Saying

Contact

VMware (Dune Technologies)
Lausanne
SWITZERLAND

mail pro : <firstname_initial+lastname>@vmware.com
mail perso : <firstname>.<lastname>@gmail.com

bib:hodique

yann — Mon, 11 Aug 2008 10:27:07 +0200

@PHDTHESIS {hodique-phd,
  AUTHOR =       {Y. Hodique},
  TITLE =      {Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint},
  JOURNAL =    {PhD Thesis, Univ. Lille 1},
  YEAR =       {2007},
  PUBDATE =    {2007-04},
  LANG =       {fr},
  MONTH =      {april},
  file = public:hodique-phd.pdf,
}

@INPROCEEDINGS {ghr-ubisafe-07,
  AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE = {A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns},
  BOOKTITLE = {The 2007 IEEE International Symposium on Ubisafe Computing (UbiSafe-07)},
  YEAR = {2007},
  LANG = {en},
}

@ARTICLE {ghr-rr5937-06,
  AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE = {A verifiable Lightweight Escape Analysis Supporting Creational Design Patterns (long version)},
  YEAR =  {2006},
  URL = {http://hal.inria.fr/docs/00/08/14/28/PDF/RR-5937.pdf},
  LANG = {en},
}

@INPROCEEDINGS {ghr-icooolps-06,
  AUTHOR = {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE = {Can small and open embedded systems benefit from escape analysis?},
  BOOKTITLE = {Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems (ICOOOLPS'2006)},
  YEAR = {2006},
  url={http://icooolps.loria.fr/Papers/grimaud_icooolps_2006.pdf},
  LANG = {en},
}
						
@ARTICLE {ghsr06ijpeds,
  AUTHOR =      {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE =      {On the Use of metatypes for safe embedded operating system extension},
  JOURNAL =      {International Journal of Parallel, Emargent and Distributed Systems (IJPEDS)},
  YEAR =      {2006},
  LANG =         {en},
  VOLUME =       {22},
  PAGES =      {1-13},
  file = public:ijpeds2006-ghr.pdf,
}

@INPROCEEDINGS {ghr-sanso-05,
  AUTHOR =       {G. Grimaud and Y. Hodique and I. Simplot-Ryl},
  TITLE =        {Secure extensible type system for efficient embedded operating system by using metatypes},
  BOOKTITLE =      {SaNSO 2005},
  YEAR =         {2005},
  MONTH =        {july},
  LANG =         {en},
  VOLUME =       {2},
  PAGES =        {83-87},
  file = {SaNSO2005_grimaud_g.pdf},
}

@ARTICLE {dhr-ijca-05,
  AUTHOR =       {D. Deville and Y. Hodique and I. Simplot-Ryl},
  TITLE =        {Safe Collaboration in Extensible Operating Systems: A Study on Real Time Extensions},
  JOURNAL =      {International Journal of Computers and Applications},
  YEAR =         {2005},
  MONTH =        {january},
  LANG =         {en},
  VOLUME =       {1},
  PAGES =      {20-26},
  file = public:ijca2005-dhr.pdf,
}

@MASTERSTHESIS {hodique-dea,
  AUTHOR =       {Y. Hodique},
  TITLE =      {Approximations de stratégies de preuves en réécriture},,
  JOURNAL =    {Master Thesis, Univ. Rennes 1},
  YEAR =       {2003},
  PUBDATE =    {2003-07},
  LANG =       {fr},
  MONTH =      {july},
  file = public:hodique-dea.pdf,
}

Messing with keys - Page moved from blog:20080527_messing_with_keys to ...

yann — Tue, 27 May 2008 23:48:27 +0200

Messing with keys

Context : as I mentioned in a previous post, I use a slightly modified qwerty map, where parentheses and brackets are switched. Quite recently, for various reasons, I came to use rxvt-unicode as a terminal emulator.

Although being otherwise very nice, this little program used to suffer from an annoying feature, namely the builtin iso-mode. Actually, it's not the iso-mode itself that is annoying (after all, being able to compose rarely used characters does not hurt) but the fact that it is hard-bound to the control-shift combination. There are at least 3 arguments against this choice :

such a sequence is easy to hit by accident
anyone who would like to use emacs in console mode is screwed
in any case, that feature should be an option

So I am very happy to hear that the default behavior has changed in the latest version, and that iso-mode is now activated only in the rxvt-unicode-ml flavor. I hope Debian will ship version 9.x soon.

Given that, the key handling in rxvt-unicode is still quite strange… Remember that I mentioned the switched brackets/parentheses ? This means that I have to hit shift to compose a bracket. As you may know, the default escape character for telnet (that enables you to close the session at the protocol level, for example) is ^] (that is ctrl-]). No need to say that with my configuration, iso-mode was a real annoyance regarding this…

Still, without iso-mode, the behavior is strange : hitting ^] simply does not work when ] is not where expected (neither does it with rxvt, but xterm is ok). Maybe it's related to my ~/.Xdefaults, but I can't see why :

rxvt-unicode*background: DarkSlateGray
rxvt-unicode*foreground: Wheat
rxvt-unicode*cursorColor: Yellow
rxvt-unicode*font: xft:Dejavu Sans Mono-8
rxvt-unicode*reverseVideo: false
rxvt-unicode*scrollBar: false
rxvt-unicode*saveLines: 5000
rxvt-unicode*reverseWrap: true
rxvt-unicode.geometry: 80x25+20+20
rxvt-unicode*fullCursor: true
rxvt-unicode*scrollTtyOutput: off
rxvt-unicode*scrollKey: on
rxvt-unicode*titleBar: true
rxvt-unicode*color12: #84bdd2

Anyway, I've just accidentally discovered that ^} works ! (I mean, in rxvt-unicode and xterm) As far as I know, this is undocumented feature, but I couldn't care less… I'm at the point where I don't understand the problem, nor the solution. Time to sleep I guess…

keyboard, config

Yann Hodique

List of books I have read

List of books I have read

Latest one

Science Fiction

Fantasy

Curriculum Vitae

Curriculum Vitae

Situation

Education

Skills and interests

Site Map

Site Map

Professional

Personal

Books

Tags

Yann Hodique

Yann Hodique

VMware

Erdös Number Project

Disclaimer

Quotation

Contact

bib:hodique

Messing with keys - Page moved from blog:20080527_messing_with_keys to ...

Messing with keys