Annotation-Based Static Analysis for Personal Data Protection

This paper elaborates the use of static source code analysis in the context of data protection. The topic is important for software engineering in order for software developers to improve the protection of personal data during software development. To this end, the paper proposes a design of annotating classes and functions that process personal data. The design serves two primary purposes: on one hand, it provides means for software developers to document their intent; on the other hand, it furnishes tools for automatic detection of potential violations. This dual rationale facilitates compliance with the General Data Protection Regulation (GDPR) and other emerging data protection and privacy regulations. In addition to a brief review of the state-of-the-art of static analysis in the data protection context and the design of the proposed analysis method, a concrete tool is presented to demonstrate a practical implementation for the Java programming language

Optical trapping of silver nanoplatelets

Optical trapping of silver nanoplatelets obtained with a simple room temperature chemical synthesis technique is reported. Trap spring constants are measured for platelets with different diameters to investigate the size-scaling behaviour. Experimental data are compared with models of optical forces based on the dipole approximation and on electromagnetic scattering within a T-matrix framework. Finally, we discuss applications of these nanoplatelets for surface-enhanced Raman spectroscopy

Classical BI: Its Semantics and Proof Theory

We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have the normal bunched logic reading as declarative statements about resources, but its resource models necessarily feature more structure than those for other bunched logics; principally, they satisfy the requirement that every resource has a unique dual. At the proof-theoretic level, a very natural formalism for CBI is provided by a display calculus \`a la Belnap, which can be seen as a generalisation of the bunched sequent calculus for BI. In this paper we formulate the aforementioned model theory and proof theory for CBI, and prove some fundamental results about the logic, most notably completeness of the proof theory with respect to the semantics.Comment: 42 pages, 8 figure

Nexos e reflexos da adaptação do enfermeiro à cultura organizacional

Aim: to understand the nexus and reflexes of nurses' adaptation to the organizational culture of nursing care in the hospital setting. Method: qualitative, exploratory-descriptive research, whose data were collected through semi-structured interviews with 12 nurses. For data analysis, the content analysis method was chosen, since it involves and apprehends subjective aspects, emerging two categories: the normalization of care and overcoming the normalizing adaptation. Results: the nurse, by providing the care, allows the organization's culture to make an agency on itself, being this adaptation optimized by the lack of exercise of the autonomy by the nurses and by a singular identity little consolidated. Final considerations: the reflex of the adaptation to the organizational culture makes the available care fragile, insufficiently promoting the nurse's proactivity. A longer working time favors the production of singular subjectivity.Objetivo: comprender los nexos y reflejos de la adaptación del enfermero a la cultura organizacional del cuidado de enfermería en el ámbito hospitalario. Método: investigación cualitativa, exploratorio-descriptiva; los datos fueron recolectados por medio de entrevistas semiestructuradas con 12 enfermeros. Para el análisis de los datos fue elegido el método de análisis de contenido, por involucrar y aprehender aspectos subjetivos, y del cual emergió dos categorías: la normalización del cuidado y sobreponiendo la adaptación normalizadora. Resultados: el enfermero, al desarrollar el cuidado, permite que la cultura de la organización haga un agenciamiento sobre sí, siendo esta adaptación optimizada por la falta de ejercicio de la autonomía por los enfermeros y por una identidad poco consolidada. Consideraciones finales: el reflejo de la adaptación a la cultura organizacional fragiliza el cuidado disponible, fomentando de forma insuficiente la proactividad del enfermero. Un tiempo más largo de trabajo favorece la producción de subjetividad singularObjetivo: compreender os nexos e reflexos da adaptação do enfermeiro à cultura organizacional do cuidado de enfermagem no âmbito hospitalar. Método: pesquisa qualitativa, exploratório-descritiva, cujos dados foram coletados por meio de entrevistas semiestruturadas com 12 enfermeiros. Para a análise dos dados, foi escolhido o método de análise de conteúdo, por envolver e apreender aspectos subjetivos, emergindo duas categorias: a normalização do cuidado e sobrepujando a adaptação normalizadora. Resultados: o enfermeiro, ao disponibilizar o cuidado, permite que a cultura da organização faça um agenciamento sobre si, sendo esta adaptação otimizada pela falta de exercício da autonomia pelos enfermeiros e por uma identidade singular pouco consolidada. Considerações finais: o reflexo da adaptação à cultura organizacional faz com que o cuidado disponibilizado se fragilize, fomentando de forma insuficiente a proatividade do enfermeiro. Um maior tempo de trabalho favorece a produção de subjetividade singular

LNCS

Static program analyzers are increasingly effective in checking correctness properties of programs and reporting any errors found, often in the form of error traces. However, developers still spend a significant amount of time on debugging. This involves processing long error traces in an effort to localize a bug to a relatively small part of the program and to identify its cause. In this paper, we present a technique for automated fault localization that, given a program and an error trace, efficiently narrows down the cause of the error to a few statements. These statements are then ranked in terms of their suspiciousness. Our technique relies only on the semantics of the given program and does not require any test cases or user guidance. In experiments on a set of C benchmarks, we show that our technique is effective in quickly isolating the cause of error while out-performing other state-of-the-art fault-localization techniques