Many-core compiler fuzzing

We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations

A phenomenological case study of finding meaning through the developmental nature of a doctoral program in organization change

This phenomenological case study of finding meaning explored the developmental nature of Pepperdine University’s Doctor of Education in Organization Change (EDOC) program through graduates, who as students, found deep, visceral, and life changing meaning. The primary request of participants, identified as co-inquirers, was to: describe in as much detail as possible how meaning was found through their participation in the EDOC program. Detailed storied descriptions from 10 graduates were gathered through interviews. Anecdotes were gathered by email from other graduates concerning the meaning found, relational experiences, and vivid program experiences. In my analysis of data, I explicated the structure (the relationship among the most invariant constituents of the phenomenon) and meaning (implications) from their lived experience. Though particulars differed, the interview data revealed a structure surrounding each of the ten co-inquirers as being (a) self-aware learners who joined the program with assumptions concerning the challenging nature of the learning experience; (b) a socially constructed environment that facilitates the formation of relational sets and community engagement; (c) deep and rich dialogic relationships among participants within the learning community; (d) co-constructed learning through collaboration with faculty and fellow students; (e) abundant free-space in learning enabling the transcendence of boundaries to personal growth; (f) an immensely helping and caring environment; (g) significant opportunities to challenge and broaden worldviews through program experiences; and (h) consistent validation of progress toward personal, educational and life goals. In coming to understand the phenomenon for finding meaning, I used descriptive phenomenology and given my presence as a student in the program being studied, I offered my own observations. I framed propositions from the study’s findings for progressive educators and organization development professions. Meaning found led to life changes such as improved personal and professional effectiveness, a deeper sense of self and self-worth, a clearer view of the world, and an ability to enact what had been taken from the experience; a significant educational outcome in addition to cognitive competencies, field knowledge and application. Those who have experienced the program came away with a deeper sense of purpose and far reaching capabilities to serve

Methodist Ministers in South Carolina, 1961

Biographical Sketches and Pictures of the Ministers of the South Carolina Conference, Southeastern Jurisdiction, The Methodist Churchhttps://digitalcommons.wofford.edu/methodistdirectories/1006/thumbnail.jp

Face2face: advancing the science of social interaction

Face-to-face interaction is core to human sociality and its evolution, and provides the environment in which most of human communication occurs. Research into the full complexities that define face-to-face interaction requires a multi-disciplinary, multi-level approach, illuminating from different perspectives how we and other species interact. This special issue showcases a wide range of approaches, bringing together detailed studies of naturalistic social-interactional behaviour with larger scale analyses for generalization, and investigations of socially contextualized cognitive and neural processes that underpin the behaviour we observe. We suggest that this integrative approach will allow us to propel forwards the science of face-to-face interaction by leading us to new paradigms and novel, more ecologically grounded and comprehensive insights into how we interact with one another and with artificial agents, how differences in psychological profiles might affect interaction, and how the capacity to socially interact develops and has evolved in the human and other species. This theme issue makes a first step into this direction, with the aim to break down disciplinary boundaries and emphasizing the value of illuminating the many facets of face-to-face interaction. This article is part of a discussion meeting issue 'Face2face: advancing the science of social interaction'

Definição de regiões prioritárias para aumento da produção de leite no Brasil.

Foram comparadas duas estratégias de identificação de municípios prioritários para ações de transferência de tecnologia para o aumento da produtividade de leite. Em ambas é obtida a meta de aumento de 40%, prevista no Programa Mais Leite. Os resultados da análise permitem aos tomadores de decisão de cada uma das Unidades da Federação optar prioritariamente pela estratégia de aumento na produtividade média de leite mais conveniente

Priorização de locais para implantação ou intensificação da vigilância fitossanitária no Brasil.

Esta nota traz a visualização dos postos de controle do VIGIAGRO, com as principais regiões produtoras das culturas ameaçadas por pragas quarentenárias, juntamente com as possíveis vias de acesso de pragas quarentenárias no território brasileiro, permitindo a identificação de deficiências na localização dos postos de controle e possibilita a priorização de locais para a implantação ou intensificação da vigilância fitossanitária

Municípios, de cada Unidade da Federação, indicados como prioritários para ações de transferência de tecnologia que visem o aumento da produtividade média de leite em municípios com baixa produtividade: estratégia 2.

O mapa apresenta a distribuição dos municípios indicados como prioritários para ações de transferência de tecnologia que visem o aumento da produtividade média de leite. Ele faz parte de uma publicação elaborada pela Embrapa Gestão Territorial, na qual foram comparadas duas estratégias de identificação de municípios prioritários para ações de transferência de tecnologia para o aumento da produtividade de leite em 40%, conforme meta prevista no Programa Mais Leite.bitstream/item/101288/1/20140422-MAPA-NotaTecnicaSGTE-05-estrategia2.pd