Master in Computer science, 2^nd year (ULB 2017 – 2018)

Some works

ULB

• Master thesis

  MEMO-F524 15.5/20
  An Efficient and Parallel Abstract Interpreter in Scala (with Akka, to analyze Scheme programs):

  (Promotors Coen De Roover and Wolfgang De Meuter, Advisor Quentin Stiévenart / Software Languages Lab, VUB)

  • Final document: Parallélisation d’un interpréteur abstrait, au travers du modèle acteur — Application à l’interpréteur abstrait Scala-AM PDF (3.3 Mio) (August 2019)
  • Présentation finale slides PDF (514.4 Kio) (September 2019) Speaker Deck
  • Scala-Par-AM benchmarks results
  • Implementation Scala-Par-AM
  • Presentation slides PDF (1.3 Mio) (November 2017) Speaker Deck
  • Second presentation slides PDF (1 Mio) (March 2018) Speaker Deck
  • First algorithm slides PDF (673.3 Kio) (November 2018) Speaker Deck
  • 3×3 Parallel Implementations slides PDF (510.4 Kio) (March 2019) Speaker Deck

• Computer science seminar

  INFO-F530 (2017 – 2018) 19/20
  Seminars:
  • Report of seminar Cache-Oblivious Algorithms & Data Structures by John Iacono: PDF (135.1 Kio) (June 4, 2018)
  • Report of seminar Blockchain, Opportunities and challenges — Use case FAB Framework: Solving the Scalability Dilemma to Enable High Performance Enterprise Applications by Mohamed El Kandri: PDF (132.7 Kio) (June 4, 2018)
  • Rapport du séminaire Utilisation de plateformes ludiques de programmation pour motiver les apprenants de Sébastien Hoarau: PDF (135.6 Kio) (June 5, 2018)

• Computer systems

  ELEC-Y506 (4004876EER) (Jacques Tiberghien, 2018) 16/20
  all notes extracted from slides: PDF (435.8 Kio) (January 15, 2018)

• Declarative programming

  INFO-Y087 (4013477ENR) (Geraint A. Wiggins, assistant Paul Van Eecke, 2018) 16/20
  Project English Linear System Solver in Prolog

• Functional programming

  INFO-Y085 (4013056FNR) (Wolfgang De Meuter, assistant Laurent Christophe, 2017) 17/20
  Project Explore the Desert in Haskell 19/20

• Multicore programming

  INFO-Y099 (40160038FNR) (Jennifer B. Sartor, assistants Janwillem Swalens, Christophe De Troyer, 2018)
  Projects:

  • L-system evaluator in Python and PyOpenCL: PDF (1.2 Mio) (September 19, 2018)
  • Mini Twitter in Erlang (never finished)

  Side projects:

  • assertOpenCL: OpenCL library that implements assert* and PRINT* macros, with host examples in C/C⁺⁺, Java, Scala and Python
  • tsv2htmltable (work in progress): convert text data as TSV, CSV… to fancy HTML tables (or L^AT_EX or other text data)

• Parallel systems

  INFO-Y100 (4004940ENR) (Jan Lemeire, assistant Jan G. Cornelis, 2017) 14/20
  Both project and side project Sequential and Parallel Numerical Verification of the σ_odd problem (with theoretical results) in C⁺⁺, parallelization with multi-threading, message-passing (Open MPI) and OpenCL. 17/20
  Presentation slides Parallel Numerical Verification of the σ_odd problem (December 15, 2017) on Speaker Deck
  (Brief statement of the problem: problème σ_impair)
• …
• Master Computer Science ULB 2016–2018 Bibliography: PDF (120 Kio) (November 15, 2020)

• 1^st year of this master
• Programming langages
• Sci-Hub and Library Genesis
• SlideShare : OPiMedia or Speaker Deck : opimedia