|
|
Fernando Lu�s Dotti PhD in
Computer Science at Berlin Technical University,
1993-97.
E-mail: firstname.lastname(at)pucrs.br Phone: +55 51 3320 3558
(dept)
+55 51 3353 8614 (direct) www.inf.pucrs.br/~fldotti (this
web page) |
Fernando
Curriculum
Vitae
(Lattes CV - CNPq) |
|
Undergraduate
Courses [at PPGCC
- the Graduate Program in CS at School of Technology -
PUCRS] �
Operating
Systems �
Distributed
Systems �
Computational
Models for Concurrency
[ PUCRS students please find
information in our Moodle area] |
|
Graduate
Courses: [at
Computer Science and Computer Engineering courses at
School Technology - PUCRS] �
Distributed
Algorithms �
Distributed
Systems
[ PUCRS students please find
information in our Moodle area] |
|
Research
Interests: 1.
Currently
(last five years), we are investigating scalable and
dependable distributed systems. 2.
I have
also investigated and proposed techniques and
approaches to construct correct distributed systems. |
|
Prospective
Students:
If you are an undergraduate (bachelor) student,
see below some possible areas for a course completion
project (TC). Prospective
Collaborations:
If you are from the industry, our science and
technology park TecnoPUC, several times
awarded best in Brazil and Latin-America, can help us
in several ways. |
|
Possible
areas for your course completion projects, MSc or
PhD projects: Examples
of possible areas for under graduate (bachelor = uG) course completion
projects, MSc. For
PhD possibilities this list gives examples of topics we work
on, but please contact-me directly. � Scheduling
in State Machine Replication: �
Work-stealing
techniques applied to parallel SMR
scheduling (uG, MSc) - see related Reconfiguring Parallel State Machine
Replication �
Concurrent
data structures for dependency
tracking (uG, MSc) - see
related Efficient and Deterministic Scheduling for
Parallel State Machine Replication �
Techniques
for fast detection of causality
(dependency)
(uG, MSc) - see
related High performance recovery for parallel
state machine replication � Recovery
in State Machine Replication: �
Causality
based log
reduction (uG, MSc) - see
related High performance recovery for parallel
state machine replication �
Optimizing
the spanning tree of Byzcast (MSc) - see related Byzantine Fault-Tolerant Atomic Multicast �
Exploring
concurrency in consensus protocols (MSc)
- see Egalitarian Paxos in the
internet for an idea of related work � Platforms: �
A Go
library of distributed algorithms for dependable
distributed computing (uG) �
Distributed
algorithms/protocols debugging support using
causality (uG) � And
Others: these
are some examples of possible joint work. Of
course, other related aspects |
|
|
|
Selected
recent publications:
|
|
Early
Scheduling in Parallel State Machine Replication Boosting
State Machine Replication with Concurrent
Execution E. Alchieri, F. Dotti, P. J. Marandi, O. M. Mendizabal and F. Pedone 8th Latin American Symposium on
Dependable Computing (LADC), September 2018 |
|
Byzantine
Fault-Tolerant Atomic Multicast |
|
Reconfiguring Parallel
State Machine Replication |
|
High performance
recovery for parallel state machine replication |
|
Efficient
and Deterministic Scheduling for Parallel State
Machine Replication |
|
Analysis of Checkpointing Overhead
in Parallel State Machine Replication |
|
Recovery in Parallel
State-Machine Replication O. Mendizabal, P. J. Marandi, F. L. Dotti and F. Pedone |
|
Model
checking the deferred update replication
protocol |
|
A
formal model for the deferred update replication
technique A CTL
Model Checker for Stochastic Automata Networks.
OLEKSINSKI,
L. G. ; CORREA, C. M. ;
DOTTI, FERNANDO LUIS ; SALES, Afonso
. In:
Quantitative Evaluation of Systems (QEST), 2013,
Buenos Aires. |
|
Correct
transformation: From object-based graph grammars
to promela. |
|
Publications
since 2000, by areas: Scalable
Dependable Distributed Systems; Correct by
Construction Distributed Systems; Computer Networks;
Other. |
|
|