ocamlbuild a tool for automatic compilation of ocaml
play

ocamlbuild , a tool for automatic compilation of OCaml projects - PowerPoint PPT Presentation

Aug 13, 2022 •467 likes •1.73k views

ocamlbuild , a tool for automatic compilation of OCaml projects ocamlbuild , a tool for automatic compilation of OCaml projects Berke Durak Nicolas Pouillard Berke.Durak@inria.fr Nicolas.Pouillard@inria.fr June 6, 2007 Berke Durak, Nicolas

  1. ocamlbuild , a tool for automatic compilation of OCaml projects Dealing with exceptions to standard rules Tags and dependencies One can define dependencies triggered by combinations of tags dep ["ocaml"; "link"; "byte"; "program"; "plugin:foo"] ["plugin/pluginlib.cma"; "plugin/plugin foo.cmo"] By tagging files we make things happen "test.byte": plugin:foo Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 16 / 28

  2. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin Outline 1 Introduction 2 Regular OCaml projects 3 Dealing with exceptions to standard rules 4 Writing an ocamlbuild plugin 5 General features 6 Conclusion Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 17 / 28

  3. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin Not a specific language, but plain OCaml code Plugins are compiled on the fly Dynamic configuration is feasible With a plugin one can: Extend rules (add new ones, override old ones) Add flags and dependencies based on tags Tag files Change options Define the directory structure precisely Help ocamldep Specify external libraries Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 18 / 28

  4. ocamlbuild , a tool for automatic compilation of OCaml projects Writing an ocamlbuild plugin A plugin example Let’s read it in live... Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 19 / 28

  5. ocamlbuild , a tool for automatic compilation of OCaml projects General features Outline 1 Introduction 2 Regular OCaml projects 3 Dealing with exceptions to standard rules 4 Writing an ocamlbuild plugin 5 General features 6 Conclusion Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 20 / 28

  6. ocamlbuild , a tool for automatic compilation of OCaml projects General features Parallel execution where applicable You select the maximum number of jobs ( -j N ) Rules know how to ask for parallel targets The system keeps things scheduled correctly Example: Separate compilation of byte code (Optimal scheduling would require a static graph) Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 21 / 28

  7. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 0 (0) STARTING -------- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  8. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 1 (0) back.ml.depends O------- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  9. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 8 (0) keyword.mli.depends O-b---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  10. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 16 (0) mark.cmi O-B---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  11. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 20 (0) stringSet.cmi O-B---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  12. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 24 (0) time.mli.depends O-b---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  13. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 32 (0) stdlib.ml.depends O-b---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  14. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 35 (0) stringSet.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  15. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 37 (0) settings.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  16. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 44 (0) lineCount.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  17. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 45 (0) interface.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  18. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:00 45 (0) interface.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  19. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 52 (0) stringMap.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  20. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 53 (0) printer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  21. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 53 (0) printer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  22. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 57 (0) time.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  23. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 64 (0) partialGrammar.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  24. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 67 (0) parameters.ml.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  25. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 72 (0) misc.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  26. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 74 (0) keyword.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  27. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 77 (0) error.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  28. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 82 (0) parameters.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  29. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 84 (0) action.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  30. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:01 87 (0) parser.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  31. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 96 (0) parserAux.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  32. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 103 (0) tarjan.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  33. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 106 (0) unionFind.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  34. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 108 (0) lexer.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  35. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 108 (0) lexer.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  36. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 110 (0) lexer.cmo OnB---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  37. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 111 (0) parser.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  38. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 112 (0) partialGrammar.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  39. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 114 (0) lexer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  40. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:02 116 (0) codeBits.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  41. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 118 (0) preFront.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  42. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 120 (0) tokenType.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  43. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 123 (0) inliner.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  44. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 126 (0) traverse.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  45. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 126 (0) traverse.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  46. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 129 (0) code.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  47. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 131 (0) lr1.mli.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  48. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 134 (0) lookahead.mli.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  49. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 137 (0) gMap.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  50. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 144 (0) lr1.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  51. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 146 (0) item.ml.depends Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  52. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 149 (0) patricia.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  53. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 151 (0) patricia.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  54. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:03 151 (0) patricia.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  55. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 154 (0) front.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  56. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 164 (0) listMonad.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  57. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 167 (0) listMonad.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  58. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 170 (0) infer.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  59. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 171 (0) lexmli.mll Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  60. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 172 (0) lexmli.ml.depends Onb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  61. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 174 (0) lexdep.mll Onb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  62. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 177 (0) interface.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  63. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 178 (0) IO.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  64. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 181 (0) lexmli.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  65. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:04 183 (0) IO.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  66. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 187 (0) infer.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  67. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 190 (0) dot.cmi OnB---I- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  68. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 193 (0) compressedBitSet.cmi OnB---I- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  69. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 195 (0) dot.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  70. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  71. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  72. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 197 (0) grammar.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  73. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 200 (0) infiniteArray.cmi OnB---I- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  74. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 201 (0) item.cmx ONb---i- - Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  75. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 204 (0) breadth.mli.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  76. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:05 208 (0) invariant.ml.depends Onb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  77. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 212 (0) invariant.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  78. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 213 (0) inliner.cmx ONb---i- | Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

  79. ocamlbuild , a tool for automatic compilation of OCaml projects General features A status bar for your visual comfort Compilation tools echo commands and their output This creates a long and boring output that scrolls too fast Here you can keep an eye on what is going on! It succinctly displays time, number of targets, and tags Command outputs are correctly multiplexed A trace of the commands executed is kept in a log file This log file can be used as the basis of a shell script Example 00:00:06 214 (0) code.cmx ONb---i- / Berke Durak, Nicolas Pouillard ocamlbuild , a tool for automatic compilation of OCam June 6, 2007 22 / 28

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At

Dune The OCaml build system Jeremie Dimino, Jane Street @diml @dimenix The history of Dune At the beginning, there was omake, ocamlbuild, ... ... then Jane Street did Jenga and the Jenga rules... ... then a domain specic tool called

360 views • 14 slides
Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @

Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @

Rotor: First Steps Towards a Refactoring Tool for OCaml Reuben N. S. Rowe r.n.s.rowe @ kent.ac.uk Simon Thompson s.j.thompson @ kent.ac.uk University of Kent, Canterbury OCaml Users and Developers Workshop, Oxford, UK Friday 8 th September

780 views • 64 slides
State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline

State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline

State of Multicore OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge Outline Overview of the multicore OCaml project Multicore OCaml runtime design Future directions Multicore OCaml Multicore OCaml Add native

932 views • 62 slides
Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC

Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC

Accessing and using weather data in OCaml Hez Carty - OCaml 2013 MDA Information Systems LLC Weather and OCaml OCaml - why and where? Library bindings Highs and lows Why OCaml The usual reasons Functional (when you want

503 views • 13 slides
Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews

Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews

Automatic Library Compilation Proof Tree Visualisation Conclusion Automatic Library Compilation and Proof Tree Visualisation for Coq Proof General Hendrik Tews Technische Universit at Dresden Third Coq Workshop, August 26, 2011 Hendrik

385 views • 16 slides
Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous

Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous

Compilation Techniques for Automatic Extraction of Parallelism and Locality in Heterogeneous Architectures Jos M. Andin P H D A DVISORS : Gabriel Rodrguez and Manuel Arenaz Outline 1. Introduction 2. A Novel Compiler Support for

1.55k views • 122 slides
OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml

OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml

OCaml Scope: a New OCaml API Search Jun Furuse - Standard Chartered Bank Who am I? OCaml hacker using Haskell at work What did helped me most in Haskell industry? Type class? Purity? Laziness? It's Hoogle. API Search Engine for Haskell

509 views • 21 slides
From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for

From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for

From OCaml to Javascript at Skydeck jake.donham@skydeck.com What is Skydeck? a tool for managing your mobile phone reads your mobile phone call log presents it back to you in a useful way attach people to phone numbers view calls by person

401 views • 17 slides
Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge

Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge

Retrofitting a Concurrent GC onto OCaml KC Sivaramakrishnan University of OCaml Labs Cambridge OCaml industrial-strength, pragmatic, functional programming language Functional core with imperative and Hindley-Milner Type Inference

721 views • 28 slides
High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is

High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is

High level OCaml optimisations Pierre Chambart, OCamlPro OCaml 2013, 23 September 2013 OCaml is fast Not an optimising compiler, but: Predictable performances Good generated code What can we do to get faster ? Small modification on high

285 views • 25 slides
Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser

Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser

spcl.inf.ethz.ch @spcl_eth T ORSTEN H OEFLER Progress in automatic GPU compilation and why you want to run MPI on your GPU with Tobias Grosser and Tobias Gysi @ SPCL presented at CCDSC, Lyon, France, 2016 spcl.inf.ethz.ch @spcl_eth #pragma

402 views • 23 slides
Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and

Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and

Calpa: A Tool for Automating Selective Dynamic Compilation Markus U. Mock, Craig Chambers, and Susan J. Eggers University of Washington Department of Computer Science and Engineering Selective Dynamic Compilation Dynamic exploits

670 views • 53 slides
Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander

Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander

Enabling Automatic Partitioning of Data-Parallel Kernels with Polyhedral Compilation Alexander Matz, Holger Frning Heidelberg University, Germany LLVM Performance Workshop @CGO 2018 Sat 24 Feb 2018, Vienna, Austria Multi GPU in the Real

430 views • 19 slides
Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of

Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of

Practical Algebraic Effect Handlers in Multicore OCaml KC Sivaramakrishnan University of OCaml Cambridge Labs Multicore OCaml Native support for concurrency and parallelism https://github.com/ocamllabs/ocaml-multicore Led from

526 views • 36 slides
Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool

Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool

Towards Deductive Compilation: Implementing a Partial Evaluator Via a Software Verification Tool Reiner H ahnle (joint work with Richard Bubel and Ran Ji) Chalmers University of Technology Department of Computer Science and Engineering 10

1.11k views • 82 slides
The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X.

The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X.

The state of OCaml, 2013 Xavier Leroy INRIA Paris-Rocquencourt OCaml Workshop, 2013-09-24 X. Leroy (INRIA) The state of OCaml, 2013 OCaml 2013 1 / 19 Outline OCaml development news 1 OCaml community news 2 Work in progress 3 X. Leroy

413 views • 20 slides
New Mexico Public Schools: Budget & Finance June 4, 2020 Dr. Gloria Rendon David Craig,

New Mexico Public Schools: Budget & Finance June 4, 2020 Dr. Gloria Rendon David Craig,

New Mexico Public Schools: Budget & Finance June 4, 2020 Dr. Gloria Rendon David Craig, PED Dr. Hugh Prather Panel of Experts: Terry Dean, NMASBO TJ Parks, Superintendent, Hobbs David Craig, PED Fiduciary Responsibility-what does that

734 views • 34 slides
Presentation to ITAC CHILDS Replacement Program (Guardian) State of Arizona Department of

Presentation to ITAC CHILDS Replacement Program (Guardian) State of Arizona Department of

Presentation to ITAC CHILDS Replacement Program (Guardian) State of Arizona Department of Child Safety April 26, 2017 Status Through: March 31, 2017 Contents Program Status Program Integrated Milestone Schedule IV&V Actions Status

483 views • 19 slides
National Hydrogen Learning Demonstration Status (Presentation) Article CITATIONS READS 0 23 6

National Hydrogen Learning Demonstration Status (Presentation) Article CITATIONS READS 0 23 6

See discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/254995491 National Hydrogen Learning Demonstration Status (Presentation) Article CITATIONS READS 0 23 6 authors , including: Keith

821 views • 43 slides
Project Plan Presentations Today September 30, Anthony 1279 Team Learning A-Z Team

Project Plan Presentations Today September 30, Anthony 1279 Team Learning A-Z Team

Project Plan Presentations Today September 30, Anthony 1279 Team Learning A-Z Team Accenture Team Michigan State University ITS Team GM The Capstone Experience All-Hands Announcements 1 Project Plan Robot Builder Word Guessing

177 views • 13 slides
A Private and Decentralized Marketplace Kewde Anonymous upon till now.. Bachelors degree

A Private and Decentralized Marketplace Kewde Anonymous upon till now.. Bachelors degree

A Private and Decentralized Marketplace Kewde Anonymous upon till now.. Bachelors degree in business engineering (last year) 21 years old, but fascinated by computers at the age of 12 Interests Programming, security,

530 views • 29 slides
DNSSEC with SmartcardHSM Not as Easy as One Thinks Eberhard W Lisse Namibian Network Information

DNSSEC with SmartcardHSM Not as Easy as One Thinks Eberhard W Lisse Namibian Network Information

DNSSEC with SmartcardHSM Not as Easy as One Thinks Eberhard W Lisse Namibian Network Information Centre 2015-06-24 Lisse (NA-NiC) SmartcardHSM 2015-06-24 1 / 10 Introduction Why? So, what are we looking for? Easy off the shelf DNSSEC

739 views • 10 slides
INFORMATION SECURITY AT COCC COCC created and filled the Information Security position within

INFORMATION SECURITY AT COCC COCC created and filled the Information Security position within

Subject Cybersecurity Strategic Plan Connection Institutional Efficiency: Goal Statement: Strengthen systems, policies and procedures to create more proactive, responsive and effective internal processes. Goal Intention: While the College has

178 views • 3 slides
The NASA Aeronautics Blueprint - Toward a Bold New Era of Aviation 1 Table of Contents 2.4 The

The NASA Aeronautics Blueprint - Toward a Bold New Era of Aviation 1 Table of Contents 2.4 The

The NASA Aeronautics Blueprint - Toward a Bold New Era of Aviation 1 Table of Contents 2.4 The Airspace System i. The NASA Aeronautics Blueprint Towards a Bold new Era of Aviation 2.4.1 Weather 2.4.2 Traffic Optimization ii. Table of

426 views • 39 slides

More recommend