Wound Healing: a genetic approach in Drosophila

The wound healing response is an essential mechanism to maintain the integrity of epithelia and protect all organisms from the surrounding milieu. In the “purse-string” mechanism of wound closure, an injured epithelial sheet cinches its hole closed via an intercellular contractile actomyosin cable.(...)

Community-associated methicillin-resistant Staphylococcus aureus (CA-MRSA) in Portugal:

Methicillin-resistant Staphylococcus aureus (MRSA), a human pathogen confined to hospitals (HAMRSA) for over 30 years have been emerging worldwide in the last two decades as a leading cause of severe infections in healthy individuals in the community (CA-MRSA). Despite its clinical significance, in the beginning of our studies no information existed on the prevalence, and population structure of CA-MRSA in Portugal. Moreover, it remained to be clarified how CA-MRSA emerged in our country. In particular, it was not known if CA-MRSA emerged locally by acquisition of the staphylococcal cassette chromosome mec (SCCmec) by established methicillin-susceptible S. aureus (MSSA) in the community, if they were imported from abroad or have escaped from the hospital.(...)

Integrated care approaches and skills mix policies in Europe

ABSTRACT - Background: Integration of health care services is emerging as a central challenge of health care delivery, particularly for patients with elderly and complex chronic conditions. In 2003, the World Health Organization (WHO) already began to identify it as one of the key pathways to improve primary care. In 2005, the European Commission declared integrated care as vital for the sustainability of social protection systems in Europe. Nowadays, it is recognized as a core component of health and social care reforms across European countries. Implementing integrated care requires coordination between settings, organizations, providers and professionals. In order to address the challenge of integration in such complex scenario, an effective workforce is required capable of working across interdependent settings. The World Health Report 2006 noted that governments should prepare their workforce and explore what tasks the different levels of health workers are trained to do and are capable of performing (skills mix). Comparatively to other European countries, Portugal is at an early stage in what integrated care is concerned facing a growing elderly population and the subsequent increase in the pressure on institutions and professionals to provide social and medical care in the most cost-effective way. In 2006 the Portuguese government created the Portuguese Network for Integrated Care Development (PNICD) to solve the existing long-term gap in social support and healthcare. On what concerns health workforce, the Portuguese government already recognized the importance of redefine careers keeping professional motivation and satisfaction. Aim of the study: This study aims to contribute new evidence to the debate surrounding integrated care and skills mix policies in Europe. It also seeks to provide the first evidence that incorporates both the current dynamics of implementing integrated care in Portugal and the developments of international literature. The first ambition of our study is to contribute to the growing interest in integrated care and to the ongoing research in this area by identifying its different approaches and retrieve a number of experiences in some European countries. Our second goal of this research is to produce an update on the knowledge developed on skills mix to the international healthcare management community and to policy makers involved in reforming healthcare systems and organizations. To better inform Portuguese health policies makers in a third stage we explore the current dynamics of implementing integrated care in Portugal and contextualize them with the developments reported in the international literature. Methodology: This is essentially an exploratory and descriptive study using qualitative methodology. In order to identify integrated care approaches in Europe, a systematic literature review was undertaken which resulted in a paper published in the Journal of Management and Marketing in Health care titled: Approaches to developing integrated care in Europe: a systematic literature review. This article was recommended and included into a list of references identified by The King's Fund Library. A second systematic literature review was undertaken which resulted in a paper published in the International Journal of Healthcare Management titled: Skills mix in healthcare: An international update for the management debate. Semi-structured interviews were performed on experts representing the regional coordination teams of the Portuguese Network for Integrated Care Development. In a last stage a questionnaire survey was developed based on the findings of both systematic literature reviews and semi-structured interviews. Conclusions: Even though integrated care is a worldwide trend in health care reforms, there is no unique definition. Definitions can be grouped according to their sectorial focus: community-based care, combined health and social care, combined acute and primary care, the integration of providers, and in a more comprehensive approach the whole health system. Indeed, models that seek to apply the principles of integrated care have a similar background and are continually evolving and depend on the different initiatives taken at national level. . Despite the fact that we cannot argue that there is one single set typology of models for integrated care, it is possible to identify and categorize some of the basic approaches that have been taken in attempts to implement integrated care according to: changes in organizational structure, workforce reconfiguring, and changes in the financing system. The systematic literature review on skills mix showed that despite the widely acknowledged interest on skills mix initiatives there is a lack of evidence on skills mix implications, constraints, outcomes, and quality impact that would allow policy makers to take sustained and evidence-based decisions. Within the Portuguese health system, the integrated care approach is rather organizational and financial, whereas little attention is given to workforce integration. On what concerns workforce planning Portugal it is still in the stage of analyzing the acceptability of health workforce skills mix. In line with the international approaches, integration of health and social services and bridging primary and acute care are the main goals of the national government strategy. The findings from our interviews clarify perceptions which show no discrepancy with the related literature but are rather scarce comparing to international experience. Informants hold a realistic but narrow view of integrated care related issues. They seem to be limited to the regional context, requiring a more comprehensive perspective. The questionnaire developed in this thesis is an instrument which, when applied, will allow policy makers to understand the basic set of concepts and managerial motivations behind national and regional integrated care programs. The instrument developed can foster evidence on the three essential components of integrated care policies: organizational, financial, and human resources development, and can give additional input on the context in which integrated care is being developed, the type of providers and organizations involved, barriers and constraints, and the workforce skills mix planning related strategies. The thesis was successful in recognizing differences between countries and interventions and the instrument developed will allow a better comprehension of the international options available and how to address the vital components of integrated care programs.

Indexing and active fund management: International evidence

Author's pre-print

Caracterização do papel dos genes TYMS e MTR no desenvolvimento de Cancro Colo-Rectal

RESUMO: O cancro colo-rectal (CCR) é um dos cancros que possui maior taxa de mortalidade a nível mundial. Em Portugal esta patologia é responsável pela morte de cerca de 3700 pessoas por ano, sendo que estes números aumentam de ano para ano. Ao longo das últimas décadas o papel das alterações genéticas na etiologia das patologias oncológicas tem vindo a ter cada vez mais um maior destaque. O número de estudos que avaliam a importância de polimorfismos, mutações, alterações na regulação génica e interacções entre genes no desenvolvimento destas patologias tem aumentado exponencialmente. Com o aumento do conhecimento da forma como estas alterações influenciam o desenvolvimento do cancro surgiram os primeiros meios de diagnóstico genético, levando assim a uma alteração da forma como são encarados o diagnóstico e a prevenção destas doenças. No CCR as formas hereditárias com alterações genéticas inequivocamente identificadas representam apenas 5% dos casos. Existem cerca de 25% que representam formas hereditárias para as quais ainda não foram estabelecidos os padrões de alterações genéticas subjacentes. Desta forma, estudos que venham contribuir para um maior conhecimento dos mecanismos moleculares responsáveis pelo aumento da susceptibilidade dos indivíduos para o desenvolvimento de CCR são extremamente importantes. O CCR é uma patologia multifactorial, onde factores genéticos interagem com factores ambientais no surgimento e desenvolvimento da doença. Assim, torna-se essencial integrar o estudo das alterações genéticas no contexto ambiental onde os indivíduos em estudo se encontram. No caso desta patologia um dos principais factores ambientais estudado é a nutrição. Vários estudos têm sido realizados ao longo dos últimos anos de forma a compreender como pode a ingestão dos nutrientes influenciar o desenvolvimento de CCR e de que forma interage com as alterações genéticas individuais. O ciclo do folato é um dos processos metabólicos onde o papel da nutrição em interacção com alterações genéticas mais tem sido estudado nos últimos anos. Deste cruzamento entre o estudo das alterações genéticas e ambientais surge a Nutrigenética. O conjunto de estudos da presente tese tem como objectivo aumentar o conhecimento do papel das alterações em genes do ciclo do folato, em interacção com factores nutricionais e de estilo de vida, não só no desenvolvimento de CCR, mas também de outra patologia do tracto gastrointestinal, a Doença de Crohn (DC), uma doença inflamatória muitas vezes associada como factor de risco para o desenvolvimento de CCR. Este estudo debruçou-se essencialmente no estudo dos genes timidilato sintetase (TYMS) e metionina sintetase (MTR) em populações com CCR e DC, bem como no padrão nutricional destas populações com particular incidência nos nutrientes envolvidos no ciclo do folato (folato, metionina, vitamina B6, vitamina B12). Analisando o conjunto de resultados obtidos para os estudos do CCR podemos concluir que quer a TYMS quer a MTR possuem um papel relevante na susceptibilidade para desenvolver esta patologia, assim como têm destaque no funcionamento do ciclo celular durante o processo oncogénico. Os resultados demonstram que os factores que levam a uma menor disponibilidade de grupos metil no ciclo de folato (baixos níveis de folato, alteração da actividade de MTR, elevada expressão de TYMS) constituem factores de risco, muito provavelmente por contribuírem para uma desregulação dos níveis de metionina disponível para a metilação do DNA da célula. Demonstram ainda que em células tumorais ocorrem alterações na regulação do ciclo do folato de forma a favorecer a síntese de DNA em detrimento da metilação do mesmo, alterando para isso a expressão dos genes de forma a que o fluxo de grupos metil provenientes do folato sejam encaminhados para a enzima TYMS. O polimorfismo de deleção 6pb da TYMS surge como um factor de diagnóstico e de prognóstico de CCR para a população portuguesa. Dos factores nutricionais analisados apenas o folato aparenta ter um papel relevante na modelação do risco de desenvolver CCR. Na doença de Crohn (DC) podemos verificar que a homocisteína e o seu metabolismo poderão contribuir para o aparecimento e desenvolvimento da patologia. O aumento da homocisteína poderá ser o responsável por um aumento da resposta auto-imune do organismo, promovendo o aparecimento da DC. O polimorfismo A2756G MTR desempenha um papel preponderante como factor de diagnóstico da DC, tendo sido associado pela primeira vez a esta patologia. Tem também um papel importante no desenvolvimento da doença, uma vez que está associado a uma idade de diagnóstico mais baixa, sugerindo assim que o desenvolvimento da doença ocorre de forma mais precoce. Concluindo, com este estudo pensamos ter contribuído para um melhor entendimento do papel do ciclo do folato no desenvolvimento de CCR e DC, sendo um ponto de partida para futuras investigações que possam revelar cada vez melhor as complexas interacções metabólicas desta via e a sua influência nas patologias estudadas. Do nosso estudo destacamos a importância de uma análise global das várias etapas do ciclo do folato para que se possa compreender a dinâmica que se estabelece no desenvolvimento destas patologias, podendo diversas alterações, quer a nível genético quer a nível nutricional, exercerem efeitos diferentes consoante o estado dos restantes intervenientes do ciclo do folato. Acreditamos que no futuro este estudo permitirá que o conhecimento do ciclo do folato tenha cada vez mais uma relevância fundamental a nível de diagnóstico e terapêutica destas patologias.------------ ABSTRACT: Colorectal Cancer (CRC) is one of the cancers that have a higher rate of mortality worldwide. In Portugal this pathology is responsible for the deaths of about 3700 people per year, and these numbers increase each year. Over the past few decades the role of genetic changes in the etiology of oncological pathologies has had an increasingly greater emphasis. The number of studies that evaluate the importance of polymorphisms, mutations, changes in gene regulation and gene interactions in the development of these diseases has increased exponentially. With the increased knowledge of how these changes influence the development of cancer, appeared the first means for genetic diagnostic, leading to a change in the way diagnosis is seen and in the prevention of these diseases. In CRC the hereditary forms with clearly identified genetic changes represent only 5% of cases. There are about 25% representing hereditary forms for which the patterns of genetic changes haven’t been established. In this way, studies that will contribute to a greater understanding of the molecular mechanisms responsible for increased susceptibility of individuals to the CRC development are extremely important. CRC is a multifactorial pathology, where genetic factors interact with environmental factors in the emergence and development of the disease.Thus, it is essential to integrate the study of genetic changes in the environmental context of the individuals under study. In the case of this pathology one of the main environmental factors studied is nutrition. Several studies have been conducted over the past few years in order to understand how the intake of nutrients can influence the development of CRC and how nutrients interact with the individual genetic changes. The folate cycle is one of the metabolic processes where the role of nutrition in interaction with genetic alterations has been studied in recent years. This cross between the study of genetic and environmental changes developed Nutrigenetics. The set of studies of this thesis aims to increase awareness of the role of changes in genes of the folate cycle, in interaction with nutritional factors and lifestyle, not only in the development of CRC, but also of another pathology of the gastrointestinal tract, Crohn's disease (CD), an inflammatory disease often associated as a risk factor for the development of CRC. This study dealt mainly in the study of genes thymidylate synthase (TYMS) and methionine synthase (MTR) in populations with CRC and CD, as well as in the nutritional pattern of these populations with particular focus on nutrients involved in the folate cycle (folate, methionine, vitamin B6, vitamin B12). Analyzing the results obtained for the CRC studies we conclude that either the MTR TYMS have a relevant role in susceptibility to develop this pathology, and have an important role in the functioning of the cell cycle during oncogenesis. The results show that the factors that lead to a lower availability of methyl groups in folate cycle (low levels of folate, change the activity of MTR, high expression of TYMS) constitute risk factors, most likely by contribute to a dysregulation of methionine levels available for DNA methylation of the cell. Our results also demonstrate that in tumor cells occur changes in the regulation of the folate cycle in order to promote the synthesis of DNA, to the detriment of methylation of the same by changing the expression of genes so that the methyl groups from folate are forwarded to the TYMS enzyme reaction. The deletion polymorphism 6bp of TYMS emerges as a diagnostic and prognostic factor of CCR for the Portuguese population. Nutritional factors analyzed only folate appears to have a major role in modulating the risk of developing CCR.In Crohn’s disease (CD) we can check that homocysteine and its metabolism may contribute to the emergence and development of this pathology. Increased homocysteine may be responsible for an increase in the body's autoimmune response, promoting the emergence of CD. The polymorphism A2756G MTR plays a leading role as a factor of diagnosis of DC, having been associated with this pathology for the first time. It also has an important role in the development of the disease, since it is associated with a lower diagnostic age, suggesting that the development of the disease occurs earlier. In conclusion, our study has contributed to a better understanding of the role of folate cycle in the development of CRC and CD, being a starting point for future research that may prove increasingly complex metabolic interactions in this via and its influence on the pathologies studied. In our study we highlight the importance of a comprehensive analysis of the various steps of the folate cycle in order to understand the dynamics that settles in the development of these pathologies, and a number of amendments, whether at the genetic level or at the nutritional level, exercise different effects depending on the stage of the remaining participants in the folate cycle. We believe that in the future this study will allow the knowledge of folate cycle to have increasingly a fundamental relevance at the level of diagnosis and treatment of these diseases.

Compensating variation and the young Portuguese emigrants: A study on how to keep our own

Emigration has been a very present word in Portugal. Due to the effects of the Economic Crisis and the Memorandum of Understanding policies, we have witnessed a significant yearly migration outflow of people searching for better conditions. This study aims to measure the factors affecting this flow as well as how much the probability of emigrating has evolved during the years bridging 2006 to 2012. I shall consider the decision of emigrating as Discrete Choice Random Utility maximization use a conditional Logit framework to model the probability choice for 31 OECD countries of destination. Moreover I will ascertain the compensating variation required such that the probability of choice in 2012 is adjusted back to 2007 values, keeping all other variables constant. I replicate this exercise using the unemployment rate instead of income. The most likely country of destination is Luxembourg throughout the years analyzed and the values obtained for the CV is of circa 1.700€ in terms of Income per capita and -11% in terms of the unemployment rate adjustment.

How to take advantage of wine tourism: Creation of a new concept for central Alentejo based on its potential and worldwide success factors

Wine Tourism is gaining importance in today’s world and more destinations and establishments have been arising. After understanding the importance of this economic activity and the factors it must have to succeed, a new project was conceived for Central Alentejo taking into account its potential. This project is an example of how to take advantage of Wine Tourism in wine regions that are underexplored, such as Aldeias de Montoito, the village near Redondo to which a Business Plan will be created, explaining the strategies to pursue in order to have a successful Wine Tourism destination.

A consumer research project as the basis for the development of a marketing plan for a new spirit brand producing gin in Germany

This work project is about developing a marketing plan for a new gin brand in Germany. It is based on consumer and market research, including Portugal as a trend market for the qualitative research. For the undertaking it is seen as fundamental to understand the industry as well as the consumer needs, attitudes and preferences. Furthermore, it is important to consider the estimation of opinion leaders and trendsetters in the industry. In this context it turned out that barkeepers have a key-influencing role for the stimulation of demand. Based on the insights from this research as well as on the gained market knowledge, the marketing plan was developed. The goal is to convince other brand users to switch brands.

Non-cell autonomous neuroprotective effect of carbon monoxide : microglia-to-neuron communication

RESUMO: A isquémia cerebral é uma das doenças mais predominantes a nivel mundial, sendo uma das principais causas de mortalidade e invalidez. Parte da propagação de dano no cérebro é causado por inflamação descontrolada, causada principalmente por disfunção da microglia. Desta forma, existe a necessidade de tentar desenvolver estratégias para melhor compreender e modular as acções destas células. O monóxido de carbono (CO), é uma molécula endógena com provas dadas como anti-neuroinflamatório em vários modelos. Assim, o principal objectivo do trabalho foi o estudo do CO como um modulador da acção da microglia, com principal foco dado à comunicação entre estas células e neurónios, tentando entender se existe um efeito neuroprotector por inibição da inflamação. Um protocolo de meio condicionado foi estabelecido usando as linhas celulares BV2 e SH-SY5Y, de microglia e neurónio. A molécula CORM-A1, que liberta expontaniamente CO, foi usada como método de entrega da molécula às celulas. Demonstrámos que o pre-tratamento de células BV2 com CORM-A1 gera neuroprotecção já que reduz a morte celular de neurónios SH-SY5Y quando são incubados com meio condicionado de microglia activada em conjunto com o pró-oxidante t-BHP (tert-butil hidroperóxido). Assim, considerámos que o CO promove neuroprotecção ao inibir as acções inflamatórias da microglia. O papel anti-inflamatório da molécula CORM-A1 foi confirmado quando se verificou que pré-tratamento desta molécula em microglia BV2 limita a secreção de TNF-α mas estimula a secreção de IL-10. Por último, a CORM-A1 induziu a expressão do receptor da microglia CD200R1, molécula que participa na comunicação neurónio-microglia e fundamental para a modulação das acções inflamatórias destas últimas. Em suma, o nosso trabalho reforçou as propriedades anti-neuroinflamatórias do CO e uma capacidade de modular viabilidade neuronal através do seu efeito a nível de comunicação célula-célula. ---------------------------- ABSTRACT: Brain ischemia is a widespread disease worldwide, being one of the main causes of mortality and permanent disability. A portion of the damage that ensues following the ischemic event is caused by unrestrained inflammation, which is mainly orchestrated by exacerbated microglial activity. Hence, developing strategies for modulating microglial inflammation is a major concern nowadays. The endogenous molecule carbon monoxide (CO) has been shown to possess anti-neuroinflammatory properties using in vitro and in vivo approaches. Thus, our objective was to study CO as modulator of microglial activity, in particular in what concerns their communication with neurons, by promoting neuronal viability and limiting inflammatory output of activated microglia. A conditioned media strategy was established with BV2 microglia and SH-SY5Y neurons as cell models. CO-releasing molecule A1 (CORM-A1), a compound that releases CO spontaneously, was used as method of CO delivery to cells. We found that CORM-A1 pre-treatment in BV2 cells yields neuroprotective results, as it limits cell death when SH-SY5Y neurons are challenged with conditioned media from LPS-activated microglia and the pro-oxidant t-BHP (tert-butyl-hydroperoxide). Thus, we assumed carbon monoxide promotes neuroprotection via inhibition of microglial inflammation, displaying a non-cell autonomous role. CORM-A1 pre-treatment limited inflammation by inhibiting BV2 secretion of TNF-α and stimulating IL-10 production. These results reinforce that CO’s anti-inflammatory role confers neuroprotection, as the alterations in these cytokines occur concurrently with the increase in SH-SY5Y viability. Finally, we showed for the first time that carbon monoxide promotes the expression of CD200R1, a microglial receptor involved in neuron-glia communication and modulation of microglia inflammation. Further studies are necessary to clarify this role. Altogether, other than just highlighting CO as an anti-inflammatory and neuroprotective molecule, this work set the foundation for disclosing its involvement in cell-to-cell communication.

The Multidimensional and Centred Structure of Our Interested Perception in Hierocles

O objectivo desta dissertação é identificar a estrutura da percepção tal como ela é desenhada por Hiérocles nos <,(#= >1!(?$%&'(). Para alcançar este objectivo focar-me-ei na análise que o filósofo estóico leva a cabo em torno da percepção. O foco começa por incindir sobre a distinção entre percepção de si e percepção do exterior, com todas as suas subtilezas. Tal análise implicará então a consideração da importância da não-indiferença nessa estrutura de percepção. O objectivo é compreender como a percepção é sempre relacional e interessada. . Centrar-me-ei então na noção de !"#$%&'(), tentanto explorar a complexidade e multiplicidade do fenómeno em causa. Será também estabalecida a relação com o fragmento de Estobeu (6.671), que é, a par da obra, a fonte mais importante do pensamento de Hiérocles. Através desta relação introduzir-se-á a estrutura circular e concêntrica de uma percepção relacional e interessada. Toda esta dissertação será levada a cabo focando-se principalmente nos textos do próprio Hiérocles.

Gold nanoprobes for assessing expression of critical genes in the infection pathway of MRSA

Staphylococcus aureus is an important opportunistic pathogen that can cause a wide variety of diseases from mild to life-threatening conditions. S. aureus can colonize many parts of the human body but the anterior nares are the primary ecological niche. Its clinical importance is due to its ability to resist almost all classes of antibiotics available together with its large number of virulence factores. MRSA (Methicillin-Resistant S. aureus) strains are particularly important in the hospital settings, being the major cause of nosocomial infections worldwide. MRSA resistance to β-lactam antibiotics involves the acquisition of the exogenous mecA gene, part of the SCCmec cassette. Fast and reliable diagnostic techniques are needed to reduce the mortality and morbidity associated with MRSA infections, through the early identification of MRSA strains. The current identification techniques are time-consuming as they usually involves culturing steps, taking up to five days to determine the antibiotic resistance profile. Several amplification-based techniques have been developed to accelerate the diagnosis. The aim of this project was to develop an even faster methodology that bypasses the DNA amplification step. Gold-nanoprobes were developed and used to detect the presence of mecA gene in S. aureus genome, associated with resistance traits, for colorimetric assays based on non-crosslinking method. Our results showed that the mecA and mecA_V2 gold-nanoprobes were sensitive enough to discriminate the presence of mecA gene in PCR products and genomic DNA (gDNA) samples for target concentrations of 10 ng/μL and 20 ng/μL, respectively. As our main objective was to avoid the amplification step, we concluded that the best strategy for the early identification of MRSA infection relies on colorimetric assays based on non-crosslinking method with gDNA samples that can be extracted directly from blood samples.

Molecular tools in the diagnostic and epidemiology of infections caused by members of Mycobacterium avium Complex

Mycobacterium avium Complex (MAC) comprises microorganisms that affect a wide range of animals including humans. The most relevant are Mycobacterium avium subspecies hominissuis (Mah) with a high impact on public health affecting mainly immunocompromised individuals and Mycobacterium avium subspecies paratuberculosis (Map) causing paratuberculosis in animals with a high economic impact worldwide. In this work, we characterized 28 human and 67 porcine Mah isolates and evaluated the relationship among them by Multiple-Locus Variable number tandem repeat Analysis (MLVA). We concluded that Mah population presented a high genetic diversity and no correlations were inferred based on geographical origin, host or biological sample. For the first time in Portugal Map strains, from asymptomatic bovine faecal samples were isolated highlighting the need of more reliable and rapid diagnostic methods for Map direct detection. Therefore, we developed an IS900 nested real time PCR with high sensitivity and specificity associated with optimized DNA extraction methodologies for faecal and milk samples. We detected 83% of 155 faecal samples from goats, cattle and sheep, and 26% of 98 milk samples from cattle, positive for Map IS900 nested real time PCR. A novel SNPs (single nucleotide polymorphisms) assay to Map characterization based on a Whole Genome Sequencing analysis was developed to elucidate the genetic relationship between strains. Based on sequential detection of 14 SNPs and on a decision tree we were able to differentiate 14 phylogenetic groups with a higher discriminatory power compared to other typing methods. A pigmented Map strain was isolated and characterized evidencing for the first time to our knowledge the existence of pigmented Type C strains. With this work, we intended to improve the ante mortem direct molecular detection of Map, to conscientiously aware for the existence of Map animal infections widespread in Portugal and to contribute to the improvement of Map and Mah epidemiological studies.

Rely-guarantee protocols for safe interference over shared memory

Mutable state can be useful in certain algorithms, to structure programs, or for efficiency purposes. However, when shared mutable state is used in non-local or nonobvious ways, the interactions that can occur via aliases to that shared memory can be a source of program errors. Undisciplined uses of shared state may unsafely interfere with local reasoning as other aliases may interleave their changes to the shared state in unexpected ways. We propose a novel technique, rely-guarantee protocols, that structures the interactions between aliases and ensures that only safe interference is possible. We present a linear type system outfitted with our novel sharing mechanism that enables controlled interference over shared mutable resources. Each alias is assigned separate, local roles encoded in a protocol abstraction that constrains how an alias can legally use that shared state. By following the spirit of rely-guarantee reasoning, our rely-guarantee protocols ensure that only safe interference can occur but still allow many interesting uses of shared state, such as going beyond invariant and monotonic usages. This thesis describes the three core mechanisms that enable our type-based technique to work: 1) we show how a protocol models an alias’s perspective on how the shared state evolves and constrains that alias’s interactions with the shared state; 2) we show how protocols can be used while enforcing the agreed interference contract; and finally, 3) we show how to check that all local protocols to some shared state can be safely composed to ensure globally safe interference over that shared memory. The interference caused by shared state is rooted at how the uses of di↵erent aliases to that state may be interleaved (perhaps even in non-deterministic ways) at run-time. Therefore, our technique is mostly agnostic as to whether this interference was the result of alias interleaving caused by sequential or concurrent semantics. We show implementations of our technique in both settings, and highlight their di↵erences. Because sharing is “first-class” (and not tied to a module), we show a polymorphic procedure that enables abstract compositions of protocols. Thus, protocols can be specialized or extended without requiring specific knowledge of the interference produce by other protocols to that state. We show that protocol composition can ensure safety even when considering abstracted protocols. We show that this core composition mechanism is sound, decidable (without the need for manual intervention), and provide an algorithm implementation.