The second part of the great talk from last Monday will be given tomorrow. ---------- Forwarded message ---------- From: Liran Shapira <lira...@cs.technion.ac.il> Date: Wed, Nov 13, 2013 at 3:15 PM Subject: CSL Luncheon: Thursday, 14.11.2013, 12:30 To: cs...@listserv.technion.ac.il
CSL Luncheon: How To Write A Good (Systems) Paper Date:Thursday, *14.11.2013, 12:30*Place:Room 337-8 Taub Bld. I remind everyone that between 13:00-13:45 Gernot Heiser---the dude who headed seL4 (the only formally verified OS kernel)---is giving the following talk: TITLE: How to write a good (systems) paper ABSTRACT: Much good work fails to get the recognition it deserves because it does not get published in high-profile conferences. The good venues are highly competitive, and PC members have to review a large number of papers, and generally look for deficiencies to eliminate papers. For a paper to be accepted, it must not only have good ideas, it requires a convincing case that it addresses a relevant problem, and does a convincing job of solving the problem. Besides that, it must be presented well, as the reviewers do not have the time for archaeological exercises. This talk focuses on what I call "paper engineering", a systematic approach to turning an idea into a publishable paper. It is primarily focused at the "systems" community, but much of it should apply to other areas of experimental computer science. We look forward to seeing you. -- Orna Agmon Ben-Yehuda. http://ladypine.org
_______________________________________________ Haifux mailing list Haifux@haifux.org http://haifux.org/mailman/listinfo/haifux