1:34 AM
@MaryStar how did it go? were there other presentations? what did you think? what were the other topics?
re industry there are many areas of CS that are now applicable... are you saying you want to do a MS thesis that is close to something applicable in business/ industry?
unf there seems a lot of pushback against getting MS/ Phd topics from anyone not your own advisor. dislike this myself because think it is significant obstacle in the way of open science.
2
I'm currently a M.S. student. My supervisor give me freedom to choose thesis topic. Since it is so hard for me, I decide to ask another professors whom I consider to be their PhD candidates in future. I have written an email to ask them. Is it a good idea to do so? And is my email appropriate fo...
8 hours later…
9:42 AM
3 hours later…
12:18 PM
0
In data flow analysis, is GEN statement where a variable is used and KILL statement is where variable is redefined?
@Gilles @WanderingLogic I feel like this question deserves better tags. What do you think? program-analysis, static-analysis, data-flow, .... -- there are too many candidates that sound appropriate to me, but I don't have a good overview of the field.
3 hours later…
3:01 PM
3 hours later…
6:29 PM
2 hours later…
9:00 PM
@Raphael data-flow-analysis is a kind of static-analysis. Two other kinds of static analysis are unification (for which we do have a low-use tag), and abstract interpretation, which AFAIK is just a slightly different way of thinking about data-flow analysis. Wikipedia also mentions model-checking, which you can use if you can figure out how to abstractly interpret the program as a finite state machine.
« first day (1175 days earlier) ← previous day next day → last day (3270 days later) »