BEGIN:VCALENDAR
VERSION:2.0
METHOD:PUBLISH
X-WR-CALNAME:IL-Technion-CS-events
PRODID:-//tzurl.org//NONSGML Olson 2010k//EN
BEGIN:VTIMEZONE
TZID:Asia/Jerusalem
BEGIN:STANDARD
DTSTART:19500910T020000
TZOFFSETFROM:+0300
TZOFFSETTO:+0200
RRULE:FREQ=YEARLY;BYMINUTE=0;BYHOUR=2;BYDAY=2SU;BYMONTH=9
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:19500331T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0300
RRULE:FREQ=YEARLY;BYMINUTE=0;BYHOUR=2;BYDAY=-1FR;BYMONTH=3
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100104T143000
DTEND;TZID="Asia/Jerusalem":20100104T163000
DTSTAMP;TZID="Asia/Jerusalem":20100104T143000
FREEBUSY;FBTYPE=BUSY:20100104T143000/20100104T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Ofer M. Shir about Derandomized
Search for Experimental Optimization at 2010-01-04 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040007990
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100104T183000
DTEND;TZID="Asia/Jerusalem":20100104T203000
DTSTAMP;TZID="Asia/Jerusalem":20100104T183000
FREEBUSY;FBTYPE=BUSY:20100104T183000/20100104T203000
SUMMARY;LANGUAGE=en-US:The Haifux, Linux Haifa talk by Raz Ben Yehuda (Ms.
c student in the Open University) about Haifux, Haifa Linux Club: Offline
Scheduler at 2010-01-04 18:30:00
DESCRIPTION;LANGUAGE=en-US:OFFSCHED is a platform aimed to assign an assig
nment to an offloaded
processor. An offloaded processor is a processor t
hat is hot
un-plugged from the operating system. In today's computer wor
ld, we
find that most processors have several embedded cores and
hyper
-threading. Most programmers do not really use these powerful
features a
nd let the operating system do the work. At most, a
programmer will boun
d an application to a certain processor or assign
an interrupt to a diff
erent processor.
At the end, we get a system
busy in maint
aining tasks across processors, balancing interrupts,
flushing TLBs and
DTLBs using atomic operations even when not needed
and worst of all, spi
n locks across processors in vein; and the more
processors the merrier.
I argue that in some cases, part of this
behavior is due to fact the mul
tiple core operating system is not
service oriented but a system oriente
d. There is no easy way to assign
a processor to do a distinct service,
undisturbed, accurate, and fast
as long as the processor is an active pa
rt of an operating system and
still be a part of most of the operating s
ystem address space.
The
purpose of the OFFSCHED is to cre
ate a platform for services. For
example, assume a system is being attac
ked; the Linux operating system
will generate endless number of interrup
ts and/or softirqs to analyze
the traffic and throw out bad packets. Thi
s is on the expense of good
packets. Have you ever tried to ssh an attac
ked machine? Who protects
the operating system? What if we can simply do
the packet analysis
outside the operating system without being interrup
ted? Why not assign
a core to do only fire-walling? Or just routing? Des
ign a new type of
Real Time system? Maybe assign it as an ultra accurate
timer? Create a
delaying service that does not just spin? Offload a TCP
stack? Perhaps
a new type of a locking scheme? New type bottom-halves?
Debug a
running kernel through an offloaded processor? Maybe assign a GP
U to
do other things than just graphics? Amdahl Law teaches us that line
ar
speed-up is not very feasible, so why not spare a processor to do
c
ertain tasks better? Technologically speaking, I am referring to the
Lin
ux kernel ability to virtually hot unplug a (SMT) processor; but
instead
of letting it wonder in endless "halts", assign it a service.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 6
UID:111ec441040008180
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100105T143000
DTEND;TZID="Asia/Jerusalem":20100105T163000
DTSTAMP;TZID="Asia/Jerusalem":20100105T143000
FREEBUSY;FBTYPE=BUSY:20100105T143000/20100105T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Niv Buchbinder about The Randomi
zed k-Server Conjecture (Online Algorithms meet Linear Programming) at 201
0-01-05 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040007940
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100105T143000
DTEND;TZID="Asia/Jerusalem":20100105T163000
DTSTAMP;TZID="Asia/Jerusalem":20100105T143000
FREEBUSY;FBTYPE=BUSY:20100105T143000/20100105T163000
SUMMARY;LANGUAGE=en-US:The msc talk by Javier Turek about On MMSE and MAP
Denoising Under Sparse Representation Modeling Over a Unitary Dictionary a
t 2010-01-05 14:30:00
DESCRIPTION;LANGUAGE=en-US:Among the many ways to model signals, a recent
approach that draws
considerable attention is sparse representation model
ing. In this
model, the signal is assumed to be generated as a random lin
ear
combination of a few atoms from a pre-specified dictionary. In
this
work we analyze two Bayesian denoising algorithms -- the
Maximum-Aposteri
ori Probability (MAP) and the
Minimum-Mean-Squared-Error (MMSE) estimator
s, under the assumption
that the dictionary is unitary. It is well known
that both these
estimators lead to a scalar shrinkage on the transformed
coefficients, albeit with a different response curve.
We start by deriv
ing closed-form expressions for these shrinkage
curves and then analyze t
heir performance. Upper bounds on the MAP
and the MMSE estimation errors
are derived. We tie these to the
error obtained by a so-called oracle est
imator, where the support
is given, establishing a worst-case gain-factor
between the
MAP/MMSE estimation errors and the oracle's performance. The
se
denoising algorithms are demonstrated on synthetic signals and on
tru
e data (images).
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 701
UID:111ec4410400012060
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100106T133000
DTEND;TZID="Asia/Jerusalem":20100106T153000
DTSTAMP;TZID="Asia/Jerusalem":20100106T133000
FREEBUSY;FBTYPE=BUSY:20100106T133000/20100106T153000
SUMMARY;LANGUAGE=en-US:The Combinatorics Semin talk by Shachar Lovett (We
izmann Institute) about Combinatorics Seminar: On Equivalence of Polynomi
al Conjectures in Additive Combinatorics at 2010-01-06 13:30:00
DESCRIPTION;LANGUAGE=en-US:We will discuss two important conjectures in ad
ditive combinatorics. The
first one is the polynomial Freiman-Rusza conj
ecture, which relates to
the structure of sets with small doubling. The
second is the inverse
Gowers conjecture for $U^3$, which relates to func
tions which locally look
like quadratics. In both conjectures a weak for
m, with exponential decay
of parameters is known, and a strong form with
only a polynomial decay of
parameters is conjectured.
We w
ill show that the two conjectures are in fact equivalent. This was
also
discovered independently by Green and Tao
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Amado 719
UID:111ec441040008230
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100107T143000
DTEND;TZID="Asia/Jerusalem":20100107T163000
DTSTAMP;TZID="Asia/Jerusalem":20100107T143000
FREEBUSY;FBTYPE=BUSY:20100107T143000/20100107T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Eran Tromer about Side Channels
and their Mitigation in Cloud Computing Security at 2010-01-07 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008010
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100112T113000
DTEND;TZID="Asia/Jerusalem":20100112T133000
DTSTAMP;TZID="Asia/Jerusalem":20100112T113000
FREEBUSY;FBTYPE=BUSY:20100112T113000/20100112T133000
SUMMARY;LANGUAGE=en-US:The pixel-club talk by Tammy Riklin-Raviv (Medical
Vision Group CSAIL, MIT & Surgical Planning Laboratory, Harvard Medical Sc
hool) about Pixel Club Seminar: Segmentation of Image Ensembles via Latent
Atlases
at 2010-01-12 11:30:00
DESCRIPTION;LANGUAGE=en-US:The images acquired via medical imaging modalit
ies are frequently subject to low signal-to-noise ratio, bias field and pa
rtial volume effects. These artifacts, together with the naturally low con
trast between image intensities of some neighboring structures, make the e
xtraction of regions of interest (ROIs) in clinical images a challenging p
roblem.
Probabilistic atlases, typically generated from compr
ehensive sets of manually labeled examples, facilitate the analysis by pro
viding statistical priors for tissue classification and structure segment
ation. However, the limited availability of
training examples
that are compatible with the images to be segmented renders the atlas-bas
ed approaches impractical in many cases.
In the talk I will p
resent a generative model for joint segmentation of corresponding regions
of interest in a collec- tion of aligned images that does not require labe
led training data. Instead, the evolving segmentation of the entire image
set supports each of the individual segmentations. This is made possible b
y iteratively inferring a subset of the model parameters, called the spati
al parameters, as part of the joint segmentation processes. These spatial
parameters are defined in the image domain and can be viewed as a latent a
tlas, that is used as a spatial prior on the tissue labels. Our latent atl
as formulation is based on probabilistic principles, but we solve it using
partial differential
equations (PDEs) and energy minimizatio
n criteria. We evaluate the method successfully for the segmentation of co
rtical and subcortical structures within different populations and of brai
n tumors in a single-subject multi-modal longitudinal experiment.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:EE Meyer Building 1061
UID:111ec441040008210
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100118T143000
DTEND;TZID="Asia/Jerusalem":20100118T163000
DTSTAMP;TZID="Asia/Jerusalem":20100118T143000
FREEBUSY;FBTYPE=BUSY:20100118T143000/20100118T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Michael Schapira about Internet
Routing: Foundations, Challenges and Future Directions at 2010-01-18 14:30
:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008190
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100118T183000
DTEND;TZID="Asia/Jerusalem":20100118T203000
DTSTAMP;TZID="Asia/Jerusalem":20100118T183000
FREEBUSY;FBTYPE=BUSY:20100118T183000/20100118T203000
SUMMARY;LANGUAGE=en-US:The Haifux, Linux Haifa talk by Yaron Dishon (Socio
logy Dept. student, Haifa University) about Haifux, Haifa Linux Club: The
FOSS Community as a Social Phenomenon at 2010-01-18 18:30:00
DESCRIPTION;LANGUAGE=en-US:What kind of community is it? Who are its membe
rs? What are its boundaries?
מחקר זה מנסה להבי
מהם התהליכים שהובילו להתכוננות קהילת ה
וד הפתוח מתוך קבוצת האנשים
הפעילים בפר
ויקטים השונים. על אף שקהילת הקוד הפתוח נח
קרה רבות מנקודת מבט טכנולוגית
וארגונית
, המחקר הסוציולוגי, היכול לתרום רבות להבנ
ת התהליכים החברתיים המתרחשים במסגרת
הק
הילה, נמצא בחסר. על מנת לעקוב אחר תהליכים
שהובילו לכינון הקהילה מצייר המחקר תמונה
אודות
תהליכי ההצטרפות של חברים חדשים ב
הילה. בסדרה של ראיונות עם חברים בקהילת ה
וד הפתוח
הישראלית נמצא כי תהליך ההשתלב
ות בקהילה כולל רכישת ידע וערכים, סטאטוס ק
הילתי ותחושת
שייכות. בניתוח הממצאים וב
בט על קהילת הקוד הפתוח כ'קהילת מעשה', מעל
המחקר כי בדומה
לקהילות מעשה אחרות מתח
מים אחרים, קהילת הקוד הפתוח התכוננה 'מעצ
ה', כתוצאה מהרצון של
חבריה לפיתוח תוכנה
והעמקת כישורים אישיים.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 6
UID:111ec441040008270
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100119T113000
DTEND;TZID="Asia/Jerusalem":20100119T133000
DTSTAMP;TZID="Asia/Jerusalem":20100119T113000
FREEBUSY;FBTYPE=BUSY:20100119T113000/20100119T133000
SUMMARY;LANGUAGE=en-US:The pixel-club talk by Marina Alterman (EE, Technio
n) about Pixel Club Seminar: Theory of Multiplexed Fluorescence Unmixing
at 2010-01-19 11:30:00
DESCRIPTION;LANGUAGE=en-US:Fluorescence microscopy is a powerful tool in b
iology and biomedical sciences. Microscopic specimens usually yield fluore
scence intensity images that are dim and thus suffer from low signal-to-no
ise ratio (SNR). Moreover, in multispectral imaging of fluorescing specime
n, intensities are just a means to obtain information about molecular dist
ributions of the materials in the specimen.
Multiplexed sens
ing is a way for increasing the signal-to-noise ratio (SNR) of intensity d
ata arrays, without increasing acquisition resources such as time. However
, as in fluorescence, these arrays themselves are often not the ultimate g
oal of a system. For example, spectral reflectance, emission or absorption
distributions stem from an underlying mixture of materials. Systems thus
try to infer concentrations of these underlying mixed components.
The process of inverting mixtures is termed unmixing. It is central i
n many problems. We incorporate the mixing/unmixing process together with
detector noise characteristics explicitly into the optimization of multipl
exing codes. This enables optimal recovery of underlying components (mater
ials). In the absence of this integrated optimization, multiplexed imaging
can even harm the quality of unmixing. Moreover, by directly defining the
goal of data acquisition to be recovery of components (materials) instead
of intensity/reflectance arrays, the acquisition becomes more efficient.
We thus develop a theory for multiplexed sensing, in which the end task is
linear unmixing. This yields significant generalizations of multiplexing
theory.
* M.Sc. research under supervision of Prof. Yoav Shec
hner
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:EE Meyer Building 1061
UID:111ec441040008240
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100119T143000
DTEND;TZID="Asia/Jerusalem":20100119T163000
DTSTAMP;TZID="Asia/Jerusalem":20100119T143000
FREEBUSY;FBTYPE=BUSY:20100119T143000/20100119T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Joe Halpern about Beyond Nash Eq
uilibrium: Solution Concepts for the 21st Century at 2010-01-19 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008250
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100121T143000
DTEND;TZID="Asia/Jerusalem":20100121T163000
DTSTAMP;TZID="Asia/Jerusalem":20100121T143000
FREEBUSY;FBTYPE=BUSY:20100121T143000/20100121T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Iftach Ilan Haitner about A Para
llel Repetition Theorem for Any Cryptographic Protocol at 2010-01-21 14:30
:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008170
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100124T143000
DTEND;TZID="Asia/Jerusalem":20100124T163000
DTSTAMP;TZID="Asia/Jerusalem":20100124T143000
FREEBUSY;FBTYPE=BUSY:20100124T143000/20100124T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Naoya Maruyama about Acceleratin
g the TSUBAME Supercomputer with Graphics Processing Units and its Implica
tions to Systems Research at 2010-01-24 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008150
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100126T113000
DTEND;TZID="Asia/Jerusalem":20100126T133000
DTSTAMP;TZID="Asia/Jerusalem":20100126T113000
FREEBUSY;FBTYPE=BUSY:20100126T113000/20100126T133000
SUMMARY;LANGUAGE=en-US:The pixel-club talk by Yael Pritch (School of Compu
ter Science and Engineering ,The Hebrew University of Jerusalem) about Pix
el Club Seminar: Shift-Map Image Editing at 2010-01-26 11:30:00
DESCRIPTION;LANGUAGE=en-US:Geometric rearrangement of images includes oper
ations such as image retargeting, object removal, or object rearrangement.
Each such operation can be characterized by a shift-map: the relative shi
ft of every pixel in the output image from its source in an input image. W
e describe a new representation of these operations as an optimal graph la
beling, where the shift-map represents the selected label for each output
pixel. Two terms are used in computing the optimal shift-map:
(i) A dat
a term which indicates constraints such as the change in image size, objec
t rearrangement, a possible saliency map, etc.
(ii) A smoothness term,
minimizing the new discontinuities in the output image caused by discontin
uities in the shift-map.
This graph labeling problem can be solved usin
g graph cuts. Since the optimization is global and discrete, it outperform
s state of the art methods in most cases. Efficient hierarchical solutions
for graph-cuts are presented, and operations on 1M images can take only a
few seconds.
*Joint work with Eitam Kav-Venaki, and Shmuel P
eleg
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:EE Meyer Building 1061
UID:111ec441040008260
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100128T143000
DTEND;TZID="Asia/Jerusalem":20100128T163000
DTSTAMP;TZID="Asia/Jerusalem":20100128T143000
FREEBUSY;FBTYPE=BUSY:20100128T143000/20100128T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Tamir Tuller about Computational
Modeling and Algorithms in Molecular Evolution and Gene Translation at 20
10-01-28 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008200
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100128T160000
DTEND;TZID="Asia/Jerusalem":20100128T180000
DTSTAMP;TZID="Asia/Jerusalem":20100128T160000
FREEBUSY;FBTYPE=BUSY:20100128T160000/20100128T180000
SUMMARY;LANGUAGE=en-US:The msc talk by Artyom Sharov about Coding Techniqu
es for Multidimensional Constrained Channels at 2010-01-28 16:00:00
DESCRIPTION;LANGUAGE=en-US:Constrained systems are models for describing t
he read-write
requirements of secondary storage systems, such as magnetic
disks
and optical devices. Proposals for new storage systems, such as
holographic storage, and for better exploitation of current
optical syste
ms, have raised the interest in 2-D and 3-D constraints
to model the read
-write requirements of the emerging storage media.
In this talk, we pre
sent two new coding techniques for 2-D constraints.
The first technique i
s a variable-rate coding scheme that is based on
tiling, namely, on perio
dic partitioning of the 2-D plane.
In the simplest scenario, there are tw
o classes of tiles, referred to as
white tiles and black tiles. The shape
s and the positioning of
the tiles are chosen so that the encoder can fir
st assign
a value to each white tile independently of the values assigned
to
the other white tiles, and then assign values to each black tiles
de
pending only on neighboring already-assigned white tiles.
The rate of the
encoder is easily calculated, thereby yielding
a lower bound on the capa
city of the respective constraint.
For certain constraints, our technique
is shown to improve on
previously-known lower bounds on the capacity of
the constraint.
We then present generalizations of the basic scenario, su
ch as allowing
certain dependence among the values assigned to the white
tiles.
We conclude the talk by presenting a second coding scheme, obtai
ned
through a transformation of our variable-rate scheme into
a fixed-ra
te encoder, with virtually no loss in the rate.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 701
UID:111ec4410400012200
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100201T183000
DTEND;TZID="Asia/Jerusalem":20100201T203000
DTSTAMP;TZID="Asia/Jerusalem":20100201T183000
FREEBUSY;FBTYPE=BUSY:20100201T183000/20100201T203000
SUMMARY;LANGUAGE=en-US:The Haifux, Linux Haifa talk by Nadav Har'El (IBM H
RL) about Haifux, Haifa Linux Club: Hspell - A Retrospective at 2010-02-0
1 18:30:00
DESCRIPTION;LANGUAGE=en-US:Hspell is a free Hebrew spell checker. It is us
ed by most Linux
distributions, by free applications such as OpenOffice
and Firefox,
and even by Google's popular Gmail service. Seven years aft
er Hspell's
first release, it is a good occasion to look back and see wh
at made it
successful. We will review Hspell's design, how it was works,
and how
it was developed. We will ask ourselves what allowed Hspell to
be
developed quickly, what ensured its quality, and what made it easy to
adopt by all those systems and applications. Finally, we will look at
what Hspell can do beyond just spell-checking, and speculate which new
linguistic capabilities will be needed by the applications of the next
d
ecade.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 6
UID:111ec441040008340
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100203T140000
DTEND;TZID="Asia/Jerusalem":20100203T160000
DTSTAMP;TZID="Asia/Jerusalem":20100203T140000
FREEBUSY;FBTYPE=BUSY:20100203T140000/20100203T160000
SUMMARY;LANGUAGE=en-US:The msc talk by Katherine Barabash about Scalable G
arbage Collection on Highly Parallel Platforms at 2010-02-03 14:00:00
DESCRIPTION;LANGUAGE=en-US:Computing landscape is changing rapidly in the
recent years. On the one hand,
the pervasiveness of multiprocessor and m
ulticore hardware requires the
software to be able to take advantage of
the increasingly available
parallelism. On the other hand, the growing c
omplexity of the modern software
application domains makes runtime langu
age environments more popular as a major
software development tool.
In
this work, we investigate a question whether a garbage collector, being a
n important part
of the modern runtime language environment, is able to
deal with the potential
higher parallelism of tomorrow's hardware platfo
rms. We argue that the
structure of the application object graph in a ga
rbage collected heap can
influence the ability of a collector to scale.
In particular, certain,
sequential in nature, patterns in the object gra
ph structure can prevent the
tracing garbage collector from scaling the
important collection phase -- tracing
through the live objects graph.
First, we examine the object graphs created by the standard Java benchmark
s
and describe the idealized trace utilization measure we use to evaluat
e
applications in terms of their ability to sustain parallel tracing.
Next, we present two solutions for alleviating the scalability problems
caused by the problematic object graph properties. The first solution lets
the system add pointers
to the the headers of objects, which artificial
ly modify the object-graph shape and make it more scalable.
The second s
olution is to let additional garbage collection threads run on idle proces
sors.
We present and analyze the results obtained by evaluating our pro
totypes for both solutions.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 601
UID:111ec4410400012070
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100210T110000
DTEND;TZID="Asia/Jerusalem":20100210T130000
DTSTAMP;TZID="Asia/Jerusalem":20100210T110000
FREEBUSY;FBTYPE=BUSY:20100210T110000/20100210T130000
SUMMARY;LANGUAGE=en-US:The phd talk by Mark Silberstein about An online di
stributed system for genetic linkage analysis at 2010-02-10 11:00:00
DESCRIPTION;LANGUAGE=en-US:In this talk I will describe the algorithms and
mechanisms underlying a distributed system for genetic linkage analysis,
called Superlink-online. It is a production online system which serves hu
ndreds of geneticists worldwide allowing for faster analysis of genetic da
ta via automatic parallelization and execution on thousands of non-dedica
ted computers.
I will describe the following innovative technologies fo
rming the core of this system
1. Practical scheduling and execution of
embarrassingly parallel Bags of Tasks in multiple non-dedicated computing
environments (SC09). Our approach allows for virtualization of multiple g
rids, clouds and volunteer grids as a single computing platform by buildin
g an overlay of execution clients over the physical resources; another com
ponent is a generic mechanism for dynamic scheduling policies to reduce t
he turnaround time in the presence of resource failures and heterogeneity.
Our system has executed hundreds of Bags of Tasks with over 9 million job
s during 3 months alone; these have been invoked on 25,000 hosts from the
local clusters, the Open Science Grid, EGEE, UW Madison pool and Superli
nk@Technion community grid.
2. A general technique for designing memo
ry-bound algorithms on GPUs through software-managed cache (ICS08). This
technique was successfully applied to the probabilistic network inference
yielding an order of magnitude performance improvement versus the perform
ance without such a cache. Overall we achieved up to three orders of magn
itude speedup when executing our GPU-based algorithm versus single CPU per
formance.
3. Coarse- and fine-grained parallel algorithms for the inf
erence in probabilistic networks on large-scale non-dedicated environmen
ts and GPUs. We devised and implemented an algorithm suitable for loosly
coupled environments with unreliable resources (American Journal of Human
Genetics 2006, HPDC06) and adapted it for heterogeneous GPU-CPU supercomp
uter TSUBAME in Tokyo Institute of Technology.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 601
UID:111ec4410400012120
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100210T133000
DTEND;TZID="Asia/Jerusalem":20100210T153000
DTSTAMP;TZID="Asia/Jerusalem":20100210T133000
FREEBUSY;FBTYPE=BUSY:20100210T133000/20100210T153000
SUMMARY;LANGUAGE=en-US:The Theory Seminar talk by Massimo Lauria (Universi
tà di Roma) about Theory Seminar: The Strength of Parameterized Tree-like
Resolution at 2010-02-10 13:30:00
DESCRIPTION;LANGUAGE=en-US:We examine the proof-theoretic strength of para
meterized tree-like
resolution---a proof system for the $\co\W[2]$-comp
lete set of
parameterized tautologies.
Parameterized resolut
ion and, moreover, a general framework for
parameterized proof complexi
ty was introduced by Dantchev, Martin,
and Szeider (FOCS'07). In that p
aper, Dantchev et al.\ show a
complexity gap in parameterized tree-like
resolution for
propositional formulas arising from translations of fir
st-order
principles.
Here we pursue a purely combinatoria
l approach to obtain lower bounds to the
proof size in parameterized tr
ee-like resolution. For this we devise a
prover-delayer game suitable f
or parameterized resolution. By exhibiting good
delayer strategies we t
hen show lower bounds for the pigeonhole principle as
well as the order
principle. On the other hand, we demonstrate that
parameterized tree-l
ike resolution is a very powerful system, as it allows
short refutation
s of all parameterized contradictions given as bounded-width
CNF's. Thu
s, a number of principles such as Tseitin tautologies, pebbling
contrad
ictions, or random 3-CNF's which serve as hard examples for classical
r
esolution become easy in the parameterized setting.
Joint wo
rk with Olaf Beyersdorff and Nicola Galesi.
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Taub 201
UID:111ec441040008380
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100215T143000
DTEND;TZID="Asia/Jerusalem":20100215T163000
DTSTAMP;TZID="Asia/Jerusalem":20100215T143000
FREEBUSY;FBTYPE=BUSY:20100215T143000/20100215T163000
SUMMARY;LANGUAGE=en-US:The colloq talk by Gwendal Simon SPECIAL TALK about
Optimal Network Locality in Distributed Services at 2010-02-15 14:30:00
DESCRIPTION;LANGUAGE=en-US:
ATTENDEE;CUTYPE=GROUP;PARTSTAT=TENTATIVE:mailto:webmaster@cs.technion.ac.il
LOCATION:Room 337-8 Taub Bld.
UID:111ec441040008390
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID="Asia/Jerusalem":20100215T183000
DTEND;TZID="Asia/Jerusalem":20100215T203000
DTSTAMP;TZID="Asia/Jerusalem":20100215T183000
FREEBUSY;FBTYPE=BUSY:20100215T183000/20100215T203000
SUMMARY;LANGUAGE=en-US:The Haifux, Linux Haifa talk by Rami Rosen about Ha
ifux, Haifa Linux Club: VoIP in Linux at 2010-02-15 18:30:00
DESCRIPTION;LANGUAGE=en-US:VoIP is an emerging and exciting technology. We
will deal
with the basics of
VoIP protocols and we will discuss some
Linux VoIP applications.
We will also discuss VOIP with cellular phones
(like Android).
VOIP protocols:
- RTP - Real Time protocol.
- RT CP - Real Time control protocol.
Codecs (audio and video):
- SIP -the Session Initiation Protocol.
--Sip Requests and Sip Responses.
--The INVITE, REGISTER and Byerequests .
SIP clients and Sip Proxy servers:
- Open source sip clients:
--Ekiga, formerl y GnomeMeeting.
&nbs p; --SipDroid (running under Android).
Open source sip server (kamailio and opensips, for
merly SER).
Voip with Cellular devices (Android)
Note: this lecture does not require any previous backgroun d in VoIP.