Meeting Agendas, Timeline for Project

29 views
Skip to first unread message

Jugal Mistry

unread,
May 30, 2020, 3:36:33 PM5/30/20
to checker-fra...@googlegroups.com
Hi!
I have created a timeline for the completion of my project.
I will use this thread for all meeting agendas.

June 1 - June 7: Working on `FlowExpressions` file and dataflow.analysis package
June 8 - June 14: Work on dataflow.main package
June 15 - June 21: Finishing off dataflow package Bug fixes if any appear, finishing all review points in meetings and reviews
June 22 - June 28:  }  Making changes to framework.main and 
June 29 - July 5:     }  framework.flow
July 6 - July 12: Finishing up all places where Receiver is imported/called, Correcting all mistakes from review points. 

In this duration, Max suggested a meeting with him every Thursday. Please let me know your preferences Mike.
I hope this timeline seems correct. Please let me know any modifications to the same.


--
Thanks!
Jugal Mistry

Jugal Mistry

unread,
Jun 9, 2020, 10:35:50 AM6/9/20
to checker-fra...@googlegroups.com, Michael Ernst, Maximilian Gama
I have added the link to the Drive folder containing progress reports and meeting minutes, and sent an invite.

--
Thanks!
Jugal Mistry

Jugal Mistry

unread,
Jun 15, 2020, 11:09:55 AM6/15/20
to checker-fra...@googlegroups.com, Michael Ernst
Questions:
1. Receiver has TypeMirror field, but JavaParser Expression subclasses have either no Type field or name of the type in form of a string.
2. As I have to convert instance methods of Receiver to static methods accepting expression, I am having a little difficulty accessing fields of Expression that are equivalent to Receiver's fields.
3. Receiver has some special cases, like Unknown and LocalVariable, which are not present in JavaParser's API. A NameExpr can be used as LocalVariable, but NameExpr only stores a name, it does not contain type of the variable and cannot work without context.
4. I am having problems understanding how dataflow uses Receiver to create a CFG.

I am sending these questions on this thread to discuss in a meeting. If these can be answered by an email, a separate thread will do.
Please let me know what time will be suitable for a meeting, if applicable.
Our last meeting time was good. (930 am Pacific Time)
--
Thanks!
Jugal Mistry

Jugal Mistry

unread,
Jul 16, 2020, 11:54:39 PM7/16/20
to checker-fra...@googlegroups.com, Michael Ernst, Maximilian Gama
Mike,
I need to have a meeting set up with you for some questions. Do let me know if this meeting is possible, I've had doubts for and they cannot be discussed over an email. Do let me know if it is possible and I'll add the agenda.

Michael Ernst

unread,
Jul 17, 2020, 3:19:19 PM7/17/20
to Jugal Mistry, Checker Framework GSOC, Maximilian Gama
Jugal-

I'm happy to meet with you.  I assume early morning or late evening is best for you.  I prefer before 10:30am, or after 8pm, IST.  Let me know what works for you.  (No need to copy the list on our scheduling.)

Mike

Jugal Mistry

unread,
Jul 18, 2020, 10:22:03 AM7/18/20
to Michael Ernst, checker-fra...@googlegroups.com, Maximilian Gama
Yes, if possible for you we could do it tomorrow, 19th July, on IST 9:30. Max will be joining this meeting. This is the regular time at which I have meetings with Max.
If the above time and date is possible, I'll schedule a meeting.
The link to the agenda/talking points: Minutes_Of_Meeting_Jugal_Mistry

Jugal Mistry

unread,
Jul 18, 2020, 10:23:36 AM7/18/20
to Michael Ernst, checker-fra...@googlegroups.com, Maximilian Gama
IST 930 PM
Reply all
Reply to author
Forward
0 new messages