Sofya: Supporting Rapid Development of Dynamic Program Analyses for Java

Dynamic analysis is an increasingly important means of supporting software validation and maintenance. To date, developers of dynamic analyses have used low-level instrumentation and debug interfaces to realize their analyses. Many dynamic analyses, however, share multiple common high-level requirements, e.g., capture of program data state as well as events, and efficient and accurate event capture in the presence of threading. We present SOFYA – an infra-structure designed to provide high-level, efficient, concurrency-aware support for building analyses that reason about rich observations of program data and events. It provides a layered, modular architecture, which has been successfully used to rapidly develop and evaluate a variety of demanding dynamic program analyses. In this paper, we describe the SOFYA framework, the challenges it addresses, and survey several such analyses.

The South Omaha Community Scholarship Program: A Qualitative Study of Persistence of Hispanic Students at Bellevue University

The purpose of this case study was to determine the impact of the South Omaha Community Scholarship Program on the persistence of the Hispanic students who participated. Previous research on Hispanic student persistence has focused on the reasons why students do not persist and more recent research has been conducted on programs and retention efforts, colleges and universities are implementing on their campuses. This study researched a specific program, The South Omaha Community Scholarship Program, designed to provide financial, academic and other needed resources to help Hispanic students persist to graduation. The researcher believes this study was important because it provided an overview of how the South Omaha Community Scholarship Program is affecting students both on campus and in their community. Eight interviews were conducted, with eligible students, in person. Students eligible for the study were current students or recent graduates of the South Omaha Community Scholarship Program and had attained at least junior or senior status as of the fall of 2009, as defined by Bellevue University. Research questions were based on the four components of the program and the affect the program had on the student’s life, outside of Bellevue University. The four components of the program were: financial aid, academic advising, the scholarship aid, and the Professional Enrichment Program. The results of the study were broken into five components with an additional section that provided other themes that were derived from the interviews. The five components were: (a) financial aid counseling, (b) academic advising, (c) scholarship aid, (d) Professional Enrichment Program, and (e) the South Omaha Community Scholarship Program beyond Bellevue University. Other themes that were derived from the interviews were: class format, deciding on a college, higher education class, campus resources, and a sense of community on-campus. The research found that the scholarship, provided by the South Omaha Community Scholarship Program, was the primary motivating factor for students to attend Bellevue University and persist in college. The interviewed students also commented on how the scholarship had given them the opportunity to attend college, even though that opportunity had seemed out of reach. The interviewed students also commented on their academic advising experience, campus resources, and feeling a sense of community on-campus as other campus related areas that were affected by the South Omaha Community Scholarship Program. Finally, students provided examples of how the South Omaha Community Scholarship Program impacted their connection to their South Omaha community through volunteer and employment opportunities. Adviser: Richard Hoover

JVM-based Techniques for Improving Java Observability

Observability measures the support of computer systems to accurately capture, analyze, and present (collectively observe) the internal information about the systems. Observability frameworks play important roles for program understanding, troubleshooting, performance diagnosis, and optimizations. However, traditional solutions are either expensive or coarse-grained, consequently compromising their utility in accommodating today’s increasingly complex software systems. New solutions are emerging for VM-based languages due to the full control language VMs have over program executions. Existing such solutions, nonetheless, still lack flexibility, have high overhead, or provide limited context information for developing powerful dynamic analyses. In this thesis, we present a VM-based infrastructure, called marker tracing framework (MTF), to address the deficiencies in the existing solutions for providing better observability for VM-based languages. MTF serves as a solid foundation for implementing fine-grained low-overhead program instrumentation. Specifically, MTF allows analysis clients to: 1) define custom events with rich semantics ; 2) specify precisely the program locations where the events should trigger; and 3) adaptively enable/disable the instrumentation at runtime. In addition, MTF-based analysis clients are more powerful by having access to all information available to the VM. To demonstrate the utility and effectiveness of MTF, we present two analysis clients: 1) dynamic typestate analysis with adaptive online program analysis (AOPA); and 2) selective probabilistic calling context analysis (SPCC). In addition, we evaluate the runtime performance of MTF and the typestate client with the DaCapo benchmarks. The results show that: 1) MTF has acceptable runtime overhead when tracing moderate numbers of marker events; and 2) AOPA is highly effective in reducing the event frequency for the dynamic typestate analysis; and 3) language VMs can be exploited to offer greater observability.

Características do aço API X70 utilizado em tubos de transporte de petróleo e gás

Having in mind that petroleum's history presents a huge growth, the exploration and production areas have been receiving lots of investments, in order to attend the increasing demand for gas and petroleum. Looking through that scenario, new technologies have been evolving in favor of discovering new natural petroleum deposits and act with effectiveness in truly deep waters without giving up the worldwide best operational security practices. The use of rigid pipes in marine installations have been rising quickly and, thanks to this reality, the many storage and pipe launching forms became study objects and are getting improved. The analysis of steel API X70 characteristics, proving that they are suitable for use in pipes developed to transport gas and petroleum is the theme of this presentation. A tensile test was conducted to determine the base metal's mechanical properties, draining's tension, traction's resistance, elasticity's modulus and maximum tension. An aspect that is concerning too is the metallographic analysis, in order to determine the studied iron's microstructure. Results of analyzes showed that the steel has high resistance, with good capacity for deformation and well defined yield point, concluding suitable for the application in question

Estudo do efeito Bauschinger em tubos de aço API 5l x70 aplicados no transporte de petróleo e gás

Despite the growing concern in seeking more sustainable energy sources, oil demand is likely to grow in coming years. To keep up with this growth, the oil industry has increasingly invested in innovation and efficiency. Knowing that, new technologies have been developed to explore deeper waters, without giving up the best practices in worldwide operational safety. The use of rigid pipelines in deepwater offshore facilities is increasing quickly and because of this, the ways of storing and launching pipe have been studied and perfected. In this paper the Bauschinger effect on API 5L X70 steel was analyzed proving that there was a reduction in yield strength when an effort was applied in a previous direction, then an effort was then applied in the opposite direction. To observe this phenomenon, the tensile test was conducted to determine the mechanical properties of the base metal, such as yield stress, tensile strength, elasticity and maximum tensile, so then compare it with the results obtained in the Bauschinger Effect Test. The analysis results showed that the steel had high resistance, with good plastic deformation capacity without failing, well-defined yield point, showing itself appropriate for the operation of oil and gas pipes

Persistence of Inflammatory Response to Intense Exercise in Diabetic Rats

In this study we evaluated the onset and resolution of inflammation in control and streptozotocin-induced diabetic rats subjected to a single session of intense exercise. The following measurements were carried out prior to, immediately after, and 2 and 24 hours after exercise: plasma levels of proinflammatory cytokines (TNF-alpha, IL-1 beta, IL-6, CINC-2 alpha/beta, MIP-3 alpha, and IL-6), immunoglobulins (IgA and IgM), acute phase proteins (CRP and C3), and creatine kinase (CK) activity. We also examined the occurrence of macrophage death by measurements of macrophages necrosis (loss of membrane integrity) and DNA fragmentation. An increase was observed in the concentration of IL-1 beta (3.3-fold) and TNF-alpha (2.0-fold) and in the proportion of necrotic macrophages (4.5-fold) in diabetic rats 24 hours after exercise, while the control group showed basal measurements. Twenty-four hours after the exercise, serum CK activity was elevated in diabetic rats but not in control animals. We concluded that lesion and inflammations resulting from intense exercise were greater and lasted longer in diabetic animals than in nondiabetic control rats.

Genetic analyses of smoking initiation, persistence, quantity, and age-at-onset of regular cigarette use in Brazilian families: the Baependi Heart Study

Background: The purpose of this study was to estimate the genetic influences on the initiation of cigarette smoking, the persistence, quantity and age-at-onset of regular cigarette use in Brazilian families. Methods: The data set consisted of 1,694 individuals enrolled in the Baependi Heart Study. The heritability and the heterogeneity in genetic and environmental variance components by gender were estimated from variance components approaches, using the SOLAR (Sequential Oligogenic Linkage Analysis Routines) computer package. The mixed-effects Cox model was used for the genetic analysis of the age-at onset of regular cigarette use. Results: The heritability estimates were high (> 50%) for smoking initiation and were intermediate, ranging from 23.4 to 31.9%, for smoking persistence and quantity. Significant evidence for heterogeneity in variance components by gender was observed for smoking initiation and age-at-onset of regular cigarette use. Genetic factors play an important role in the interindividual variation of these phenotypes in females, while in males there is a predominant environmental component, which could be explained by greater social influences in the initiation of tobacco use. Conclusions: Significant heritabilities were observed in smoking phenotypes for both males and females from the Brazilian population. These data add to the literature and are concordant with the notion of significant biological determination in smoking behavior. Samples from the Baependi Heart Study may be valuable for the mapping of genetic loci that modulate this complex biological trait.

Java Cryptographic Library for Smartphones

A JME-compliant cryptographic library for mobile application development is introduced in this paper. The library allows cryptographic protocols implementation over elliptic curves with different security levels and offers symmetric and asymmetric bilinear pairings operations, as Tate, Weil, and Ate pairings.

A Java-based simulation environment for networks of simplified neuron models

ACR is supported by a research grant from CNPq.

Frequency of LCT -13910C>T single nucleotide polymorphism associated with adult-type hypolactasia/lactase persistence among Brazilians of different ethnic groups

Abstract Background Adult-type hypolactasia, the physiological decline of lactase some time after weaning, was previously associated with the LCT -13910C>T polymorphism worldwide except in Africa. Lactase non-persistence is the most common phenotype in humans, except in northwestern Europe with its long history of pastoralism and milking. We had previously shown association of LCT -13910C>T polymorphism with adult-type hypolactasia in Brazilians; thus, we assessed its frequency among different Brazilian ethnic groups. Methods We investigated the ethnicity-related frequency of this polymorphism in 567 Brazilians [mean age, 42.1 ± 16.8 years; 157 (27.7%) men]; 399 (70.4%) White, 50 (8.8%) Black, 65 (11.5%) Brown, and 53 (9.3%) Japanese-Brazilian. DNA was extracted from leukocytes; LCT -13910C>T polymorphism was analyzed by PCR-restriction fragment length polymorphism. Results Prevalence of the CC genotype associated with hypolactasia was similar (57%) among White and Brown groups; however, prevalence was higher among Blacks (80%) and those of Japanese descent (100%). Only 2 (4%) Blacks had TT genotype, and 8 (16%) had the CT genotype. Assuming an association between CC genotype and hypolactasia, and CT and TT genotypes with lactase persistence, 356 (62.8%) individuals had hypolactasia and 211 (37.2%) had lactase persistence. The White and Brown groups had the same hypolactasia prevalence (~57%); nevertheless, was 80% among Black individuals and 100% among Japanese-Brazilians (P < 0.01). Conclusion The lactase persistence allele, LCT -13910T, was found in about 43% of both White and Brown and 20% of the Black Brazilians, but was absent among all Japanese Brazilians studied.

Motor de juegos en Ruby para Android

[ES] El proyecto es un motor de juegos, que permite programar videojuegos usando el lenguaje Ruby en dispositivos Android. La API del motor es igual a la del software para PC Gosu, con lo que se extiende su uso a terminales móviles. La novedad principal radica en que se trata del primer motor, que permite programar juegos en Android usando Ruby, dado que el resto de motores hasta la fecha obligan al desarrollador a usar Java. Para lograr esto, se usa un intérprete de Ruby programado en Java llamado Ruboto. Este intérprete es una adaptación de JRuby que fue desarrollado para ser usado en PC.

Desarrollo de un videojuego multiplataforma en Java

[ES] El trabajo consistirá en abordar el desarrollo de un videojuego utilizando el lenguaje de programación Java y una librería especializada en desarrollo de videojuegos. Crearemos un videojuego del género plataformas. Para ello utilizaremos una vista en dos dimensiones, el jugador controlará un personaje humanoide con el que deberá atravesar una serie de niveles. Los niveles estarán agrupados en mundos con distintas temáticas (nieve, espacio, etc.) y en ellos el jugador se encontrará con múltiples obstáculos y enemigos. Los mundos se definen como agrupaciones de diez niveles en las que en el décimo nivel de cada mundo (nivel final) el jugador se enfrenta a un enemigo con una complejidad mayor al resto. Un ejemplo de videojuego de plataformas similar al que se va a desarrollar sería: "Super Mario Bros.". La librería que utilizaremos permite el desarrollo de videojuegos de escritorio y para móviles utilizando el mismo código. Es multiplataforma y soporta Windows, Linux, Mac OS X, Android, iOS, y navegadores con soporte WebGL.

Automatic code generation: from process algebraic architectural descriptions to multithreaded java programs

Process algebraic architectural description languages provide a formal means for modeling software systems and assessing their properties. In order to bridge the gap between system modeling and system im- plementation, in this thesis an approach is proposed for automatically generating multithreaded object-oriented code from process algebraic architectural descriptions, in a way that preserves – under certain assumptions – the properties proved at the architectural level. The approach is divided into three phases, which are illustrated by means of a running example based on an audio processing system. First, we develop an architecture-driven technique for thread coordination management, which is completely automated through a suitable package. Second, we address the translation of the algebraically-specified behavior of the individual software units into thread templates, which will have to be filled in by the software developer according to certain guidelines. Third, we discuss performance issues related to the suitability of synthesizing monitors rather than threads from software unit descriptions that satisfy specific constraints. In addition to the running example, we present two case studies about a video animation repainting system and the implementation of a leader election algorithm, in order to summarize the whole approach. The outcome of this thesis is the implementation of the proposed approach in a translator called PADL2Java and its integration in the architecture-centric verification tool TwoTowers.

Implementazione di un modulo HTTPS in JOLIE per l'orchestrazione dei servizi

La tesi è relativa all'implementazione di un modulo per la comunicazione sicura tramite SSL/TLS sviluppato in JAVA che aggiunge il supporto del protocollo HTTPS a JOLIE. Le politiche di SSL/TLS vengono applicate mediante l'utilizzo dell'API SSLEngine, che viene descritta accuratamente. La tesi contiene inoltre un caso d'uso in cui viene utilizzato JOLIE per sviluppare un servizio di autenticazione integrata (single sign-on) tra l'ELMS Webstore del programma Microsoft MSDNAA e l'Università di Bologna.