[P4] megbeszélés

[Tejfel Máté]

Sziasztok!

   Csak a két utolsó olyan, ami nem volt benne az eredetiben a cost 
analysis most is megy Dániellel, csak EIT Phd keretében, de Gergő 
mondta, hogy (ezzel a megjegyzéssel) jó lenne ha szerepeltetnénk. A 
verifikációs pontot már megbeszéltem Gergővel (igazából az is némileg 
most folyó kutatás folytatása lenne). A statikus analízisről is 
beszéltünk, de azt még egyeztetni kellene... A többit elvileg a Gergő 
által küldött anyagból szedtem át...

   Ha minden igaz Gergő jön át Dániellel egyeztetni a PhD-s téma 
kapcsán. Akkor legyen az a "vészforgatókönyv", hogy aki részt tud venni, 
egyeztessen arról, i a helyzet, ki hol van megakadva, hogy áll a bugfix. 
Dániel te pedig egyeztess Gergővel, ha át tud jönni...

      M.


2018. 11. 27. 22:22 keltezéssel, Sándor Laki írta:
> Sziasztok,
>
> Most jutott eszembe, hogy a holnap 10-12 közötti időpont kivételesen 
> nekem se jó. Peti, Dani és Robi persze tudnak beszélni.
>
> PGery-ék jönnének át?
>
> Üdv.
> Sanyi
>
>
> 2018.11.27. 22:13 keltezéssel, Sándor Laki írta:
>> Szia,
>>
>> Jobbulást! Amennyire látom ezek nem azok a témák, amiket legutóbb 
>> megbeszéltünk jövő évre. Lehet, hogy az lenne a jó irány, hogy lenne 
>> egy compileres projekt és a további aktivitások köré meg szervezünk 
>> egy másikat, ami csak használja a Tapast.
>>
>> Üdv.
>> Sanyi
>>
>> 2018.11.27. 21:53 keltezéssel, Tejfel Máté írta:
>>> Sziasztok!
>>>
>>>   Mint már pár embernek jeleztem, sajnos lebetegedtem, így nem tudok 
>>> holnap bemenni. Ennek ellenére kérlek tartsatok megbeszélést és a ki 
>>> mivel haladt (pl. mi a helyzet a bugfixel) megbeszélésén túl 
>>> fussatok rajta át, mit tudunk vállalni a jövő évi tervekből. Sanyi 
>>> itt elsősorban a ti részeteket kellene tisztázni, mi első körben 
>>> ilyesmiket tudunk belerakni:
>>>
>>>   - HW track  (Robi)
>>>
>>>   - More P4 architectures (Robi, LDani, én)
>>>
>>>         - case studies
>>>
>>>         - easy architecture handling
>>>
>>>         - run to completition vs async blocks
>>>
>>>   - cost analysis of P4 programs + validation (Lukács Dániel, 
>>> related EIT PhD topic)
>>>
>>>   - applicable verification possibilities of P4 (Tóth Gabi)
>>>
>>>   - P4 static analysis (Németh Boldizsár)
>>>
>>>        - internal representation
>>>
>>>        - definition of usefull analysis methods
>>>
>>>        - implementation of some methods
>>>
>>> Az új pontokról részben már beszéltem Pongrácz Gergővel, de persze 
>>> lehet majd még rajtuk iterálni...
>>>
>>>       Máté
>>>
>>> _______________________________________________
>>> P4 mailing list
>>> P4 at plc.inf.elte.hu
>>> https://plc.inf.elte.hu/mailman/listinfo/p4
>>
>