m****n
发帖数: 293 | 1 Is it promising or not?
Is it practically feasible?
What is its application?
Thx. |
c****e
发帖数: 1453 | 2 大家可以讨论一下，.这个和testing 相比那个将来更好一些.
formal verification paper不少.不知道工业界的情况.Combinational equivalence
checking没什么作的八.
sequential的太难,没什么突破.很多人发BMC方面的东西，好像这个工业界开始用了。微
软好像对于软件的
verification很感兴趣，有不少人在做 software verification.
【在 m****n 的大作中提到】
: Is it promising or not?
: Is it practically feasible?
: What is its application?
: Thx.
|
h****n
发帖数: 45 | 3 PCC? proof carry code?
微
【在 c****e 的大作中提到】
: 大家可以讨论一下，.这个和testing 相比那个将来更好一些.
: formal verification paper不少.不知道工业界的情况.Combinational equivalence
: checking没什么作的八.
: sequential的太难,没什么突破.很多人发BMC方面的东西，好像这个工业界开始用了。微
: 软好像对于软件的
: verification很感兴趣，有不少人在做 software verification.
|
w*******g
发帖数: 9932 | 4 Proof carrying code generates publications but is it practical?
【在 h****n 的大作中提到】
: PCC? proof carry code?
:
: 微
|
R****r
发帖数: 227 | 5 type annotations are proofs, too...
【在 w*******g 的大作中提到】
: Proof carrying code generates publications but is it practical?
|
T********r
发帖数: 6210 | 6 I feel "The Source is the Proof" by Vivek Handar et. al from UC Irvine
is more practical. PCC is good in theory, though.
【在 w*******g 的大作中提到】
: Proof carrying code generates publications but is it practical?
|
v*****t
发帖数: 10 | 7 Software testing is also very promising. The top PhD graduate in software
engineering this year is working on software testing. See
http://www.cs.washington.edu/homes/taoxie/
As somebody already mentioned, he maintains software engineering genealogy.
I have heard different people from different schools said he is the top
candidate in software engineering this year.
I know another Indian student who just graduated in Feb. He went to Microsoft
Research, Redmond. He is also working on software test
【在 c****e 的大作中提到】
: 大家可以讨论一下，.这个和testing 相比那个将来更好一些.
: formal verification paper不少.不知道工业界的情况.Combinational equivalence
: checking没什么作的八.
: sequential的太难,没什么突破.很多人发BMC方面的东西，好像这个工业界开始用了。微
: 软好像对于软件的
: verification很感兴趣，有不少人在做 software verification.
|
r*****y
发帖数: 507 | 8 do you think SE is a very promising direction in CS field. I guess it is not!
It seems that the current promising directions for finding CS faculty jobs are
"security, sensor network, system, and theory". maybe more?
Microsoft
。
【在 v*****t 的大作中提到】
: Software testing is also very promising. The top PhD graduate in software
: engineering this year is working on software testing. See
: http://www.cs.washington.edu/homes/taoxie/
: As somebody already mentioned, he maintains software engineering genealogy.
: I have heard different people from different schools said he is the top
: candidate in software engineering this year.
: I know another Indian student who just graduated in Feb. He went to Microsoft
: Research, Redmond. He is also working on software test
|
w*******g
发帖数: 9932 | 9 if you are real good, any field can be a promising field.
【在 r*****y 的大作中提到】
: do you think SE is a very promising direction in CS field. I guess it is not!
: It seems that the current promising directions for finding CS faculty jobs are
: "security, sensor network, system, and theory". maybe more?
:
: Microsoft
: 。
|
r*****y
发帖数: 507 | 10 well, not really.
Some fields in CS are almost dead. no funding opportunity, and the stuff make
no much sense for industry either. No many deparment like to hire new faculty
in this kind of directions.
not!
are
software
genealogy.
【在 w*******g 的大作中提到】
: if you are real good, any field can be a promising field.
|
|
|
w*******g
发帖数: 9932 | 11 if you put this way, an able guy may do well in fields like security,
real-time, prog lang, db, embedded system, AI, networking, algorithm,
bioinfo, software engr, ... almost every fields I can think of.
any cold field out there in CS?
【在 r*****y 的大作中提到】
: well, not really.
: Some fields in CS are almost dead. no funding opportunity, and the stuff make
: no much sense for industry either. No many deparment like to hire new faculty
: in this kind of directions.
:
: not!
: are
: software
: genealogy.
|
x*g
发帖数: 68 | 12 security and bioinformatics are hot in faculty job market. not sure about
other fields.
not!
are
genealogy.
equivalence
了
【在 r*****y 的大作中提到】
: do you think SE is a very promising direction in CS field. I guess it is not!
: It seems that the current promising directions for finding CS faculty jobs are
: "security, sensor network, system, and theory". maybe more?
:
: Microsoft
: 。
|
v*****t
发帖数: 10 | 13 SE may be not as hot as "securit, sensor network, system, and theory", but the
job market demand is still there. I am also working on SE and plan to graduate
soon. From what I saw on ACM/IEEE/CRA job postings, there are a lot of
departments that are hiring in the SE area.
Some people said if you work on formal methods, you're dead and will not be
able to find a job in the academia. I am afraid I cannot agree with this
point, either. As far as I know, formal methods are very much appreciated in
t
【在 r*****y 的大作中提到】
: do you think SE is a very promising direction in CS field. I guess it is not!
: It seems that the current promising directions for finding CS faculty jobs are
: "security, sensor network, system, and theory". maybe more?
:
: Microsoft
: 。
|
x******r
发帖数: 367 | 14 Hardware verification seems to be quite promising.
You can use it in chip design
【在 m****n 的大作中提到】
: Is it promising or not?
: Is it practically feasible?
: What is its application?
: Thx.
|
T********r
发帖数: 6210 | 15 cannot agree more. formal method is always a good thing in academia. it is
computer *science*, not computer *engineering*. the more I get into it, the
more I appreciate it.
【在 v*****t 的大作中提到】
: SE may be not as hot as "securit, sensor network, system, and theory", but the
: job market demand is still there. I am also working on SE and plan to graduate
: soon. From what I saw on ACM/IEEE/CRA job postings, there are a lot of
: departments that are hiring in the SE area.
: Some people said if you work on formal methods, you're dead and will not be
: able to find a job in the academia. I am afraid I cannot agree with this
: point, either. As far as I know, formal methods are very much appreciated in
: t
|
w*******g
发帖数: 9932 | 16 but many computer scientists are really engineering.
【在 T********r 的大作中提到】
: cannot agree more. formal method is always a good thing in academia. it is
: computer *science*, not computer *engineering*. the more I get into it, the
: more I appreciate it.
|
h****t
发帖数: 93 | 17 解释一下名词吧。 什么是combinational equivalence checking?
什么是BMC，为什么sequential 太难 ？
【在 c****e 的大作中提到】
: 大家可以讨论一下，.这个和testing 相比那个将来更好一些.
: formal verification paper不少.不知道工业界的情况.Combinational equivalence
: checking没什么作的八.
: sequential的太难,没什么突破.很多人发BMC方面的东西，好像这个工业界开始用了。微
: 软好像对于软件的
: verification很感兴趣，有不少人在做 software verification.
|
h****t
发帖数: 93 | 18 would that be type checking, instead of model checking?
【在 R****r 的大作中提到】
: type annotations are proofs, too...
|
h****t
发帖数: 93 | 19 BMC is bounded model checking. 记得有一篇很新的paper 说BMC是decidable.
【在 h****t 的大作中提到】
: 解释一下名词吧。 什么是combinational equivalence checking?
: 什么是BMC，为什么sequential 太难 ？
|
m****n
发帖数: 293 | 20 好象欧洲比米国做的好,那儿的大牛不少.
好多牛VERIFICATION的会议在欧洲开.
搞的俺PAPER没少发,会一个没参加.
DAMN VISA, DAMN IT.
。微
【在 h****t 的大作中提到】
: 解释一下名词吧。 什么是combinational equivalence checking?
: 什么是BMC，为什么sequential 太难 ？
|
|
|
R****r
发帖数: 227 | 21 both are checking software properties ... it depends on how expressive
the type system is
【在 h****t 的大作中提到】
: would that be type checking, instead of model checking?
|
R****r
发帖数: 227 | 22 the science of removing software bugs? ...
【在 T********r 的大作中提到】
: cannot agree more. formal method is always a good thing in academia. it is
: computer *science*, not computer *engineering*. the more I get into it, the
: more I appreciate it.
|
T********r
发帖数: 6210 | 23 science can be used to solve pratical problems.
【在 R****r 的大作中提到】
: the science of removing software bugs? ...
|
h****t
发帖数: 93 | 24 big cft. :)
【在 m****n 的大作中提到】
: 好象欧洲比米国做的好,那儿的大牛不少.
: 好多牛VERIFICATION的会议在欧洲开.
: 搞的俺PAPER没少发,会一个没参加.
: DAMN VISA, DAMN IT.
:
: 。微
|
h****t
发帖数: 93 | 25 yes. the whole model checking research boils down to how to reduce cost.
【在 R****r 的大作中提到】
: both are checking software properties ... it depends on how expressive
: the type system is
|
h****t
发帖数: 93 | 26 and find the underlying science behind pratical problems.
【在 T********r 的大作中提到】
: science can be used to solve pratical problems.
|
