tags/academiazack's home pagehttp://upsilon.cc/~zack/tags/academia/zack's home pageikiwiki2011-06-28T17:42:17Znew jobhttp://upsilon.cc/~zack/blog/posts/2011/06/new_job/2011-06-28T17:42:17Z2011-06-28T16:19:43Z
<h1>LDAP's "Country" entry reads "France"</h1>
<p>The correlation among quiet times for a blog and quiet times in
its owner's life is often negative. My past two months are no
exception.</p>
<p>Beside my regular <a href=
"http://lists.debian.org/debian-devel-announce/2011/05/msg00000.html">
Debian</a> <a href=
"http://lists.debian.org/debian-devel-announce/2011/06/msg00000.html">
activities</a>, I've used a good chunk of my day time to (try)
settle down and stop wandering around Europe, one temporary
academic position after another. In the end, it has turned out very
well. Starting September 1st, I'll be joinining the <a href=
"http://www.pps.jussieu.fr/">PPS laboratory</a> as a <a href=
"http://en.wikipedia.org/wiki/Maitre_de_conferences">Maître de
Conférences</a>, a tenured academic position roughly equivalent to
US' Associate Professor <small>(at least according to Wikipedia;
see the high quality references that tenured people resort to
use?)</small>.</p>
<p>More specifically, I'll continue to work in the context of
<a href="http://www.irill.org/">IRILL</a> (Research and Innovation
on Free Software), an exciting new entity that I've helped
bootstraping over the past couple of years. Thanks to IRILL and to
his director <a href=
"http://en.wikipedia.org/wiki/Roberto_Di_Cosmo">Roberto Di
Cosmo</a>, I've been able not only to pursue quite some <a href=
"http://upsilon.cc/~zack/research/publications/">research</a> on FOSS distros, but
I've also been supported (rather than discriminated) in my Debian
activities, including acting as DPL around the world. Last but not
least, within IRILL I have also been able to offer support to
several Free Software communities such as: Debian itself (hosting
<a href="http://wiki.debian.org/Sprints">Sprints</a> and sponsoring
<a href="http://www.debconf.org">DebConf</a> hardware), <a href=
"http://www.irill.org/events/gnu-hackers-meeting">GNU</a>, <a href=
"http://www.irill.org/events/osi-board-meeting-at-irill">OSI</a>,
<a href="http://www.irill.org/events/ocaml-hacking-days">OCaml</a>,
<a href="http://www.irill.org/events/darcs-sprint">Darcs</a>, and
many others. I realize how lucky I've been ending up in a place
like IRILL and I'm glad to know I'll be around here for quite some
time.</p>
<p>The main change I'll expect to happen from September on is that
I'll get back to do some <a href="http://upsilon.cc/~zack/teaching/">teaching</a>,
trading-off time from research activities. I've been teaching only
on and off since I've moved to France in 2008 and I miss that quite
a bit. It looks like that next year I'll be teaching various
classes on FOSS-related (or at the very least UNIX-y) topics. Time
looks scarce, but who knows, maybe I'll also find a way to mix-in
the nice packaging tutorial that Lucas has recently <a href=
"http://packages.debian.org/sid/packaging-tutorial">put
together</a>.</p>
<p>Wish me luck!</p>
h-index spoofinghttp://upsilon.cc/~zack/blog/posts/2010/11/h-index_spoofing/2010-11-25T14:30:30Z2010-11-25T14:14:01Z
<h1>Next time you are asked your h-index ...</h1>
<p>Next time you are asked your <strong><a href=
"https://en.wikipedia.org/wiki/h%2Dindex">h-index</a></strong>, I
suggest replying by pointing to <a href=
"http://membres-lig.imag.fr/labbe/Publi/IkeAntkareSub.pdf">related
work</a> by Ike Antkare [1].</p>
<table style="margin-left: 2em">
<tr>
<td style="vertical-align: top">[1]</td>
<td>Ike Antkare. <a href=
"http://membres-lig.imag.fr/labbe/Publi/IkeAntkareSub.pdf"><em>Ike
Antkare one of the great stars in the scientific
firmament</em></a>.<br />
April, 2010.<br />
<kbd><a href=
"http://membres-lig.imag.fr/labbe/Publi/IkeAntkareSub.pdf">http://membres-lig.imag.fr/labbe/Publi/IkeAntkareSub.pdf</a></kbd>,<br />
retrieved November 25th, 2010.</td>
</tr>
</table>
<p>Although some people still <a href=
"http://www.harzing.com/pop.htm">don't get it</a>, the bottom line
is always the same: you can't rely on a fully automatic method to
evaluate intelligent entities which are aware of the evaluation
method, as <a href=
"http://cacm.acm.org/magazines/2007/11/5526-stop-the-numbers-game"><strong>
they are very likely to adapt to it</strong></a>. This is even more
so when the automatic method relies on a <a href=
"http://scholar.google.com">data source</a> which is not under the
control of the evaluator(s).</p>
<p><small>Thanks to <a href=
"http://www.lucas-nussbaum.net/blog">Lucas</a> for sharing the
<a href="http://identi.ca/notice/59233858">bibliography
entry</a>.</small></p>
concorsi truccati ... e dajehttp://upsilon.cc/~zack/blog/posts/2010/01/concorsi_truccati_..._e_daje/2010-01-25T21:54:36Z2010-01-25T21:54:36Z
<h1>niente di nuovo sotto il sole</h1>
<p>Chi ha parlato con me di <strong>concorsi truccati</strong> che
impediscono ai "giovani ricercatori"™ di essere assunti in Italia
ha difficilmente trovato terreno fertile. La mia disciplina
(l'informatica scientifica) è relativamente nuova e quindi più
fortunata di discipline più antiche: le cosiddette baronie si
stanno si affermando, ma in buona parte d'Italia (e limitatamente
ai dipartimenti che ho avuto modo di conoscere) è ancora possibile
trovare concorsi da ricercatore in informatica che siano
specchiatamente meritocratici. Badate: non ho detto che sia la
norma, ma ... <em>«piuttosto che niente, è meglio
piuttosto»</em>.</p>
<p>Nel mio ambito di interesse dunque, il problema della assunzione
dei giovani è dominato più dalla <strong>scarsità di posti</strong>
che non dal malcostume dei concorsi truccati. A parità di
competenze scientifiche ed età, la Francia è in grado di assumere
<em>ogni anno</em> molti più ricercatori in informatica di quanto
non sappia fare l'Italia. Per questo è piuttosto comune imbattersi
in laboratori di ricerca francesi dove i ricercatori italiani sono
statisticamente sovra-rappresentati rispetto ad altre
nazionalità.</p>
<p>In altre discipline e/o in altri piani della gerarchia
accademica, le carte in gioco sono molto diverse. Riporto a questo
proposito la (yet another) <strong>horror story</strong>
dell'assunzione di 2 professori ordinari per trasferimento a Roma
Tre. Niente di nuovo, ma questa ha avuto immeritatamente poca
risonanza e la riporto con piacere.</p>
<p>Breve rassegna stampa:</p>
<ol>
<li>
<p><a href=
"http://www.ilsole24ore.com/art/SoleOnLine4/dossier/Italia/2009/commenti-sole-24-ore/11-dicembre-2009/universita-arsenico-vecchi-concorsi.shtml">
l'articolo iniziale</a> di Roberto Perotti sul Sole, che introduce
la vicenda.<br />
<small>(Per chi non lo conoscesse, Perotti è autore del bellissimo
libro <a href=
"http://www.ibs.it/code/9788806193607/perotti-roberto/universit-agrave-truccata.html">
<em>l'università truccata</em></a>, uno dei più belli ed
equilibrati testi che io abbia letto sulle "sventure"
dell'università italiana.)</small></p>
</li>
<li>
<p><a href=
"http://www.ilsole24ore.com/art/SoleOnLine4/dossier/Italia/2009/commenti-sole-24-ore/15-dicembre-2009/universita-riforma.shtml">
(i tentativi di) risposta</a> degli attori del concorso, sempre sul
Sole</p>
</li>
<li>
<p>infine, <a href=
"http://www.noisefromamerika.org/index.php/articles/Concorsi_manipolati%3A_il_caso_di_Roma_Tre">
l'analisi</a> di Michele Boldrin sui meriti scientifici dei
candidati in gioco per la cattedra di Economia Politica<br />
<small>(Shameless plug per i cater-fan: Boldrin è l'economista di
riferimento di <a href=
"http://caterpillar.blog.rai.it/">Caterpillar</a>.)</small></p>
</li>
</ol>
<p>I miei <strong>highlight</strong> sulla vicenda sono i
seguenti:</p>
<ul>
<li>
<p>In molti, ed io tra loro, ritengono non sia possibile stabilire
un unico strumento di valutazione <em>automatico</em> per
l'attività di ricerca (i.e. <a href=
"http://www.harzing.com/pop.htm">PoP</a> non è la soluzione). Ciò
nondimeno, le personalità scientifiche attive in specifici ambiti
possono facilmente smascherare i candidati impresentabili ad un
concorso, grazie semplicemente alla loro cultura su quali siano le
basi dati (motori di ricerca, indici di riviste, conferenze note,
...) scientificamente affidabili da consultare. Non è altrettanto
facile garantire che <q>vinca il migliore</q>, ma smascherare gli
impresentabili costituisce un contributo fondamentale a minimizzare
i danni per l'università che assume il vincitore del concorso (e
quindi per la collettività).</p>
</li>
<li>
<p>Uno dei punti (ricorrenti) di Perotti resta la chiave di
tutto:</p>
<blockquote>
<p>In qualsiasi paese moderno nessun esponente accademico si
sarebbe esposto in una vicenda così imbarazzante: la tradutio
manuale dei titoli, la clamorosa disparità di valore scientifico di
vincitori e sconfitti, le parentele, il cerchiobottismo politico.
Inoltre, rettore e preside, e l'intera università con loro,
avrebbero perso molto di più in immagine e prestigio di quanto
avrebbero guadagnato in altre dimensioni.</p>
<p>Perché questa totale indifferenza? Il motivo è sempre lo stesso:
nell'università italiana si procede solo per anzianità, nessuno
paga per le scelte sbagliate e nessuno viene premiato per operare
bene. Che io promuova un premio Nobel oppure l'amico o il parente,
il mio stipendio e la mia carica continuano esattamente come
prima.</p>
</blockquote>
</li>
</ul>
<p>In tale contesto di deresponsabilizzazione generale
<strong>nessuna isola felice può durare a lungo</strong>, <a href=
"http://mailserver.di.unipi.it/pipermail/grin/msg02608.html">le
avvisaglie</a> sono tristemente note.</p>
Preserving privacy with Google Docshttp://upsilon.cc/~zack/blog/posts/2010/01/Preserving_privacy_with_Google_Docs/2010-01-15T09:49:50Z2010-01-15T09:43:58Z
<h1>Eclectic paper: SEcure GOogle DOCumentS</h1>
<p>Two days from an <a href=
"http://googleblog.blogspot.com/2010/01/new-approach-to-china.html">
important Google announcement</a>, <strong>privacy
awareness</strong> is steadily increasing in the media. The old
mantra that "despotic governments might use your data in unexpected
way" sounds more real than last week, and <a href=
"http://www.imdb.com/title/tt0405094/">recent movies</a> ring
different bells in our heads.</p>
<p>That event has prodded me to (finally!) blog about <a href=
"http://upsilon.cc/~zack/blog/posts/2009/11/Enforcing_type-safe_linking_using_package_dependencies/">
yet another eclectic paper</a> of <a href=
"http://upsilon.cc/~zack/research/publications/">mine</a>, co-authored with my old
friend <a href=
"http://www.cs.unibo.it/~gdangelo/index-eng.html">Gabriele
D'Angelo</a>, and which I'm going to present at <a href=
"http://www.acm.org/conferences/sac/sac2010/">the forthcoming ACM
SAC conference</a>. The paper is titled <a href=
"http://upsilon.cc/~zack/research/publications/sac10-coclo.pdf"><strong>Content
Cloaking: Preserving Privacy with Google Docs and other Web
Applications</strong></a> and poses (again) a rather simple
question: why should you trust Google to faithfully store your
<strong><a href="http://docs.google.com">Google Docs</a>
data</strong>? What if roles in the recent Google-vs-China issue
were inverted?</p>
<p>The proposed solution (Content Cloaking) then simply implements
<strong>transparent encryption and decryption</strong> in the
payload which is sent back and forth between your browser and the
Docs backend. Trying to access your Docs data without a decryption
layer and the needed key will then just show garbage, for both
humans and Google harvesters. Of course you lose something, like
full text search which is performed server-side by Google, but at
least you're back in charge again: it is you who decides to which
extent trading-off your privacy with offered services.</p>
<p>A <strong>proof-of-concept implementation</strong> is provided
(and of course is free software!) as an extension for the Firefox
browser, but is now out of date wrt Firefox mainline and was not
really production ready anyhow (let's say it was
master-thesis-implementation-quality ...). Still we, the authors,
stand behind the idea even if we don't have the energy to maintain
a production-quality implementation.</p>
<p>So, <strong>Dear LazyWeb</strong>, If you are interested in the
topic and you've development cycles to spare, please <a href=
"mailto:zack@upsilon.cc">drop me a mail</a> and I'll be happy to
point you to all needed details to resurrect the implementation (or
create one from scratch, which should be pretty easy and quick if
you're familiar with extension development).</p>
Enforcing type-safe linking using package dependencieshttp://upsilon.cc/~zack/blog/posts/2009/11/Enforcing_type-safe_linking_using_package_dependencies/2009-11-28T12:00:16Z2009-11-28T12:00:16Z
<h1>Eclectic paper: dh-ocaml</h1>
<p>In my day job as a researcher, I mostly <a href=
"http://upsilon.cc/~zack/research/publications/">publish papers</a> along the lines
of my main research interests (theorem proving, web technologies,
formal methods applied to software engineering, ...). Some time
though, I just come up to some <strong>eclectic idea</strong>, not
strictly related to my job, that I feel like cooking up as a paper
to be reviewed by some scientific venue.</p>
<p>It happened some weeks ago with <a href=
"http://packages.debian.org/sid/dh-ocaml"><strong>dh-ocaml</strong></a>,
the package implementing the <strong>new dependency scheme for
OCaml-related packages</strong> in Debian. It took us (as in
<a href="http://wiki.debian.org/Teams/OCamlTaskForce">Debian OCaml
maintainers</a>) several years to get it right and satisfactory for
maintainers, users, release team, etc.</p>
<p>The problem which dh-ocaml addresses is that, differently than C
and other system-level languages, <strong>OCaml breaks ABI
compatibility very often</strong>, due to the need of ensuring type
safety across different libraries at link time. Other similar
strongly typed languages, such as Haskell, behave similarly. This
is at odds with the implicit assumption of forward-compatibility
(unless otherwise "stated", e.g. with soname changes) that is
relied upon by versioned dependencies in distributions like
Debian.</p>
<p>This discussion, the analysis of possible solutions, and the
description of the solution we have actually implemented in
dh-ocaml (called <strong>ABI approximation</strong>) turned out to
be interesting for the French functional programming academic
community: the <a href=
"http://upsilon.cc/~zack/research/publications/jfla10-dh-ocaml.pdf"><strong>paper on
dh-ocaml</strong></a> has been accepted at forthcoming <a href=
"http://jfla.inria.fr/2010/">JFLA 2010</a>.</p>
<p>It is no rocket science <img src="http://upsilon.cc/~zack/smileys/smile.png" alt=
":-)" /> , but people maintaining programs and libraries written in
languages with concerns similar to OCaml's (e.g. Haskell, hello
<a href="http://www.joachim-breitner.de/blog/">nomeata</a>) might
want to have a look.</p>
open access scientific publishing for Springer and UChttp://upsilon.cc/~zack/blog/posts/2009/01/open_access_scientific_publishing_for_Springer_and_UC/2009-11-28T12:00:16Z2009-01-29T16:25:17Z
<h1>first large-scale CC licensing of scientific papers</h1>
<p>University of California and Springer have signed <a href=
"http://www.universityofcalifornia.edu/news/article/19335">an
agreement</a> to publish as Open Access (Creative Commons
by-nc).</p>
<p>This is huge news, I personally wonder how UC managed to achieve
that. But nevertheless this is undeniably a precedent, which other
research institution should use to reach similar agreements.</p>
<p>The currently publishing situation for scientific papers is on
the average terrible, with (at least in Italy) research
institutions being strangled by the yearly subscriptions fees to
digital libraries. The subscriptions are so bad that the year you
stop paying them you loose access entirely, basically admitting
that you have wasted all the past year payments.</p>
<p>At least CC by-nc will create material that in the future can be
collected independently and made available by each institution.</p>
camp sulla ricerca italiana a Parigihttp://upsilon.cc/~zack/blog/posts/2008/12/camp_sulla_ricerca_italiana_a_Parigi/2009-01-16T12:27:28Z2008-12-11T09:58:12Z
<h1>Camp sulla Ricerca Italiana: Parigi, 13/12/2008</h1>
<p>Questo sabato, si svolgerà a Parigi un camp di discussione su
proposte di riforma della ricerca italiana. È rivolto agli attori
della ricerca italiana che per lavoro (o anche per caso) si trovano
a Parigi.</p>
<p>Maggior informazioni sono disponibili sul <a href=
"http://docs.google.com/View?docid=dz6sr8t_41hbfnmcdk">documento di
lavoro</a>.</p>
<p>Questo un estratto dello
SPAM<sup>W</sup><sup>Wdell</sup>'annuncio che ho mandato qualche
giorno fa ai potenziali interessati:</p>
<pre><code>ti scrivo per segnalarti che sabato prossimo (13/12/2008) si terrà
a Parigi un bar camp sulla ricerca italiana. L'obiettivo è di
lavorare su un insieme di proposte concrete di riforma del sistema
della ricerca italiana, con l'obiettivo finale di arrivare ad una
proposta di legge.
Il camp sarà solo un passo preliminare in quella
direzione. L'interesse di farlo a Parigi risiede nella possibilità
di coinvolgere chi presumibilmente conosce bene i problemi del
sistema della ricerca in Italia, essendone "scappato" in cerca di
lidi migliori.
</code></pre>
<p>Nel caso qualcuno voglia partecipare è gradita (ma non
necessaria) una mail al sottoscritto per indicare la presenza. Ecco
le informazioni logistiche del caso:</p>
<ul>
<li><em>quando</em>: 13/12/2008 (sabato), dalle 14:00 alle
19:00</li>
<li><em>dove</em>: salle Bleue/Fer-à-Cheval, Mairie du XIII, 1
Place d'Italie, 75013 Paris, Métro: Place d'Italie</li>
</ul>
esamificiohttp://upsilon.cc/~zack/blog/posts/2008/09/esamificio/2009-01-05T17:01:30Z2008-09-26T11:11:10Z
<h1>Esamificio? No, grazie.</h1>
<p><a href="http://www.lavoce.info/articoli/pagina1000622.html">Un
interessante articolo</a> da <a href=
"http://lavoce.info">Lavoce</a> evidenzia uno dei tanti meccanismi
usati dall'università Italiana per <strong>tenere gli studenti
all'interno dei corsi di laurea più tempo possibile</strong> (più
tempo = più soldi di tasse): la possibilità di <strong>ritentare
praticamente all'infinito</strong> ogni singolo esame. Più volte mi
sono imbattuto con la problematica dal lato della cattedra: ci
siamo tutti culturalmente (auto-)convinti che calare il numero
degli appelli sia fare un torto agli studenti, quando non è affatto
così.</p>
<p>Una distinzione che l'articolo citato non menziona è tra il
numero di appelli per anno e la possibilità di <em>un singolo
studente</em> di partecipare a più appelli durante l'anno. La prima
possibilità ha effettivamente vantaggi di libertà per lo studente
(ma induce problemi citati, quali il maggiore rischio di non equità
tra i diversi testi d'esame), la seconda no.</p>
<p>Cito altre "strategie" utilizzati dai corsi di laurea di casa
nostra per tenere al laccio gli studenti:</p>
<ul>
<li>
<p>Fare pagare le tasse di <strong>fuori corsi solo al termine del
periodo previsto di studio</strong>; in questo modo si lascia che
gli studenti si illudano di potere "recuperare" anni di studio
andati malino con pochi esami all'attivo. Recupero che puntualmente
non accade.</p>
</li>
<li>
<p><strong>Eliminare le propedeuticità</strong> (i.e., i vincoli
che obbligano ad avere sostenuto certi esami prima di poterne
sostenere altri); in questo modo si concede la possibilità di
sostenere esami (che magari si svolgono a crocette ...) a studenti
che in linea di principio non hanno le basi per capire la materia.
Chiaramente questa pratica non fa altro che invogliare il "tentare
la sorte".</p>
</li>
</ul>
<p>Qualche vincolo in più renderebbe i corsi di laurea
apparentemente più ostici e invoglierebbe più studenti ad
abbandonare, ma sarebbe solo apparenza: in realtà darebbe un
servizio migliore agli studenti meritevoli.</p>
fancy bibliography entryhttp://upsilon.cc/~zack/blog/posts/2008/06/fancy_bibliography_entry/2009-11-28T12:00:16Z2008-06-30T15:31:50Z
<h1>sooner or later in a bibliography I should add ...</h1>
<p>Quoting from the bibliography of a paper from the <a href=
"http://www.sigmod.org/">ACM SIGMOD</a> conference:</p>
<pre><code>[11] Sergio Leone, Clint Eastwood, Eli Wallach, and Lee Van
Cleef. The Good, the Bad and the Ugly / Il Buono, il Brutto,
Il Cattivo (The Man with No Name). Produzioni Europee
Associate (Italy) Production, Distributed by United Artists
(USA) 1966.
</code></pre>
<p>... one of the things I would have killed for having written by
myself.</p>
unexpected kudos from TBLhttp://upsilon.cc/~zack/blog/posts/2008/04/unexpected_kudos_from_TBL/2009-11-28T12:00:16Z2008-04-24T13:49:52Z
<h1>Sir Tim Berners-Lee kudos the Debian packaging system</h1>
<p>I'm currently in <a href=
"https://en.wikipedia.org/wiki/Beijing">Beijing</a> to deliver a
talk at the <a href="http://www2008.org">WWW2008</a> conference,
and I just came back from the usual magnificent banquet of big
conferences. Before the banquet it was scheduled a <a href=
"http://www2008.org/keynote/TimBL.html">keynote talk</a> by
<a href="http://en.wikipedia.org/wiki/Tim_berners-lee">Sir Tim
Berners-Lee</a>.</p>
<p>What is the least thing you expect to hear from Sir Tim mouth in
such a talk? I for sure hadn't expected to hear <strong>kudos to
the Debian packaging system</strong>! But in fact I did hear that
and apparently I was not the only one (though probably I was the
only one who got excited about it, attracting the attention of my
table-mates).</p>
<p>He was talking about various shortcoming to be addressed in the
future of the Web, and one was the hackish way in which
Javascript/AJAX applications are deployed on the web, with no
encapsulation/packaging of libraries. Well, as an example to tend
to he then mentioned the packaging system of <a href=
"http://www.debian.org">our beloved distribution</a>.</p>
<p>It is really the time to say: we are just one step away from the
<em>total world (wide web) domination</em>.</p>