The Rewarding Nature of Social Interactions

The objective of this short review is to highlight rewarding aspects of social interactions for humans and discuss their neural basis. Thereby we report recent research findings to illustrate how social stimuli in general are processed in the reward system and highlight the role of Theory of Mind as one mediating process for experiencing social reward during social interactions. In conclusion we discuss clinical implications for psychiatry and psychotherapy

The Emergence of Large Language Models in Static Analysis: A First Look through Micro-Benchmarks

The application of Large Language Models (LLMs) in software engineering, particularly in static analysis tasks, represents a paradigm shift in the field. In this paper, we investigate the role that current LLMs can play in improving callgraph analysis and type inference for Python programs. Using the PyCG, HeaderGen, and TypeEvalPy micro-benchmarks, we evaluate 26 LLMs, including OpenAI's GPT series and open-source models such as LLaMA. Our study reveals that LLMs show promising results in type inference, demonstrating higher accuracy than traditional methods, yet they exhibit limitations in callgraph analysis. This contrast emphasizes the need for specialized fine-tuning of LLMs to better suit specific static analysis tasks. Our findings provide a foundation for further research towards integrating LLMs for static analysis tasks.Comment: To be published in: ICSE FORGE 2024 (AI Foundation Models and Software Engineering

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categories that target various Python features. The framework manages the execution of containerized tools, transforms inferred types into a standardized format, and produces meaningful metrics for assessment. Through our analysis, we compare the performance of six type inference tools, highlighting their strengths and limitations. Our findings provide a foundation for further research and optimization in the domain of Python type inference.Comment: To be published in ICSE 202

Effectiveness and moderators of individual cognitive behavioral therapy versus treatment as usual in clinically depressed adolescents:A randomized controlled trial

We examined if manualized cognitive behavioral therapy (CBT) was more effective than Treatment As Usual (TAU) for clinically depressed adolescents within routine care. This multisite Randomized controlled trail included 88 clinically depressed adolescents (aged 12-21 years) randomly assigned to CBT or TAU. Multiple assessments (pre-, post treatment and six-month follow-up) were done using semi-structured interviews, questionnaires and ratings and multiple informants. The primary outcome was depressive or dysthymic disorder based on the KSADS. Completers, CBT (n = 19) and TAU (n = 26), showed a significant reduction of affective diagnoses at post treatment (76% versus 76%) and after six months (90% versus 79%). Intention-to-treat analyses on depressive symptoms showed that 41.6% within CBT and 31.8% within the TAU condition was below clinical cut-off at post treatment and after six-months, respectively 61.4% and 47.7%. No significant differences in self-reported depressive symptoms between CBT and TAU were found. No prediction or moderation effects were found for age, gender, child/parent educational level, suicidal criteria, comorbidity, and severity of depression. We conclude that CBT did not outperform TAU in clinical practice in the Netherlands. Both treatments were found to be suitable to treat clinically referred depressed adolescents. CBT needs further improvement to decrease symptom levels below the clinical cut-off at post treatment

A Unified Approach for Static and Runtime Verification: Framework and Applications

Static verification of software is becoming ever more effective and efficient. Still, static techniques either have high precision, in which case powerful judgements are hard to achieve automatically, or they use abstractions supporting increased automation, but possibly losing important aspects of the concrete system in the process. Runtime verification has complementary strengths and weaknesses. It combines full precision of the model (including the real deployment environment) with full automation, but cannot judge future and alternative runs. Another drawback of runtime verification can be the computational overhead of monitoring the running system which, although typically not very high, can still be prohibitive in certain settings. In this paper, we propose a framework to combine static analysis techniques and runtime verification with the aim of getting the best of both techniques. In particular, we discuss an instantiation of our framework for the deductive theorem prover KeY, and the runtime verification tool LARVA. Apart from combining static and dynamic verification, this approach also combines the data centric analysis of KeY with the control centric analysis of LARVA. An advantage of the approach is that, through the use of a single specification which can be used by both analysis techniques, expensive parts of the analysis could be moved to the static phase, allowing the runtime monitor to make significant assumptions, dropping parts of expensive checks at runtime. We also discuss specific applications of our approach

A randomised controlled trial of cognitive behavioural treatment for obsessive compulsive disorder in children and adolescents

Cognitive behaviour therapy (CBT) for young people with obsessive compulsive disorder (OCD) has become the treatment of first choice. However, the literature is largely based on studies emphasising exposure and response prevention. In this study, we report on a randomised controlled trial of CBT for young people carried out in typical outpatient clinic conditions which focused on cognitions. A randomised controlled trial compares 10 sessions of manualised cognitive behavioural treatment with a 12-week waiting list for adolescents and children with OCD. Assessors were blind to treatment allocation. 21 consecutive patients with OCD aged between 9 and 18 years were recruited. The group who received treatment improved more than a comparison group who waited for 3 months. The second group was treated subsequently using the same protocol and made similar gains. In conclusion, CBT can be delivered effectively to young people with OCD in typical outpatient settings

Societal costs of subclinical depressive symptoms in Dutch adolescents: a cost‐of‐illness study

Background: Subclinical depressive symptoms are highly prevalent among adolescents and are associated with negative consequences, which may pose an economic burden for society. We conducted a prevalence-based cost-of-illness study using a societal perspective to investigate the cost-of-illness of subclinical depressive symptoms among adolescents. Methods: Using a bottom-up approach, cost questionnaires were assessed to measure costs from 237 Dutch families with an adolescent aged 11–18 with subclinical depressive symptoms (of which 34 met the criteria of a depressive disorder). The study is registered in the Dutch Trial Register (Trial NL5584/NTR6176; www.trialregister.nl/trial/5584). Results: Our calculations show that adolescents with subclinical depressive symptoms cost the Dutch society more than €42 million annually, expressed in costs related to depressive symptoms. Secondary analyses were performed to test the reliability and stability of the costs. When costs related to psychological problems were considered, the annual costs amounted to €67 million. The total societal costs related to physical problems amounted to approximately €126 million. All costs combined (depressive, psychological, behavioural and physical problems and other reasons) amounted to a €243 million. Total costs were highest for physical-related problems of the adolescent (52% of the total costs), followed by psychological (28%), depressive (17%) and behavioural problems (1%). Using an international prevalence rate, societal costs related to depressive symptoms resulted in €54 million a year. Conclusions: Cost-effective prevention programmes seem warranted given the high societal costs and risk of future costs as subclinical depressive symptoms could be a precursor of clinical depression later in life

Serotonin tranporter methylation and response to cognitive behaviour therapy in children with anxiety disorders

Anxiety disorders that are the most commonly occurring psychiatric disorders in childhood, are associated with a range of social and educational impairments and often continue into adulthood. Cognitive behaviour therapy (CBT) is an effective treatment option for the majority of cases, although up to 35-45% of children do not achieve remission. Recent research suggests that some genetic variants may be associated with a more beneficial response to psychological therapy. Epigenetic mechanisms such as DNA methylation work at the interface between genetic and environmental influences. Furthermore, epigenetic alterations at the serotonin transporter (SERT) promoter region have been associated with environmental influences such as stressful life experiences. In this study, we measured DNA methylation upstream of SERT in 116 children with an anxiety disorder, before and after receiving CBT. Change during treatment in percentage DNA methylation was significantly different in treatment responders vs nonresponders. This effect was driven by one CpG site in particular, at which responders increased in methylation, whereas nonresponders showed a decrease in DNA methylation. This is the first study to demonstrate differences in SERT methylation change in association with response to a purely psychological therapy. These findings confirm that biological changes occur alongside changes in symptomatology following a psychological therapy such as CBT