The second part of the great talk from last Monday will be given tomorrow.

---------- Forwarded message ----------
From: Liran Shapira <>
Date: Wed, Nov 13, 2013 at 3:15 PM
Subject: CSL Luncheon: Thursday, 14.11.2013, 12:30

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:

How to write a good (systems) paper

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.
Haifux mailing list

Reply via email to