Toward Taming the Overhead Monster for Data-flow Integrity

Data-Flow Integrity (DFI) is a well-known approach to effectively detecting a wide range of software attacks. However, its real-world application has been quite limited so far because of the prohibitive performance overhead it incurs. Moreover, the overhead is enormously difficult to overcome without substantially lowering the DFI criterion. In this work, an analysis is performed to understand the main factors contributing to the overhead. Accordingly, a hardware-assisted parallel approach is proposed to tackle the overhead challenge. Simulations on SPEC CPU 2006 benchmark show that the proposed approach can completely enforce the DFI defined in the original seminal work while reducing performance overhead by 4×, on average.

On incorrectness logic and Kleene algebra with top and tests

Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen proved that KAT subsumes propositional Hoare logic, showing that one can reason about the (partial) correctness of while programs by means of the equational theory of KAT. In this work, we investigate the support that KAT provides for reasoning about incorrectness, instead, as embodied by O'Hearn's recently proposed incorrectness logic. We show that KAT cannot directly express incorrectness logic. The main reason for this limitation can be traced to the fact that KAT cannot express explicitly the notion of codomain, which is essential to express incorrectness triples. To address this issue, we study Kleene Algebra with Top and Tests (TopKAT), an extension of KAT with a top element. We show that TopKAT is powerful enough to express a codomain operation, to express incorrectness triples, and to prove all the rules of incorrectness logic sound. This shows that one can reason about the incorrectness of while-like programs by means of the equational theory of TopKAT.

The Working Week in the Long Nineteenth Century: Evidence from the Timings of Political Events in Britain

Debates about patterns of time use in eighteenth- and nineteenth-century Britain go back to the seminal work of E. P. Thompson in the 1960s. But the lack of systematic evidence means that many of these questions remain unresolved. In an attempt to advance those debates, this essay uses three catalogs of political events to reconstruct the working week in Britain over the long nineteenth century. Three patterns emerge. First, observance of Saint Monday appears to have been widespread in the early nineteenth century before declining slowly in the mid-1800s, a process that happened faster in factory towns than elsewhere. This finding supports the orthodox narrative about Saint Monday against its recent challengers (in particular Hans-Joachim Voth). Second, I find that political organizers in the early nineteenth century were reluctant to profane the Sabbath by arranging public meetings on Sundays, but that this came to an end during the heyday of Chartism. Third, these catalogs also provide some, more speculative, evidence that the working day and the working week became more ordered as the nineteenth century wore on.

Turning Romanticism on its Head: The Peripheral Symbolic Geography of Aldous Huxley and Ira Levin

Within the present paper, I aim to discuss how Aldous Huxley and Ira Levin have employed the peripheral symbolic geography of their two works (Brave New World and This Perfect Day) to articulate their debate between different sets of social values. Unlike other authors of negative utopias such as George Orwell or Yevgeny Zamyatin, neither Huxley nor Levin idealized pre-modern values. In order to highlight how the two articulated their views with the help of symbolic geography, I will also make use of Michel Foucault’s theoretical concepts of heterotopias, heterochrony as well as the ideas developed by the critics Michael Lowy and Robert Sayre in their seminal work Romanticism against the Tide of Modernity. My purpose is thus firstly to point out how and why Huxley and Levin divided the symbolic geography of their works in two parts as well as how they employed the Romantic critique of modernity. Secondly, I aim to show how despite using this analytical tool, they also employed symbolic geography with the purpose of turning the critique on its head, thus unveiling both its strong points as well as its shortcomings.

Ordinary Fragmentation: Network Secession of Urban Centers in Jakarta

Drawing from the literature on ‘premium networked spaces’, introduced in Graham and Marvin’s seminal work Splintering Urbanism in 2001, this paper argues that splintering or fragmentation of networks – and ultimately urban space – is constituted in so-called premium enclaves in Jakarta. Our study exemplifies that significant land acquisition and discretionary zoning policy contribute to the splintering of Jakarta’s urban space. This paper uses the TB Simatupang corridor in South Jakarta and Puri Indah CBD in West Jakarta to illustrate the interplay between urban planning and secessionary space production in high-profile economic districts. Lastly, this paper proposes the ‘ordinary fragmented network’ as the norm and expands the idea of the splintering of marginalized parts of the city to also incorporate areas within premium network spaces as part of splintering urbanism. Abstrak. Diambil dari literatur tentang 'ruang jaringan premium' yang diperkenalkan dalam karya mani Graham dan Marvin pada tahun 2001, Splintering Urbanism, makalah ini berpendapat bahwa splintering atau fragmentasi jaringan – dan akhirnya ruang perkotaan, dibentuk dalam apa yang disebut kantong-kantong premium di Jakarta. Studi kami menunjukkan bahwa pembebasan lahan dan kebijakan zonasi diskresioner yang signifikan berkontribusi pada pecahnya ruang kota Jakarta. Makalah ini menggunakan koridor TB Simatupang di Jakarta Selatan dan CBD Puri Indah di Jakarta Barat untuk menggambarkan interaksi antara perencanaan kota dan produksi jaringan pemisahan di distrik ekonomi kelas atas. Terakhir, makalah ini mengusulkan 'jaringan terfragmentasi biasa' sebagai norma dan menggeser ide-ide sempalan dari hanya bagian kota yang terpinggirkan untuk menggabungkan area dalam 'ruang jaringan premium' sebagai bagian dari urbanisme yang terpecah. Kata kunci. Pusat perkotaan, jaringan terfragmentasi, jaringan jalan, Jakarta.

The Mute Zone of Social Representations and the Effects of (Un)Masking: Review and Prospects

Twenty years ago, Guimelli and Deschamps (2000) hypothesised the existence of the mute zone of social representations. According to the authors, certain parts of the social representations of objects, described as sensitive, were not expressed under normal survey conditions. This fundamental question was curiously addressed very late in literature on social representations, but has been having significant success within the community of researchers working in this field since then. This seminal work, which offered a methodological perspective capable of highlighting such unspoken facts, paved the way for studies that proposed several theoretical interpretations and new techniques for exploring this mute zone. The challenge was twofold: to identify the processes involved and to invent the appropriate tools to express the counter-normative contents potentially attached to certain objects of representation. This article proposes to take stock of these 20 years of research and to anticipate new avenues oriented on the one hand on the study of the socio-cognitive processes involved in the mute zone phenomenon, and on the other hand on the proposal of new theoretical and methodological articulations with other concepts dealing with similar issues.

Off-The-Grid Variational Sparse Spike Recovery: Methods and Algorithms

Gridless sparse spike reconstruction is a rather new research field with significant results for the super-resolution problem, where we want to retrieve fine-scale details from a noisy and filtered acquisition. To tackle this problem, we are interested in optimisation under some prior, typically the sparsity i.e., the source is composed of spikes. Following the seminal work on the generalised LASSO for measures called the Beurling-Lasso (BLASSO), we will give a review on the chief theoretical and numerical breakthrough of the off-the-grid inverse problem, as we illustrate its usefulness to the super-resolution problem in Single Molecule Localisation Microscopy (SMLM) through new reconstruction metrics and tests on synthetic and real SMLM data we performed for this review.

R. Murray Schafer (1933–2021) and the World Soundscape Project

This in memoriam tribute for Canadian composer R. Murray Schafer focuses on his seminal work in establishing soundscape studies and the World Soundscape Project. It discusses his intellectual legacy in terms of emphasising a perceptually based approach and the importance of soundscape design, along with critical responses to his ideas.

Rebonds: Structural Affordances, Negotiation, and Creation

This paper presents a comparative recording analysis of the seminal work for solo percussion Rebonds (Iannis Xenakis, 1989), in order to demonstrate how performances of a musical work can reveal—or even create—aspects of musical structure that score-centered analysis cannot illuminate. In doing so I engage with the following questions. What does a pluralistic, dynamic conception of structure look like for Rebonds? How do interpretive decisions recast performers as agents of musical structure? When performances diverge from the score in the omission of notes, the softening of accents, the insertion of dramatic tempo changes, or the altering of entire passages, do conventions that arise out of those performance practices become part of the structural fabric of the work? Are these conventions thus part of the Rebonds “text”?

The role of the lecture in post pandemic IHLs: Possibilities and implications from a Singapore case study

As one of the earliest instructional methods in formal education, lectures are primarily designed for students to learn through acquisition (Laurillard, 2012). Bligh’s seminal work (2000) concluded with evidence that lectures are as effective, but not more effective, than other methods in transmitting simple information. Although large, didactic, ‘sage on the stage’ (King, 1993) lectures have been much criticised over the past few decades, evolution to ‘guide by the side’, facilitated approaches has been slow.