Functional language for an Operating System : Run time system & compiler

"ziteribo" <guillaume.fortaine@wanadoo.fr>
25 Aug 2006 22:18:35 -0400

          From comp.compilers

Related articles
Functional language for an Operating System : Run time system & compil guillaume.fortaine@wanadoo.fr (ziteribo) (2006-08-25)
| List of all articles for this month |

From: "ziteribo" <guillaume.fortaine@wanadoo.fr>
Newsgroups: comp.compilers
Date: 25 Aug 2006 22:18:35 -0400
Organization: Compilers Central
Keywords: functional
Posted-Date: 25 Aug 2006 22:18:35 EDT

Hello Misters,


As you are interested in compilers, I am asking your help.


I believe it's time for a full-fledge verified OS.


http://www.ertos.nicta.com.au/publications/papers/Tuch_KH_05.pdf


I am attempting to build a team.


http://www.cse.ogi.edu/~hallgren/House/


OS-design :
http://www.ertos.nicta.com.au/publications/papers/Leslie_06.pdf ( for
transition )
http://www.marcus-brinkmann.org/hurd-ng.pdf
http://www.eecg.toronto.edu/~tornado/ ( scalability / hot swapping )


kernel :
http://os.inf.tu-dresden.de/L4/L4.Sec/
http://www.doclsf.de/papers/vstte06.pdf


network stack :
http://www.cl.cam.ac.uk/~pes20/Netsem/


programming :
http://fling-l.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=The_POPLmark_Challenge
http://www.informatik.uni-bonn.de/~loeh/GFP.html
http://maude.cs.uiuc.edu/tools/scc/


proving environment :
http://isabelle.in.tum.de/
http://www.cl.cam.ac.uk/Research/HVG/HOL/


compiler :
http://pauillac.inria.fr/~xleroy/compcert-backend/
http://www.score.is.tsukuba.ac.jp/~okuma/vc/


Any suggestions ?


Thank you for your answer,


I will set up a mailing-list, a web server, a wiki and an IRC


Best Regards,


                                                    Guillaume FORTAINE
[Good luck. -John]



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.