Typed Intermediate Languages for Shape-Analysis

We introduce S2, a typed intermediate language for vectors, based on a 2level type-theory, which distinguishes between compile-time and run-time. The paper shows how S2 can be used to extract useful information from programs written in the Nested Sequence Calculus NSC, an idealized high-level parallel calculus for nested sequences. We study two translations from NSC to S2. The most interesting shows that shape analysis (in the sense of Jay) can be handled at compile-time. Introduction Good intermediate languages are an important prerequisite for program analysis and optimization, the main purpose of such languages is to make as explicit as possible the information that is only implicit in source programs (see [18]). A common features of such intermediate languages is an aggressive use of types to incorporate additional information, e.g.: binding times (see [18]), boxed/unboxed values (see [20]), effects (see [23]). In particular, among the ML community the use of types in intermediat..

Inside/Out. Storie di precarietà nell’università italiana

Our contribution focuses on precariousness as experienced in the research sector. The article firstly offers a theoretical framework for precariousness, conceptualized as an interweaving and a co-construction of working and existential conditions. We then describe the most salient regulatory aspects of the academic labour market in Italy, in order to contextualize our research findings within the Italian University system. The research was conducted between 2014 and 2015 in two departments situated in the northeast of the country, the first belonging to the STEM field and the second to SSH disciplines. Thirty-two interviews were conducted with postdoctoral research fellows who, at the time of the research, worked, or had recently ended their collaboration, within the two departments under study. The section dedicated to the presentation of findings is focused firstly on the issue of invisibility of precarious researchers, declined both in terms of gender differences, and of the different level of recognition of postdocs’ working activities in the STEM compared to the SSH department. Secondly, attention is paid to the status of postdocs, on their complicated positioning between formal and informal work and on their substantial exclusion from social protection. In the concluding section, our contribution put in dialogue the individual experiences analysed within the case study with recent movements developed at the national level by precarious researchers, which focus precisely on a collective claim about the issues of recognition of work and access to welfare

Storie di quotidiana in/sicurezza. Le relazioni pericolose tra i lavori a termine e la tutela della sicurezza e della salute sul lavoro

4nonenoneElisa Bellè; Anna Carreri; Miele, Francesco; Annalisa MurgiaElisa, Bellè; Anna, Carreri; Miele, Francesco; Annalisa, Murgi

Chi è in/sicuro sul lavoro? Il difficile intreccio tra lavori temporanei e cultura della sicurezza

4nonenoneBellè E.; Carreri A.; Miele, Francesco; Murgia A.Bellè, E.; Carreri, A.; Miele, Francesco; Murgia, A