Flyer seminario Young.qxp - Faculty of Informatics

Università della Svizzera italiana
Breve biografia:
La Facoltà di Scienze informatiche
Michal Young è professore associato in informatica presso
l’Università dell’Oregon. I suoi interessi di ricerca vertono sull’ingegneria del software, in particolare sull’interscambio tra progettazione e verifica soprattutto per sistemi concorrenti. Ha ricevuto il
Dottorato di Ricerca della University of California Irvine ed è stato
professore presso la Purdue University dal 1989 al 1997 prima di
giungere in Oregon. Ha ricevuto il riconoscimento di Presidential
Young Investigator dalla National Science Foundation negli Stati
Uniti. Ha presieduto alcune delle più importanti conferenze internazionali dedicate alla ricerca nel settore dell’ingegneria del software. Recentemente ha pubblicato il primo libro completo sul test
e l’analisi del software (con il Prof. Mauro Pezzè).
La facoltà di Scienze informatiche, avviata nell’ottobre 2004, è dedicata all’insegnamento e alla ricerca di alta qualità. Attualmente la
facoltà conta più di 60 ricercatori.
L’eccellenza didattica è assicurata da un corpo docente di livello internazionale, da un ottimo rapporto numerico tra studenti e professori e
da un programma di studi moderno ed innovativo. Il programma di
Bachelor (di sei semestri) è orientato al lavoro di gruppo su progetti
informatici accompagnati da corsi integrati.
Sono pure offerti un biennio di specializzazione (Master) e un programma di dottorato (PhD). La lingua ufficiale dell’insegnamento è
l’inglese.
I professori sono specialisti nelle aree di ricerca come l’ingegneria del
software, i sistemi distribuiti, i sistemi embedded, le reti di computer
e il reperimento delle informazioni.
The Faculty of informatics
Established in October 2004, the faculty of informatics at the
University of Lugano is dedicated to high quality teaching and research in Computer science. It currently hosts over 60 researchers.
Teaching excellence is assured by an international faculty, low student/faculty ratio and a modern, innovative curriculum. The bachelor program is project-based and comprises six semesters of highly
integrated courses and team-oriented projects. The graduate program consists of a two-year Master's program and a research
oriented PhD program. The language of instruction is English.
Software
Transactional
Memory
Spring 2008
The faculty is active in research on all aspects of software intensive
systems, with particular strengths in software engineering, distributed and embedded systems, networks and information retrieval.
Facoltà di Scienze informatiche
Via Giuseppe Buffi 13
6904 Lugano - Switzerland
Tel.
+41 58 666 46 90
Fax
+41 58 666 45 36
E-mail [email protected]
http://www.inf.unisi.ch
Seminar course for PhD students
given by prof. Michal Young
University of Oregon, USA
Transactional memory
Seminar course for PhD students
Short Biography:
Open to external PhD students.
Transactional memory is a leading candidate to replace explicit
locks and monitor-style synchronization in future programming
languages. It is currently a hot research topic in both hardware
architecture and programming language design.
``Transactional memory'' means that, instead of using explicit locks
to protect from data races (like the Java synchronized construct), a
programmer declares a block of code atomic and relies on the
underlying software and hardware system to ensure that code
within the block executes as if atomic. Speculative execution of
transactions takes advantage of multicore and other parallel processors without requiring programmers to design delicate and
error-prone fine-grain locking schemes.
La memoria transazionale è un ottimo candidato per rimpiazzare i
"lock" espliciti e la sincronizzazione basata su monitor nei linguaggi
di programmazione. Attualmente è un tema caldo della ricerca sia nel
settore delle architetture hardware che nella progettazione dei linguaggi di programmazione.
Memoria transazionale significa che invece di utilizzare i lock espliciti
per proteggere i dati dalle corse critiche (come col costrutto "syncronized" del linguaggio Java), un programmatore dichiara un blocco di
codice come "atomico" e poi si affida al sistema software e hardware sottostante per fare in modo che il codice all'interno del blocco sia
eseguito come se fosse un blocco atomico. L'esecuzione speculativa
di una transazione trae vantaggio dai processori multicore e altri processori paralleli senza richiedere ai programmatori la progettazione di
schemi di "lock" che sono delicati e soggetti a frequenti errori.
Date and
Time
Thursday 6th March (15:30 – 17:00) in room SI-007
Thursday 13th March (15:30 – 17:00) in room SI-004
Thursday 3rd April (15:30 – 17:00) in room SI-007
Thursday 10th April (15:30 – 17:00) in room SI-007
Thursday 17th April (15:30 – 17:00) in room SI-007
Friday 25th April (14:30 – 16:00) in room SI-007
Thursday 8th May (15:30 – 17:00) in room SI-007
Friday 23rd May (14:30 – 16:00) in room SI-007
Thursday 29th May (15:30 – 17:00) in room SI-007
via G. Buffi 13, USI, Lugano
The course will be structured as a set of readings and discussions
on research issues in transactional memory, with an emphasis primarily on the programming model afforded to programmers and
only secondarily on the underlying implementation.
Topics will include a historical review of root ideas (many over 30
years old!) that are converging in software transactional memory,
extended transaction models (e.g., open nesting, punctuated transactions), interaction between transaction models and memory
models (faking atomicity imperfectly at two levels of abstraction),
and formalizing transaction semantics; other topics may be added
depending on the interests of participants.
Il corso si baserà su una serie di letture e discussioni su temi di ricerca dedicati alla memoria transazionale, con un’enfasi soprattutto
sul modello di programmazione fornito ai programmatori e solo in
secondo piano sull’implementazione.
Gli argomenti che verranno trattati comprenderanno un breve
ricorso storico delle idee originarie (molte di più di 30 anni!) che
sono convogliate nel software per la memoria transazionale, per i
modelli estesi di transazione (ad esempio, la gerarchia aperta, le
transazioni con punti di interazione), l’interazione tra modelli di
transazione e modelli di memoria (fingendo una atomicità imperfetta a due livelli di astrazione), e formalizzando la semantica delle
transazioni; altri temi potranno essere proposti a seconda dell’interesse dei partecipanti.
Michal Young is Associate Professor of Computer Science at
University of Oregon. His research interests in software engineering
center on interplay between design and verification, especially for
concurrent systems. He earned his Ph.D in 1989 from University of
California, Irvine and was on the faculty at Purdue University from
1989 through 1997 before coming to Oregon. He has received a
Presidential Young Investigator award from the U.S. National
Science Foundation, chaired major research conferences in software engineering, and recently co-authored (with Mauro Pezzè) the
first comprehensive text on software testing and analysis.