You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@reef.apache.org by Eranga Heshan <er...@gmail.com> on 2017/03/16 21:40:08 UTC
[GSoC] [REEF-1745] Formal analysis on REEF protocols
Hi all,
I am an undergraduate of Computer Science & Engineering, University of
Moratuwa, Sri Lanka. I have done Formal Specification of Systems as part of
my curriculum.
As commented in Jira, I express my interest towards this issue. I am
currently looking into Apache-REEF and understanding how it works.
I would like to know what protocols this project expect to be formally
specified and components which use those protocols to communicate in
between.
Thanks & Regards,
Eranga Heshan
*Undergraduate*
Computer Science & Engineering
University of Moratuwa
Mobile: +94 71 138 2686 <%2B94%2071%20552%202087>
Email: eranga.h.n@gmail.com
<https://www.facebook.com/erangaheshan> <https://twitter.com/erangaheshan>
<https://www.linkedin.com/in/erangaheshan>
Re: [GSoC] [REEF-1745] Formal analysis on REEF protocols
Posted by Byung-Gon Chun <bg...@gmail.com>.
Hi Eranga,
You can find information at http://reef.apache.org/talks.html.
I hope this helps to prepare for your proposal.
We will review GSoC proposals once the proposal period ends.
Thanks.
-Gon
On Fri, Mar 17, 2017 at 6:51 AM, Eranga Heshan <er...@gmail.com> wrote:
> Hi all,
>
> Please share if there is any tutorial or video that might help me get a
> clear understanding about Apache-Reef. It would help me understand
> Apache-Reef easily. Then I can quickly come to solve the issue.
>
> Thanks & Regards,
>
>
>
> Eranga Heshan
> *Undergraduate*
> Computer Science & Engineering
> University of Moratuwa
> Mobile: +94 71 138 2686 <%2B94%2071%20552%202087>
> Email: eranga.h.n@gmail.com
> <https://www.facebook.com/erangaheshan> <https://twitter.com/
> erangaheshan>
> <https://www.linkedin.com/in/erangaheshan>
>
> On Fri, Mar 17, 2017 at 3:10 AM, Eranga Heshan <er...@gmail.com>
> wrote:
>
> > Hi all,
> >
> > I am an undergraduate of Computer Science & Engineering, University of
> > Moratuwa, Sri Lanka. I have done Formal Specification of Systems as part
> of
> > my curriculum.
> >
> > As commented in Jira, I express my interest towards this issue. I am
> > currently looking into Apache-REEF and understanding how it works.
> >
> > I would like to know what protocols this project expect to be formally
> > specified and components which use those protocols to communicate in
> > between.
> >
> > Thanks & Regards,
> >
> >
> > Eranga Heshan
> > *Undergraduate*
> > Computer Science & Engineering
> > University of Moratuwa
> > Mobile: +94 71 138 2686 <%2B94%2071%20552%202087>
> > Email: eranga.h.n@gmail.com
> > <https://www.facebook.com/erangaheshan>
> > <https://twitter.com/erangaheshan>
> > <https://www.linkedin.com/in/erangaheshan>
> >
>
--
Byung-Gon Chun
Re: [GSoC] [REEF-1745] Formal analysis on REEF protocols
Posted by Eranga Heshan <er...@gmail.com>.
Hi all,
Please share if there is any tutorial or video that might help me get a
clear understanding about Apache-Reef. It would help me understand
Apache-Reef easily. Then I can quickly come to solve the issue.
Thanks & Regards,
Eranga Heshan
*Undergraduate*
Computer Science & Engineering
University of Moratuwa
Mobile: +94 71 138 2686 <%2B94%2071%20552%202087>
Email: eranga.h.n@gmail.com
<https://www.facebook.com/erangaheshan> <https://twitter.com/erangaheshan>
<https://www.linkedin.com/in/erangaheshan>
On Fri, Mar 17, 2017 at 3:10 AM, Eranga Heshan <er...@gmail.com> wrote:
> Hi all,
>
> I am an undergraduate of Computer Science & Engineering, University of
> Moratuwa, Sri Lanka. I have done Formal Specification of Systems as part of
> my curriculum.
>
> As commented in Jira, I express my interest towards this issue. I am
> currently looking into Apache-REEF and understanding how it works.
>
> I would like to know what protocols this project expect to be formally
> specified and components which use those protocols to communicate in
> between.
>
> Thanks & Regards,
>
>
> Eranga Heshan
> *Undergraduate*
> Computer Science & Engineering
> University of Moratuwa
> Mobile: +94 71 138 2686 <%2B94%2071%20552%202087>
> Email: eranga.h.n@gmail.com
> <https://www.facebook.com/erangaheshan>
> <https://twitter.com/erangaheshan>
> <https://www.linkedin.com/in/erangaheshan>
>