Hi:
Here my proposals:
Proposal 1:
Library of Concurrent Programming Concepts
The Ownership-based Metaobject Protocol [1] is an abstraction meant to
allow an easy implementation of a wide range of concurrent programming
concepts such as actors and STM.
The goal would be to extend the existing set of provided concepts by
a wider collection of concepts from literature and programming languages,
for instance Erlang actors, E vats, Shacl domains, Axum domains, different
types of STMs, and so on.
The goal is to provide programmers a set of abstractions to mix and match,
for their applications.
benefit for the student: getting strong exposure to the subtleties of
concurrent
programming and the benefits of the wide range of
different
approaches.
dialect: Pharo 3, the OMOP depends on Opal
skill level: topic is adaptable to different skill levels, but object-orient
background knowledge is required
mentor: Stefan Marr (smallt...@stefan-marr.de)
co-mentor TBD
[1] http://www.stefan-marr.de/research/omop/
Proposal 2:
An AST-based debugger for Pharo
The new infrastructure in Pharo tries to bring the program
execution on a higher level to simplify tools and push more
complexity into lower levels of system that do not need to
be exposed to the programmer. With Opal, the compiler already
uses a proper AST representation. The next step is to bring
the debugger to the same level to simplify it and modern
features to more directly interact with objects and execution.
dialect: Pharo 3
skill level: medium to advanced, strong object-oriented background advisable
mentor:
Clément Bera (bera.clem...@gmail.com)
Stefan Marr (smallt...@stefan-marr.de)
Best regards
Stefan
--
Stefan Marr
INRIA Lille - Nord Europe
http://stefan-marr.de/research/
