In Memoriam: Feng Chen

Aug 14 2009

Computer science PhD student Feng Chen died on August 8th due to complications from an undetected blood clot.

Feng conducted his research under Prof. Grigore Rosu in the Formal Systems Laboratory.  His research was dedicated to developing effective techniques and methodologies for building reliable and secure complex software systems.  His interests covered a wide range of areas, including software engineering, programming languages, formal methods, and algorithm design.

In an acknowledgement in Feng’s PhD thesis, Prof. Rosu wrote: “Both Feng and I started our academic lives at the University of Illinois at Urbana-Champaign seven years ago, in the fall of 2002.  Feng had very strong credentials even at that early stage in his career, having worked at the prestigious Bell Laboratories in Beijing and having published papers in top conferences, so I had no doubt that we would have a fruitful collaboration over the years to come. We have together founded and developed a research agenda in formal methods, software engineering and programming languages - an agenda that eventually led to the creation of the Formal Systems Laboratory (FSL).”

“Feng has not only been my dear student, but in time he has become an invaluable colleague and eventually a very good friend, one whose opinion I always asked when important decisions had to be taken in our group,” said Rosu.

Feng's seminal work in runtime verification, some of it included in this thesis, serves as a scientific foundation that challenged several research groups around the world. “His work on parametric trace slicing and monitoring turned out to lead to systems that can verify their own executions at runtime with a runtime overhead lower than 10%, which significantly outperformed existing similar systems,” said Rosu. “Also, his work on sliced causality and predictive runtime analysis has lead to systems whose predictive power exceeded by far that of other existing systems.”

Feng was widely published, and his research was presented at all of the major conferences in formal methods, software engineering, and programming languages.  He received the ACM SIGSOFT Distinguished Paper Award for his paper in the ASE 2008 conference, and was the recipient of the C.L. and Jane Liu Award in the department of computer science, an award given once per year to a most promising graduate student.

After his graduation, Feng had accepted a tenure-track position at Iowa State University.  In addition, Feng and Prof. Rosu had co-founded a start-up company, targeted at further developing and eventually commercializing the technologies initiated by Feng during his doctoral studies.

Feng is survived by his father Guofan Chen and his mother Yamei Wu, his brother Jun Chen, and his fianceé Gehui Zhang.

The department will hold a memorial for Feng at 3 p.m. on Wednesday, August 19th in room 1404 of the Thomas M. Siebel Center for Computer Science (201 N. Goodwin Avenue, Urbana, IL).

Contributions to the Feng Chen Memorial fund can be delivered to the department business office at the following address.  Please make checks payable to Feng Chen Memorial Fund. 
University of Illinois
Department of Computer Science
Attn:  Business Office, 2210
201 N. Goodwin Ave.
Urbana, IL  61801

Feng will be greatly missed by the entire computer science department.  
 

 马寅初：我不去见蒋介石，他要见我他自己来

    著名经济学家马寅初，抗战期间担任重庆大学商学院院长兼中央大学经济系主任，多次在公开演讲中指责孔祥熙大发国难财。1940年他给陆军大学将官班讲抗战财政问题，他说：
    抗日战争是中华民族存亡的严重关头，全国上下应该有钱出钱、有力出力、同心同德、共赴国难。但是现在不是这样，现在是“下等人”出力，“中等人”出钱，“上等人”则既不出钱，又不出力，囤积居奇，发国难财。还有一种“上上等人”依靠权势，利用国家经济机密从事外汇投机，大发超级国难财。这种猪狗不如的“上上等人”就是孔祥熙和宋子文之流……必须把孔祥熙、宋子文撤职，把他们不义的家财拿出来充作抗战经费。
    马寅初连续发表文章与演讲，揭露国民党的腐败，痛斥孔宋之流的无耻，使国民党政府大为头疼，也遭到很多权贵的忌恨。宋霭龄、宋美龄等人向蒋介石施加影响，要求对马寅初进行严厉处置。
    一天，蒋介石召见重庆大学校长叶元龙，狠狠训斥他：“你真糊涂，怎么可以请马寅初当院长？你知道他在外边骂行政院长孔祥熙吗？他骂的话全是无稽之谈！他骂孔祥熙就是骂我。”末了，蒋介石说：“下星期四你陪他到我这儿来，我要当面跟他谈谈。他是长辈，有是同乡，总要以大局为重！”
    校长怕碰钉子，让侄子去向马寅初转达蒋介石的意思。马寅初一听，火冒三丈地说：“叫我去见他，我不去！让宪兵来陪我去吧！ ”又说：“文职不去拜见军事长官，没有这个必要！见了面就要吵嘴，犯不着！再说，从前我给他讲过课，他是我的学生，学生应当来看老师，哪有老师去看学生的道理！他如果有话说，就叫他来看我！”
    蒋介石知道后很生气，又无计可施，只好对校长说：“我是想同他谈谈经济问题。你回去告诉他，以后有时间，随时都可以来找我。”但马寅初始终置之不理。孔祥熙为了拉拢马寅初，想请他出任财政部长，也遭到他了的严词拒绝。 

  ===========================

这个马爷爷，要是上面的都是真的，证明他有些文青的意思。不过，蒋委员长也太tm海量了，居然留了他一颗头，不易。

我们都曾年青过，我们还能判断。只要衣食无忧外您还能挤出一丁点良知，看完以下四篇零分作文，您就知道：悲哀并非只在出题者的愚昧和判卷者的麻木，而在全社会比任何时候都心神默契----主动愚昧，集体麻木。（点评：祝匡武 特此鸣谢！）  

4篇零分作文如下：  

1 广东零分作文：《常识》  

老师,你有没有常识啊?  

俗话说:长太息以掩涕兮,哀民生之多艰。作为一个考试时代的人族子民，每天去上学让我感到非常无语，我总是哀学生之多灾多难。这种感觉，有时候让人宁愿回到石器时代，那个时代，谁不让我睡觉？我捡一块石头就可以表达我的强烈不满了。每当晚自习放学走出学校，抬头看见天空一轮凄凉的明月，我不禁发出千古一问：老师，你有没有常识啊？难道你不知道是人都要睡觉的吗？竟然不让我在课堂上睡觉。  

从早上很早就要回到学校了，有多早？7点。作为一个老师，你竟然还很无耻地告诉我们，人家哪间哪间学校，6点多就全部回到教室看书了。我靠，这种语气，和那些白痴女人一整天喜欢说我那个friend,我有个 friend的调调完全一样白痴。本来我想举个例子说，人家美国……可惜啊，信息来源实在是太封闭了，只能听见老师说，人家哪间哪间学校，却从来不会听见老师说人家美国。不举美国的例子没关系，老师，我告诉你，中东那边，很生气的人，喜欢玩人肉炸弹的，这是CCTV的新闻连播说的。  

中东啊，水深火热，我们新一代的祖国花朵多幸福，天天早上7点回到学校。但是，我要睡觉啊。我晚上12点才睡，早上6点多起床。早上7点回到学校，一直到晚上10点多才放学。我肯定不够睡。午休？老师，你有没有常识啊？有些人中午睡那么一个小时，不睡还好，越睡越头晕。没办法，我上课打瞌睡。很累了，打瞌睡，这是正常的生理现象。老师你竟然说，上课要睡觉的同学回家睡，我靠，你以为我不想回家睡？我真的好痛苦，好痛苦。我觉得老师没常识，校长没常识，教育界没常识，现在高考写常识，无疑就是给我机会，表达我对整个中国教育界的强烈的不满，还有深深的鄙视。你们没常识。学生是要睡觉的……学校是我们的，也是你们的，但归根结底，还是你们的……人是要睡觉的……我要睡觉……睡觉……  

2 安徽零分作文：《弯道超越》  

我记得交规书上说过，弯道是禁止超车的，应该左右察看，减速通过，否则很容易出事故。不知道命题老师会不会开车，不过他既然说弯道可以超车，那一定有他的道理，作为考生，我不敢也不能有任何疑问，因为疑问很可能导致我考不上大学，尽管读完大学跟考不上的结局基本一样--成为一名不怎么光彩的待业青年。  

不过我才18岁，可不想这么早就呆在家，整天被老爹老妈呼来喝去，实在令人厌烦，我想考外地的大学，离开这个因为大建设和烧秸秆而变得灰蒙蒙的城市。我听学长们说，现在大学特别自由开放，因为学生数量太多，老师根本管不过来，所以在学校吃喝玩乐逃课泡妞打架都没人管，而且男生还可以在网吧打游戏练级挣钱，女生可以去酒吧夜总会坐台挣钱，想想真是令人神往，我一定要考上大学，然后交一个这样的女朋友，一起努力挣钱，减轻家里的负担。  

开了一会小差，时间已经浪费了5分钟，我赶紧擦拭了嘴角流出的口水，开始认真地分析题目。弯道超车，顾名思义，首先得有辆车，最好是赛车，而且车技很好，才可以在弯道上演超车的好戏。我心想，杭州那个飙车70码，将人撞起五米高的小子今年要是参加安徽的高考，作文肯定能得满分。因为书上说过，实践才能出真知。  

我家是普通工薪阶层，家里没有赛车，不过我平常也很少骑自行车，因为现在这个城市的公交车和渣土车太狂野了，前几年学校就有个女生骑自行车，不幸被一辆公交车轧死了。我也很少坐公交，因为公交车经常会无缘无故起火，而且砸玻璃的锤子经常无缘无故丢失，本来书包就够沉的，如果每天上学还在包里放一把铁锤，实在太重了。  

我上学的交通工具，很有这个城市的特色，是一辆挂着赛8888车牌的燃油助力车，每次我骑着它在合肥大街小巷的车流中穿梭时，春风拂面，我性感的胸毛迎风飘荡，总能让我找到一种古代大英雄驰骋疆场的快感。我拉风的造型，经常能吸引路边漂亮姑娘的目光，有时她们当中比较大胆的，干脆会伸手拦下我，然后脉脉含情地问：“大哥，到三孝口带不？”  

又开小差了，说说弯道超车的事。印象中，我开着我的赛8888，超过两次车。一次是为了看前面一辆开奔驰车的美女，在过弯道时，她减速了，我猛一转油门，加速超过了她，并轻轻拍了一下她的窗户，对她展露了一个迷人的微笑，不过这个戴墨镜的长发美女却不怎么友好，她从车窗内对我吐了一口吐沫，并来了一句“妈比的，找死啊”。开奔驰车的美女，素质怎么能这么低呢？我心中暗想：我一定要好好读书，考上大学，将来用兰博基尼把她勾引过来，然后买条狗给她作伴。  

还有一次是在一个路口，当时绿灯刚刚转红，我很不幸地冲在第一个，本来想直接冲过去的，但是已经来不及了，我看到一个交警大叔锐利的目光锁住了我，估计是妒忌我太拉风了，他快步向我走来，示意我停车，我当时大脑开始了高速运转，计算如果停车可能面临的损失: 无牌无照无证至少罚300，拖车110，停车一天20，至少要损失四五百。于是，我立刻打了转向灯，发动油门，驶向旁边的弯道，从一溜私家车中间绝尘而去，在倒车镜中我看到交警大叔脸都绿了。  

通过两次弯道超车的经验，我得出两条真理：有美女在前面的时候，该追就得追，哪怕追到才发现她是个棒槌。还有一条真理就是：交警拦你的时候，该跑就得跑，因为自己的钱包比别人的面子更重要。  

够800字了，不写了。祝阅卷老师身体健康，家庭幸福！  

3 江苏零分作文：《品味时尚 》  

我承认当我看到这个题目时，我湿了，我慢慢的背过脸用手偷偷轻轻地擦掉眼角的泪水。因为我知道，人人都要参加高考，不是因为高考适合自己的兴趣，而只是因为大家都是如此。眼泪是为大家流的。  

不知道哪个可爱的老师出的这个题目，我们猜了几个月题，从去年的奥运会、5.12，直到邓玉娇、立交桥、70码、公交车……我思绪翻滚，又回到了每个猜题的夜晚。“我猜，我猜，我猜猜猜”，在全班88名同学近乎疯狂的呐喊中，我们在语文老师的带领下象买彩票一样，精心的挑选着每一个作文题目。老师说要猜对了，多十几分，“本一”就可能向我们扬起它可爱的小手。  

我本是一个有文化有素质有修养的非著名三好学生，尊师重教一直在我身上得到充分发扬，这次我忍不住了，我想问候老师您一下，当然只是问候您一个人，不包括呕心沥血教育我们的老师。亲爱的出题老师：  

我不知道“三点一线”的高中生活能有多少时间去品味时尚？我想大概也许出这个题目的我们尊敬的老师你的脑袋让门挤了？让驴踢了？进水了？结冰了？短路了？不管怎样，肯定是脑残了。莫非脑残也成为了一种时尚？  

政治课上邓爷爷一直对我们说要“实事求是”。尊敬的出题老师，我实事求是地对你说：你的题目让我很纠结，纠结！纠结到蛋疼！蛋疼你明白吗？这也是一种时尚。  

你让我们整天埋头苦读，面对着一堆堆模拟试卷的孩子去“品味时尚”，打个比方，这不是和让太监去看A片一样？A片你懂吗？东京热，一本道……这个都不懂，你还谈什么时尚？  

我们也想时尚，可没钱没时间怎么时尚？难道我们忍心从辛辛苦苦供我们上学的爹娘哪里一次次讨钱，去买阿迪王？  

4 北京零分作文：《我有一双隐形的翅膀》  

我曾是一只鸽子，是千万鸽群中的一只。  

这一年，我有一对洁白的羽翼，日渐茁壮，眼看就快要长成，开始了扑翅。每次稚嫩的扑腾都是向天空倾诉飞翔的渴望。那一天呵，跃跃欲试的我和伙伴们聚在金色的广场上，期待着去探索蓝色海洋的首次飞行。  

那一夜，自称是养育我们的主人来了，带着那些可怕的工具。他们轻而易举地，用鸟枪和渔网，捉住了我们，剪去了我们的翅膀，让大地上落下无数洁白飞羽。从此我们无法离开沉重的地面，只能做他们玩赏的点缀。我们身体孱弱，我们步履艰难。我们失去了自由，只能任人宰割。可是我高傲的羽族呵，我苦难的兄弟，你又怎么能被剥夺最珍贵的----自由？  

　看哪，时光流逝，我们中有的堕落成了鹦鹉，他们竟向主人赏的玉米粒唱赞歌；另一些兄弟们沉沦了，忘记了自己曾经有过飞翔的双翼，到处和母鸡调情。还有一些同类在主人的淫威底下，已经像呆鹅一样麻木；最令我伤心的，有的同类在各种意外中被失去了年轻的生命，多少次被一辆辆跑车碾得毛羽纷纷。而我只能傻傻地看着，默默流泪。如果我们还有翅膀呵，怎会不摆脱这一切，高高翱翔？  

你看，最后甚至我自己，目睹了这一切之后，如蚂蚁一般沉默地死去了。想要飞翔，然而结果却是爬到死去为止，这就是我们的命运！我还看明白了，我的尸体将成为主人的盘中美餐。懂得这一切之后，我祈祷自己来生要化为鹰隼，振翼高飞罗网之外，乘风远翔黑云之上，我要请神赐予我利喙和尖爪，让我呼啸着，扯破这不可忍受的暗夜！一个声音对我说：要飞翔，要飞翔，要让大家自由地飞翔！  

对飞翔的渴望让我重生，但没有变成鹰隼，也非别的羽族，而居然变成一只蜘蛛。最可怕的是，我再也不能够飞翔，只能躲在角落里结网。我绝望了，也放弃了。可是一天，一个朋友出现了，他从另一张网上传来波动。轻轻地说：你好！  

呵！看哪，千千万万只转生为蜘蛛的昔日鸽儿呵，现在在编织着同一张连接整个世界的网络。从丝缕脉动中，我能听到大地的心跳，也能知晓小草的呼吸，能感到大洋彼岸的涛声，也知道世界屋脊上的雪落。而只要敲击同一张网络上我们编织的节点，我们也能向世界发出自由网络自身的呼喊：wir sind！  

为了自由，我们宁愿选择作为蜘蛛而生存。无论什么力量，也无法阻拦无边网络的脉动，既那么细微，又那么澎湃。更重要的是，这也让我能发现昔日主人的恐惧，在无边网络中，他们看不见，也捉不住我们中的大多数。他们纵使出钳断蛛丝的河蟹，我们便将蛛网化为千万令人费解的绕指柔，让它无计可施；若派来蟑螂和婺蝥，我们便把它们粘死在网上。即使是主人，也会被万千迷网重重困住，精疲力竭。我们的未来，将像传说中的那位蜘蛛侠客那样，再也不会被地面束缚，而是用喷涌的蛛丝，拥抱着同一个世界，同一个梦想。在天地间自由翱翔，胜过了世间的君王。  

是的，网络就是我隐形的翅膀。你有这双翅膀么？

　评论  

　抛开作文真伪，网友小Q说：“文字犀利，思维活跃，既讽刺又幽默。绝对满分。”网友午夜精灵说：“太牛了，简直是经典中的经典！佩服，顶！”网友“将心比心”表示：“流露真情实感的文章就是好作文，怎么能得零分呢？”相比于支持派，给差评的网友几乎占了一半。“太没格调了，真是对高考的亵渎。”“要是高考真有这样的作文，阅卷老师肯定疯了。”“没办法，没李白+没杜甫、陶渊明、李清照、苏轼+没名言……＝不是高考作文，0分，正常。”  

　　也有网友表示，虽然90后被标榜为非主流，但在事关个人命运的选择面前，掩藏个性、弹奏主旋律，依然会是“非主流们”的主流选择。还有网友翻出了清朝最后一次科举试题以及法国高考作文题和今年的试题做了比较。网友廖先生认为，培养自由独立的公民，语文教育责无旁贷。