[Haifux] Fwd: CSL Luncheon: Thursday, 14.11.2013, 12:30

Orna Agmon Ben-Yehuda ladypine at gmail.com
Wed Nov 13 18:18:49 MSK 2013


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

---------- Forwarded message ----------
From: Liran Shapira <liransh at cs.technion.ac.il>
Date: Wed, Nov 13, 2013 at 3:15 PM
Subject: CSL Luncheon: Thursday, 14.11.2013, 12:30
To: CSL-L at 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://haifux.org/pipermail/haifux/attachments/20131113/7198f75f/attachment.html 


More information about the Haifux mailing list