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
