[aims-announce] Fwd: Fwd: Postdoc position: Converting System-Level Checkpoints of HPC Applications

[Thomas Bocek]

fyi

----- Forwarded message from Martin Quinson <martin.quinson at irisa.fr> -----

Dear all,
we are looking for a postdoc with strong abilities in Operating System
programming and a good culture of distributed systems.  Please
circulate this proposal to any interested students. Applicant should
send a CV + motivation letter to martin.quinson at ens-rennes.fr as soon
as possible.

Title: Converting System-Level Checkpoints of HPC Applications
for their Simulation and Verification
Postdoc Duration: 18 months, starting as soon as possible.

Executive summary:
 This work aims at automating the conversion of checkpoints captured
 on real distributed applications (typically, HPC code using MPI) so
 that they can be loaded in the SimGrid simulator and model-checker.
 This requires (among others) to convert on the fly internal data
 structures of the MPI libraries and runtime. The motivation is to
 switch between methodologies (real execution, simulation, formal
 verification) to ease the debugging of these large, dynamic and
 complex applications.
		
 Advisor: Martin Quinson (IRISA, team Myriads).
 More info: http://people.irisa.fr/Martin.Quinson/

Thanks in advance,
Martin Quinson.

--
The practical effectiveness of the algorithm may be somewhat overstated
since the experimental results prove its inability to fulfill its goals.
             -- Bastard Reviewer From Hell






----- End forwarded message -----

-- 
Le sens commun n'est pas si commun (Common sense is not so common).
  -- Voltaire

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 2017-postdoc-stargrid.pdf
Type: application/pdf
Size: 59990 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/aims-announce/attachments/20170327/bc50e5e7/attachment-0001.pdf>