This is LaTeX2HTML Version 2008 (1.71)
by Nikos Drakos, Computer Based Learning Unit, University of Leeds.

Revised and extended by:
 Marcus Hennecke, Ross Moore, Herb Swan and others
...producing markup for HTML version 4.0  



Extension: loading /usr/local/Cellar/latex2html/2015/versions/latin1.pl
HTML version: loading /usr/local/Cellar/latex2html/2015/versions/html4_0.pl

 *** processing declarations ***

OPENING /Users/shapiro/Desktop/regal-papers-2016/shapiro/sujets-2016-09/these-Antidote-LightKone.tex 

Note: Working directory is /nobackup/svnstuff/regal-papers/2016/shapiro/sujets-2016-09/these-Antidote-LightKone
Note: Images will be generated in /tmp/l2h5825

texexpand V2008 (Revision 1.12)



Loading /usr/local/Cellar/latex2html/2015/styles/texdefs.perl...
Package: loading /usr/local/Cellar/latex2html/2015/styles/article.perl
Package: loading /usr/local/Cellar/latex2html/2015/styles/inputenc.perl
Loading /usr/local/Cellar/latex2html/2015/versions/unicode.pl
*** Constructing conversion iso-10646 -> Unicode ***

Warning: No implementation found for option: `protrusion_true' for `microtype' package

Warning: No implementation found for option: `expansion_true' for `microtype' package

Package: loading /usr/local/Cellar/latex2html/2015/styles/natbib.perldefined(@array) is deprecated at /usr/local/Cellar/latex2html/2015/styles/natbib.perl line 1454, <STYLES> line 4.
	(Maybe you should just omit the defined()?)

Package: loading /usr/local/Cellar/latex2html/2015/styles/babelbst.perl
Warning: No implementation found for option: `sort_compress' for `natbib' package

Package: loading /usr/local/Cellar/latex2html/2015/styles/eurosym.perl
Warning: No implementation found for option: `defblank' for `paralist' package

Warning: No implementation found for option: `obeyspaces' for `url' package

Warning: No implementation found for option: `verbatim' for `svn-multi' package

Package: loading /usr/local/Cellar/latex2html/2015/styles/html.perl
Reading ...
%%%%%%%%%%%%%,,++..
@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@

Reading aux file: /Users/shapiro/Desktop/regal-papers-2016/shapiro/sujets-2016-09/these-Antidote-LightKone.aux ...%
Processing macros ..., *** Could not find argument for command \providecommand ***
\hyper@newdestlabel[2]<<201>><<201>>
\providecommand \HyperFirstAtBeginDocument<<202>>\AtBeginDocument<<202>>
\HyperFirstAtBeginDocument<<362>>\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4<<315>>\oldcontentsline<<203>>#1<<203>><<204>>#2<<204>><<205>>#3<<205>><<315>>
\global\let\oldnewlabel\newlabel
\gdef \newlabel#1#2<<316>>\newlabelxx<<206>>#1<<206>>#2<<316>>
\gdef \newlabelxx#1#2#3#4#5#6<<347>>\oldnewlabel<<207>>#1<<207>><<317>><<208>>#2<<208>><<209>>#3<<209>><<317>><<347>>
\AtEndDocument<<210>>\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi<<210>>
\fi<<362>>
\global\let\hyper@last\relax 
\gdef \HyperFirstAtBeginDocument#1<<211>>#1<<211>>
\providecommand \HyField@AuxAddToFields[1]<<212>><<212>>
\providecommand \HyField@AuxAddToCoFields[2]<<213>><<213>>
\citation<<214>>rep:pan:1628,rep:1691<<214>>
\citation<<215>>rep:pan:1630<<215>>
\citation<<216>>syn:rep:sh143,syn:sh144<<216>>
\@writefile<<217>>toc<<217>><<348>>\contentsline <<218>>subsection<<218>><<318>>\numberline <<219>>0.1<<219>>Background and problem statement<<318>><<220>>1<<220>><<221>>subsection.0.1<<221>><<348>>
\newlabel<<222>>sec:background<<222>><<319>><<223>>0.1<<223>><<224>>1<<224>><<225>>Background and problem statement<<225>><<226>>subsection.0.1<<226>><<227>><<227>><<319>>
\citation<<228>>rep:pro:sh186<<228>>
\citation<<229>>rep:sh175<<229>>
\citation<<230>>app:sh183-tr,app:sh179-demo,syn:app:sh179<<230>>
\@writefile<<231>>toc<<231>><<349>>\contentsline <<232>>subsection<<232>><<320>>\numberline <<233>>0.2<<233>>PhD research directions<<320>><<234>>2<<234>><<235>>subsection.0.2<<235>><<349>>
\@writefile<<236>>toc<<236>><<350>>\contentsline <<237>>subsection<<237>><<321>>\numberline <<238>>0.3<<238>>How to apply<<321>><<239>>3<<239>><<240>>subsection.0.3<<240>><<350>>
\newlabel<<241>>sec:apply<<241>><<322>><<242>>0.3<<242>><<243>>3<<243>><<244>>How to apply<<244>><<245>>subsection.0.3<<245>><<246>><<246>><<322>>
\@writefile<<247>>toc<<247>><<351>>\contentsline <<248>>section<<248>><<323>>\numberline <<249>>1<<249>>The LightKone project<<323>><<250>>3<<250>><<251>>section.1<<251>><<351>>
\bibcite<<252>>rep:1691<<252>><<352>><<253>>1<<253>><<254>>2012<<254>><<324>><<255>>Abadi<<255>><<324>><<325>><<256>><<256>><<325>><<352>>
\bibcite<<257>>rep:pro:sh186<<257>><<363>><<258>>2<<258>><<259>>2016<<259>><<326>><<260>>Akkoorath et~al.<<260>><<326>><<353>><<327>>Akkoorath, Tomsic, Bravo, Li, Crain, Bieniusa, Pregui<<261>>\c c<<261>>a, and Shapiro<<327>><<353>><<363>>
\bibcite<<262>>rep:sh175<<262>><<364>><<263>>3<<263>><<264>>2015<<264>><<328>><<265>>Balegas et~al.<<265>><<328>><<354>><<329>>Balegas, Serra, Duarte, Ferreira, Shapiro, Rodrigues, and Pregui<<266>>\c c<<266>>a<<329>><<354>><<364>>
\bibcite<<267>>rep:pan:1630<<267>><<355>><<268>>4<<268>><<269>>2009<<269>><<330>><<270>>Birman et~al.<<270>><<330>><<331>><<271>>Birman, Chockler, and van Renesse<<271>><<331>><<355>>
\bibcite<<272>>rep:pan:1628<<272>><<356>><<273>>5<<273>><<274>>2002<<274>><<332>><<275>>Gilbert and Lynch<<275>><<332>><<333>><<276>><<276>><<333>><<356>>
\bibcite<<277>>syn:app:sh179<<277>><<357>><<278>>6<<278>><<279>>2016<<279>><<334>><<280>>Gotsman et~al.<<280>><<334>><<335>><<281>>Gotsman, Yang, Ferreira, Najafzadeh, and Shapiro<<281>><<335>><<357>>
\bibcite<<282>>app:sh179-demo<<282>><<358>><<283>>7<<283>><<284>>2015<<284>><<336>><<285>>Najafzadeh and Shapiro<<285>><<336>><<337>><<286>><<286>><<337>><<358>>
\bibcite<<287>>app:sh183-tr<<287>><<359>><<288>>8<<288>><<289>>2016<<289>><<338>><<290>>Najafzadeh et~al.<<290>><<338>><<339>><<291>>Najafzadeh, Gotsman, Yang, Ferreira, and Shapiro<<291>><<339>><<359>>
\bibcite<<292>>syn:rep:sh143<<292>><<365>><<293>>9<<293>><<340>>2011<<294>><<294>><<340>><<341>><<295>>Shapiro et~al.<<295>><<341>><<360>><<342>>Shapiro, Pregui<<296>>\c c<<296>>a, Baquero, and Zawirski<<342>><<360>><<365>>
\bibcite<<297>>syn:sh144<<297>><<366>><<298>>10<<298>><<343>>2011<<299>><<299>><<343>><<344>><<300>>Shapiro et~al.<<300>><<344>><<361>><<345>>Shapiro, Pregui<<301>>\c c<<301>>a, Baquero, and Zawirski<<345>><<361>><<366>>

\gdef \svnrev <<302>>6972<<302>>
\global \let \ifsvnmodified \@secondoftwo
\gdef \svndate <<346>>2016-08-30 23:08:05 +0200 (Mar, 30 ao\IeC <<303>>\^u<<303>> 2016)<<346>>
\gdef \svnauthor <<304>>shapiro<<304>>
\gdef \svnyear <<305>>2016<<305>>
\gdef \svnmonth <<306>>08<<306>>
\gdef \svnday <<307>>30<<307>>
\gdef \svnhour <<308>>23<<308>>
\gdef \svnminute <<309>>08<<309>>
\gdef \svnsecond <<310>>05<<310>>
\gdef \svntimezonehour <<311>>+02<<311>>
\gdef \svntimezoneminute <<312>>00<<312>>
\svn@gdefverb \svnurl <<313>>svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/sujets-2016-09/these-Antidote-LightKone.tex<<313>>
\svn@gdefverb \svnfname <<314>>these-Antidote-LightKone.tex<<314>>






*** no brace for \ , before:
\hyper@newdestlabel[2]{}
*** using "\hyper" as the argument instead; is this correct?  ***

, *** Could not find argument for command \providecommand ***
\HyperFirstAtBeginDocument<<202>>\AtBeginDocument<<202>>
\HyperFirstAtBeginDocument<<362>>\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4<<315>>\oldcontentsline<<203>>#1<<203>><<204>>#2<<204>><<205>>#3<<205>><<315>>
\global\let\oldnewlabel\newlabel
\gdef \newlabel#1#2<<316>>\newlabelxx<<206>>#1<<206>>#2<<316>>
\gdef \newlabelxx#1#2#3#4#5#6<<347>>\oldnewlabel<<207>>#1<<207>><<317>><<208>>#2<<208>><<209>>#3<<209>><<317>><<347>>
\AtEndDocument<<210>>\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi<<210>>
\fi<<362>>
\global\let\hyper@last\relax 
\gdef \HyperFirstAtBeginDocument#1<<211>>#1<<211>>
\providecommand \HyField@AuxAddToFields[1]<<212>><<212>>
\providecommand \HyField@AuxAddToCoFields[2]<<213>><<213>>
\citation<<214>>rep:pan:1628,rep:1691<<214>>
\citation<<215>>rep:pan:1630<<215>>
\citation<<216>>syn:rep:sh143,syn:sh144<<216>>
\@writefile<<217>>toc<<217>><<348>>\contentsline <<218>>subsection<<218>><<318>>\numberline <<219>>0.1<<219>>Background and problem statement<<318>><<220>>1<<220>><<221>>subsection.0.1<<221>><<348>>
\newlabel<<222>>sec:background<<222>><<319>><<223>>0.1<<223>><<224>>1<<224>><<225>>Background and problem statement<<225>><<226>>subsection.0.1<<226>><<227>><<227>><<319>>
\citation<<228>>rep:pro:sh186<<228>>
\citation<<229>>rep:sh175<<229>>
\citation<<230>>app:sh183-tr,app:sh179-demo,syn:app:sh179<<230>>
\@writefile<<231>>toc<<231>><<349>>\contentsline <<232>>subsection<<232>><<320>>\numberline <<233>>0.2<<233>>PhD research directions<<320>><<234>>2<<234>><<235>>subsection.0.2<<235>><<349>>
\@writefile<<236>>toc<<236>><<350>>\contentsline <<237>>subsection<<237>><<321>>\numberline <<238>>0.3<<238>>How to apply<<321>><<239>>3<<239>><<240>>subsection.0.3<<240>><<350>>
\newlabel<<241>>sec:apply<<241>><<322>><<242>>0.3<<242>><<243>>3<<243>><<244>>How to apply<<244>><<245>>subsection.0.3<<245>><<246>><<246>><<322>>
\@writefile<<247>>toc<<247>><<351>>\contentsline <<248>>section<<248>><<323>>\numberline <<249>>1<<249>>The LightKone project<<323>><<250>>3<<250>><<251>>section.1<<251>><<351>>
\bibcite<<252>>rep:1691<<252>><<352>><<253>>1<<253>><<254>>2012<<254>><<324>><<255>>Abadi<<255>><<324>><<325>><<256>><<256>><<325>><<352>>
\bibcite<<257>>rep:pro:sh186<<257>><<363>><<258>>2<<258>><<259>>2016<<259>><<326>><<260>>Akkoorath et~al.<<260>><<326>><<353>><<327>>Akkoorath, Tomsic, Bravo, Li, Crain, Bieniusa, Pregui<<261>>\c c<<261>>a, and Shapiro<<327>><<353>><<363>>
\bibcite<<262>>rep:sh175<<262>><<364>><<263>>3<<263>><<264>>2015<<264>><<328>><<265>>Balegas et~al.<<265>><<328>><<354>><<329>>Balegas, Serra, Duarte, Ferreira, Shapiro, Rodrigues, and Pregui<<266>>\c c<<266>>a<<329>><<354>><<364>>
\bibcite<<267>>rep:pan:1630<<267>><<355>><<268>>4<<268>><<269>>2009<<269>><<330>><<270>>Birman et~al.<<270>><<330>><<331>><<271>>Birman, Chockler, and van Renesse<<271>><<331>><<355>>
\bibcite<<272>>rep:pan:1628<<272>><<356>><<273>>5<<273>><<274>>2002<<274>><<332>><<275>>Gilbert and Lynch<<275>><<332>><<333>><<276>><<276>><<333>><<356>>
\bibcite<<277>>syn:app:sh179<<277>><<357>><<278>>6<<278>><<279>>2016<<279>><<334>><<280>>Gotsman et~al.<<280>><<334>><<335>><<281>>Gotsman, Yang, Ferreira, Najafzadeh, and Shapiro<<281>><<335>><<357>>
\bibcite<<282>>app:sh179-demo<<282>><<358>><<283>>7<<283>><<284>>2015<<284>><<336>><<285>>Najafzadeh and Shapiro<<285>><<336>><<337>><<286>><<286>><<337>><<358>>
\bibcite<<287>>app:sh183-tr<<287>><<359>><<288>>8<<288>><<289>>2016<<289>><<338>><<290>>Najafzadeh et~al.<<290>><<338>><<339>><<291>>Najafzadeh, Gotsman, Yang, Ferreira, and Shapiro<<291>><<339>><<359>>
\bibcite<<292>>syn:rep:sh143<<292>><<365>><<293>>9<<293>><<340>>2011<<294>><<294>><<340>><<341>><<295>>Shapiro et~al.<<295>><<341>><<360>><<342>>Shapiro, Pregui<<296>>\c c<<296>>a, Baquero, and Zawirski<<342>><<360>><<365>>
\bibcite<<297>>syn:sh144<<297>><<366>><<298>>10<<298>><<343>>2011<<299>><<299>><<343>><<344>><<300>>Shapiro et~al.<<300>><<344>><<361>><<345>>Shapiro, Pregui<<301>>\c c<<301>>a, Baquero, and Zawirski<<345>><<361>><<366>>

\gdef \svnrev <<302>>6972<<302>>
\global \let \ifsvnmodified \@secondoftwo
\gdef \svndate <<346>>2016-08-30 23:08:05 +0200 (Mar, 30 ao\IeC <<303>>\^u<<303>> 2016)<<346>>
\gdef \svnauthor <<304>>shapiro<<304>>
\gdef \svnyear <<305>>2016<<305>>
\gdef \svnmonth <<306>>08<<306>>
\gdef \svnday <<307>>30<<307>>
\gdef \svnhour <<308>>23<<308>>
\gdef \svnminute <<309>>08<<309>>
\gdef \svnsecond <<310>>05<<310>>
\gdef \svntimezonehour <<311>>+02<<311>>
\gdef \svntimezoneminute <<312>>00<<312>>
\svn@gdefverb \svnurl <<313>>svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/sujets-2016-09/these-Antidote-LightKone.tex<<313>>
\svn@gdefverb \svnfname <<314>>these-Antidote-LightKone.tex<<314>>






*** no brace for \ , before:
\HyperFirstAtBeginDocument{\AtBeginDocument}
*** using "\HyperFirstAtBeginDocument" as the argument instead; is this correct?  ***

,,,,, *** Could not find argument for command \providecommand ***
\HyField@AuxAddToFields[1]<<212>><<212>>
\providecommand \HyField@AuxAddToCoFields[2]<<213>><<213>>
\citation<<214>>rep:pan:1628,rep:1691<<214>>
\citation<<215>>rep:pan:1630<<215>>
\citation<<216>>syn:rep:sh143,syn:sh144<<216>>
\@writefile<<217>>toc<<217>><<348>>\contentsline <<218>>subsection<<218>><<318>>\numberline <<219>>0.1<<219>>Background and problem statement<<318>><<220>>1<<220>><<221>>subsection.0.1<<221>><<348>>
\newlabel<<222>>sec:background<<222>><<319>><<223>>0.1<<223>><<224>>1<<224>><<225>>Background and problem statement<<225>><<226>>subsection.0.1<<226>><<227>><<227>><<319>>
\citation<<228>>rep:pro:sh186<<228>>
\citation<<229>>rep:sh175<<229>>
\citation<<230>>app:sh183-tr,app:sh179-demo,syn:app:sh179<<230>>
\@writefile<<231>>toc<<231>><<349>>\contentsline <<232>>subsection<<232>><<320>>\numberline <<233>>0.2<<233>>PhD research directions<<320>><<234>>2<<234>><<235>>subsection.0.2<<235>><<349>>
\@writefile<<236>>toc<<236>><<350>>\contentsline <<237>>subsection<<237>><<321>>\numberline <<238>>0.3<<238>>How to apply<<321>><<239>>3<<239>><<240>>subsection.0.3<<240>><<350>>
\newlabel<<241>>sec:apply<<241>><<322>><<242>>0.3<<242>><<243>>3<<243>><<244>>How to apply<<244>><<245>>subsection.0.3<<245>><<246>><<246>><<322>>
\@writefile<<247>>toc<<247>><<351>>\contentsline <<248>>section<<248>><<323>>\numberline <<249>>1<<249>>The LightKone project<<323>><<250>>3<<250>><<251>>section.1<<251>><<351>>
\bibcite<<252>>rep:1691<<252>><<352>><<253>>1<<253>><<254>>2012<<254>><<324>><<255>>Abadi<<255>><<324>><<325>><<256>><<256>><<325>><<352>>
\bibcite<<257>>rep:pro:sh186<<257>><<363>><<258>>2<<258>><<259>>2016<<259>><<326>><<260>>Akkoorath et~al.<<260>><<326>><<353>><<327>>Akkoorath, Tomsic, Bravo, Li, Crain, Bieniusa, Pregui<<261>>\c c<<261>>a, and Shapiro<<327>><<353>><<363>>
\bibcite<<262>>rep:sh175<<262>><<364>><<263>>3<<263>><<264>>2015<<264>><<328>><<265>>Balegas et~al.<<265>><<328>><<354>><<329>>Balegas, Serra, Duarte, Ferreira, Shapiro, Rodrigues, and Pregui<<266>>\c c<<266>>a<<329>><<354>><<364>>
\bibcite<<267>>rep:pan:1630<<267>><<355>><<268>>4<<268>><<269>>2009<<269>><<330>><<270>>Birman et~al.<<270>><<330>><<331>><<271>>Birman, Chockler, and van Renesse<<271>><<331>><<355>>
\bibcite<<272>>rep:pan:1628<<272>><<356>><<273>>5<<273>><<274>>2002<<274>><<332>><<275>>Gilbert and Lynch<<275>><<332>><<333>><<276>><<276>><<333>><<356>>
\bibcite<<277>>syn:app:sh179<<277>><<357>><<278>>6<<278>><<279>>2016<<279>><<334>><<280>>Gotsman et~al.<<280>><<334>><<335>><<281>>Gotsman, Yang, Ferreira, Najafzadeh, and Shapiro<<281>><<335>><<357>>
\bibcite<<282>>app:sh179-demo<<282>><<358>><<283>>7<<283>><<284>>2015<<284>><<336>><<285>>Najafzadeh and Shapiro<<285>><<336>><<337>><<286>><<286>><<337>><<358>>
\bibcite<<287>>app:sh183-tr<<287>><<359>><<288>>8<<288>><<289>>2016<<289>><<338>><<290>>Najafzadeh et~al.<<290>><<338>><<339>><<291>>Najafzadeh, Gotsman, Yang, Ferreira, and Shapiro<<291>><<339>><<359>>
\bibcite<<292>>syn:rep:sh143<<292>><<365>><<293>>9<<293>><<340>>2011<<294>><<294>><<340>><<341>><<295>>Shapiro et~al.<<295>><<341>><<360>><<342>>Shapiro, Pregui<<296>>\c c<<296>>a, Baquero, and Zawirski<<342>><<360>><<365>>
\bibcite<<297>>syn:sh144<<297>><<366>><<298>>10<<298>><<343>>2011<<299>><<299>><<343>><<344>><<300>>Shapiro et~al.<<300>><<344>><<361>><<345>>Shapiro, Pregui<<301>>\c c<<301>>a, Baquero, and Zawirski<<345>><<361>><<366>>

\gdef \svnrev <<302>>6972<<302>>
\global \let \ifsvnmodified \@secondoftwo
\gdef \svndate <<346>>2016-08-30 23:08:05 +0200 (Mar, 30 ao\IeC <<303>>\^u<<303>> 2016)<<346>>
\gdef \svnauthor <<304>>shapiro<<304>>
\gdef \svnyear <<305>>2016<<305>>
\gdef \svnmonth <<306>>08<<306>>
\gdef \svnday <<307>>30<<307>>
\gdef \svnhour <<308>>23<<308>>
\gdef \svnminute <<309>>08<<309>>
\gdef \svnsecond <<310>>05<<310>>
\gdef \svntimezonehour <<311>>+02<<311>>
\gdef \svntimezoneminute <<312>>00<<312>>
\svn@gdefverb \svnurl <<313>>svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/sujets-2016-09/these-Antidote-LightKone.tex<<313>>
\svn@gdefverb \svnfname <<314>>these-Antidote-LightKone.tex<<314>>






*** no brace for \ , before:
\HyField@AuxAddToFields[1]{}
*** using "\HyField" as the argument instead; is this correct?  ***

, *** Could not find argument for command \providecommand ***
\HyField@AuxAddToCoFields[2]<<213>><<213>>
\citation<<214>>rep:pan:1628,rep:1691<<214>>
\citation<<215>>rep:pan:1630<<215>>
\citation<<216>>syn:rep:sh143,syn:sh144<<216>>
\@writefile<<217>>toc<<217>><<348>>\contentsline <<218>>subsection<<218>><<318>>\numberline <<219>>0.1<<219>>Background and problem statement<<318>><<220>>1<<220>><<221>>subsection.0.1<<221>><<348>>
\newlabel<<222>>sec:background<<222>><<319>><<223>>0.1<<223>><<224>>1<<224>><<225>>Background and problem statement<<225>><<226>>subsection.0.1<<226>><<227>><<227>><<319>>
\citation<<228>>rep:pro:sh186<<228>>
\citation<<229>>rep:sh175<<229>>
\citation<<230>>app:sh183-tr,app:sh179-demo,syn:app:sh179<<230>>
\@writefile<<231>>toc<<231>><<349>>\contentsline <<232>>subsection<<232>><<320>>\numberline <<233>>0.2<<233>>PhD research directions<<320>><<234>>2<<234>><<235>>subsection.0.2<<235>><<349>>
\@writefile<<236>>toc<<236>><<350>>\contentsline <<237>>subsection<<237>><<321>>\numberline <<238>>0.3<<238>>How to apply<<321>><<239>>3<<239>><<240>>subsection.0.3<<240>><<350>>
\newlabel<<241>>sec:apply<<241>><<322>><<242>>0.3<<242>><<243>>3<<243>><<244>>How to apply<<244>><<245>>subsection.0.3<<245>><<246>><<246>><<322>>
\@writefile<<247>>toc<<247>><<351>>\contentsline <<248>>section<<248>><<323>>\numberline <<249>>1<<249>>The LightKone project<<323>><<250>>3<<250>><<251>>section.1<<251>><<351>>
\bibcite<<252>>rep:1691<<252>><<352>><<253>>1<<253>><<254>>2012<<254>><<324>><<255>>Abadi<<255>><<324>><<325>><<256>><<256>><<325>><<352>>
\bibcite<<257>>rep:pro:sh186<<257>><<363>><<258>>2<<258>><<259>>2016<<259>><<326>><<260>>Akkoorath et~al.<<260>><<326>><<353>><<327>>Akkoorath, Tomsic, Bravo, Li, Crain, Bieniusa, Pregui<<261>>\c c<<261>>a, and Shapiro<<327>><<353>><<363>>
\bibcite<<262>>rep:sh175<<262>><<364>><<263>>3<<263>><<264>>2015<<264>><<328>><<265>>Balegas et~al.<<265>><<328>><<354>><<329>>Balegas, Serra, Duarte, Ferreira, Shapiro, Rodrigues, and Pregui<<266>>\c c<<266>>a<<329>><<354>><<364>>
\bibcite<<267>>rep:pan:1630<<267>><<355>><<268>>4<<268>><<269>>2009<<269>><<330>><<270>>Birman et~al.<<270>><<330>><<331>><<271>>Birman, Chockler, and van Renesse<<271>><<331>><<355>>
\bibcite<<272>>rep:pan:1628<<272>><<356>><<273>>5<<273>><<274>>2002<<274>><<332>><<275>>Gilbert and Lynch<<275>><<332>><<333>><<276>><<276>><<333>><<356>>
\bibcite<<277>>syn:app:sh179<<277>><<357>><<278>>6<<278>><<279>>2016<<279>><<334>><<280>>Gotsman et~al.<<280>><<334>><<335>><<281>>Gotsman, Yang, Ferreira, Najafzadeh, and Shapiro<<281>><<335>><<357>>
\bibcite<<282>>app:sh179-demo<<282>><<358>><<283>>7<<283>><<284>>2015<<284>><<336>><<285>>Najafzadeh and Shapiro<<285>><<336>><<337>><<286>><<286>><<337>><<358>>
\bibcite<<287>>app:sh183-tr<<287>><<359>><<288>>8<<288>><<289>>2016<<289>><<338>><<290>>Najafzadeh et~al.<<290>><<338>><<339>><<291>>Najafzadeh, Gotsman, Yang, Ferreira, and Shapiro<<291>><<339>><<359>>
\bibcite<<292>>syn:rep:sh143<<292>><<365>><<293>>9<<293>><<340>>2011<<294>><<294>><<340>><<341>><<295>>Shapiro et~al.<<295>><<341>><<360>><<342>>Shapiro, Pregui<<296>>\c c<<296>>a, Baquero, and Zawirski<<342>><<360>><<365>>
\bibcite<<297>>syn:sh144<<297>><<366>><<298>>10<<298>><<343>>2011<<299>><<299>><<343>><<344>><<300>>Shapiro et~al.<<300>><<344>><<361>><<345>>Shapiro, Pregui<<301>>\c c<<301>>a, Baquero, and Zawirski<<345>><<361>><<366>>

\gdef \svnrev <<302>>6972<<302>>
\global \let \ifsvnmodified \@secondoftwo
\gdef \svndate <<346>>2016-08-30 23:08:05 +0200 (Mar, 30 ao\IeC <<303>>\^u<<303>> 2016)<<346>>
\gdef \svnauthor <<304>>shapiro<<304>>
\gdef \svnyear <<305>>2016<<305>>
\gdef \svnmonth <<306>>08<<306>>
\gdef \svnday <<307>>30<<307>>
\gdef \svnhour <<308>>23<<308>>
\gdef \svnminute <<309>>08<<309>>
\gdef \svnsecond <<310>>05<<310>>
\gdef \svntimezonehour <<311>>+02<<311>>
\gdef \svntimezoneminute <<312>>00<<312>>
\svn@gdefverb \svnurl <<313>>svn+ssh://shapiro@scm.gforge.inria.fr/svnroot/regal/trunk/papers/2016/shapiro/sujets-2016-09/these-Antidote-LightKone.tex<<313>>
\svn@gdefverb \svnfname <<314>>these-Antidote-LightKone.tex<<314>>






*** no brace for \ , before:
\HyField@AuxAddToCoFields[2]{}
*** using "\HyField" as the argument instead; is this correct?  ***

,,,,,,,,,,,++............................................................................

*** no brace for \ , before:
@newdestlabel[2]{}
*** using "@" as the argument instead; is this correct?  ***


*** redefining \ ***
..
*** redefining \ ***
...

*** no brace for \oldcontentsline , before:
\contentsline 
*** using "\contentsline" as the argument instead; is this correct?  ***



*** no brace for \oldcontentsline , before:

*** using "" as the argument instead; is this correct?  ***



*** no brace for \oldcontentsline , before:

*** using "" as the argument instead; is this correct?  ***

......

*** no brace for \oldnewlabel , before:
\oldnewlabel{}{{}{}}chor\@undefined
*** using "\oldnewlabel" as the argument instead; is this correct?  ***



*** no brace for \oldnewlabel , before:
{{}{}}chor\@undefined
*** using "<" as the argument instead; is this correct?  ***

.....

*** no brace for \oldnewlabel , before:

*** using "" as the argument instead; is this correct?  ***



*** no brace for \oldnewlabel , before:

*** using "" as the argument instead; is this correct?  ***



*** no brace for \oldnewlabel , before:

*** using "" as the argument instead; is this correct?  ***

......

*** no brace for \ , before:
@AuxAddToFields[1]{}
*** using "@" as the argument instead; is this correct?  ***


*** redefining \ ***
.

*** no brace for \ , before:
@AuxAddToCoFields[2]{}
*** using "@" as the argument instead; is this correct?  ***


*** redefining \ ***
...
@........
@....
@.....
@......................
Translating ...
0/6:top of these-Antidote-LightKone: for these-Antidote-LightKone.html

 *** translating preamble ***
,,,,...
Warning: No implementation found for package: microtype.
Warning: No implementation found for option: `sort_SPMamp_compress' for `natbib' package
.
Warning: No implementation found for package: lmodern.
Warning: No implementation found for package: parskip....
Warning: No implementation found for package: paralist.
Warning: No implementation found for package: url..
Warning: No implementation found for package: svn_multi.
Warning: No implementation found for package: hyperref...
 *** preamble done ***
;.............;....

1/6:subsection:...."Background and problem statement" for node1.html
;.......;........

2/6:subsection:..."PhD research directions" for node2.html
;.,.;.

3/6:subsection:...."How to apply" for node3.html
;..,.;...

4/6:section:.."The LightKone project" for node4.html
;..;

5/6:bibliography:.."Bibliography" for node5.html
;,.......................................................;

6/6:sectionstar:.."About this document ..." for node6.html
;;.

Writing image file ...

Fatal (syswait): exec " ./images.tex" failed: Permission denied
 at /usr/local/bin/latex2html line 3785.

Cannot read logfile './images.log': No such file or directory