3,942 research outputs found

    Graduate Catalog of Studies, 2023-2024

    Get PDF

    LASSO – an observatorium for the dynamic selection, analysis and comparison of software

    Full text link
    Mining software repositories at the scale of 'big code' (i.e., big data) is a challenging activity. As well as finding a suitable software corpus and making it programmatically accessible through an index or database, researchers and practitioners have to establish an efficient analysis infrastructure and precisely define the metrics and data extraction approaches to be applied. Moreover, for analysis results to be generalisable, these tasks have to be applied at a large enough scale to have statistical significance, and if they are to be repeatable, the artefacts need to be carefully maintained and curated over time. Today, however, a lot of this work is still performed by human beings on a case-by-case basis, with the level of effort involved often having a significant negative impact on the generalisability and repeatability of studies, and thus on their overall scientific value. The general purpose, 'code mining' repositories and infrastructures that have emerged in recent years represent a significant step forward because they automate many software mining tasks at an ultra-large scale and allow researchers and practitioners to focus on defining the questions they would like to explore at an abstract level. However, they are currently limited to static analysis and data extraction techniques, and thus cannot support (i.e., help automate) any studies which involve the execution of software systems. This includes experimental validations of techniques and tools that hypothesise about the behaviour (i.e., semantics) of software, or data analysis and extraction techniques that aim to measure dynamic properties of software. In this thesis a platform called LASSO (Large-Scale Software Observatorium) is introduced that overcomes this limitation by automating the collection of dynamic (i.e., execution-based) information about software alongside static information. It features a single, ultra-large scale corpus of executable software systems created by amalgamating existing Open Source software repositories and a dedicated DSL for defining abstract selection and analysis pipelines. Its key innovations are integrated capabilities for searching for selecting software systems based on their exhibited behaviour and an 'arena' that allows their responses to software tests to be compared in a purely data-driven way. We call the platform a 'software observatorium' since it is a place where the behaviour of large numbers of software systems can be observed, analysed and compared

    Policing (trans)gender : Trans and gender diverse interactions with the Australian criminal legal system since the twentieth century

    Get PDF
    This thesis examines the history of trans and gender diverse experiences in the Australian criminal legal system throughout the twentieth century and into the present day. By tracing the developments of trans and gender diverse history in relation to the criminal legal system in Australia across this broad period, this thesis explores the policing and regulation of gender in a range of forms and settings. It looks at the policing of gender nonconforming behaviour and presentation such as arrests of ‘masqueraders’ in the early decades of the twentieth century, policing of transgender sex work in Kings Cross and Darlinghurst from the 1970s, parliamentary debates in the 1980s around providing gender affirming care to transgender inmates, and modern trans and gender diverse policing and incarceration issues. Alongside these themes, this thesis traces the shifting discourses since the turn of the twentieth century around gender diversity – from narratives around so-called ‘sexual deviance’ to present-day debates over trans and gender diverse rights and inclusion. Throughout this period, understandings of what gender diversity is and what it means to be transgender have changed dramatically. However, the existence of gender diversity has consistently challenged assumptions and exposed flaws built into the criminal legal system. While these flaws do not only impact trans and gender diverse people, gender diversity provides a critical lens for interrogating many mechanisms of the criminal legal system to understand who they work for, and who they work against. By examining these shifts, this thesis aims to provide an overview of an under-researched aspect of Australian crime history and analyse the ways that the policing of gender is intertwined with the development of Australian trans and gender diverse history and the past and present mechanisms of the criminal legal system

    An empirical study of the systemic and technical migration towards microservices

    Get PDF
    Context: As many organizations modernize their software architecture and transition to the cloud, migrations towards microservices become more popular. Even though such migrations help to achieve organizational agility and effectiveness in software development, they are also highly complex, long-running, and multi-faceted. Objective: In this study we aim to comprehensively map the journey towards microservices and describe in detail what such a migration entails. In particular, we aim to discuss not only the technical migration, but also the long-term journey of change, on a systemic level. Method: Our research method is an inductive, qualitative study on two data sources. Two main methodological steps take place – interviews and analysis of discussions from StackOverflow. The analysis of both, the 19 interviews and 215 StackOverflow discussions, is based on techniques found in grounded theory. Results: Our results depict the migration journey, as it materializes within the migrating organization, from structural changes to specific technical changes that take place in the work of engineers. We provide an overview of how microservices migrations take place as well as a deconstruction of high level modes of change to specific solution outcomes. Our theory contains 2 modes of change taking place in migration iterations, 14 activities and 53 solution outcomes of engineers. One of our findings is on the architectural change that is iterative and needs both a long and short term perspective, including both business and technical understanding. In addition, we found that a big proportion of the technical migration has to do with setting up supporting artifacts and changing the paradigm that software is developed

    Graduate Catalog of Studies, 2022-2023

    Get PDF

    LIPIcs, Volume 274, ESA 2023, Complete Volume

    Get PDF
    LIPIcs, Volume 274, ESA 2023, Complete Volum

    Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic

    Get PDF
    This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for IMLL , in which the definitions of the logical constants all take the form of their elimination rule and for which soundness and completeness are established
    • …
    corecore