Abstract-PHP web applications routinely generate invalid HTML. Modern browsers silently correct HTML errors, but sometimes malformed pages render inconsistently, cause browser crashes, or expose security vulnerabilities. Fixing errors in generated pages is usually straightforward, but repairing the generating PHP program can be much harder. We observe that malformed HTML is often produced by incorrect constant prints, i.e., statements that print string literals, and present two tools for automatically repairing such HTML generation errors. PHPQuickFix repairs simple bugs by statically analyzing individual prints. PHPRepair handles more general repairs using a dynamic approach. Based on a test suite, the property that all tests should produce their expected output is encoded as a string constraint over variables representing constant prints. Solving this constraint describes how constant prints must be modified to make all tests pass. Both tools were implemented as an Eclipse plugin and evaluated on PHP programs containing hundreds of HTML generation errors, most of which our tools were able to repair automatically.

No abstract

No abstract

This work presents the design of a complex image processing IP developed completely in C. We present the latest advanced in ESL-synthesis and demonstrate its main advantages over conventional RT-level flows. In particular we focus on the ability of behavioral synthesis to shorten the design cycle, perform functional verification and explore quickly the design space obtaining multiple dominating implementations with unique area vs. speed characteristics from an initial untimed behavioral description. A feature extraction process is presented in detailed showing how automatic design space exploration can lead to Pareto optimal (non-dominant) designs ranging from 524,648 gates to 584,868 gates and latencies of 38 to 69 state counts for the smallest and fastest design respectively taking approximately 6.3 hours.

This study examined whether distress in relation to attenuated psychotic symptoms (DAPS) is associated with clinical outcomes in an ultra-high-risk (UHR) for psychosis sample. We also investigated whether DAPS is associated with cognitive style (attributional style and cognitive biases) and whether amount of psychosocial treatment provided is associated with reduction in DAPS. The study was a secondary analysis of the ‘Neurapro’ clinical trial of omega-3 fatty acids. 304 UHR patients were recruited across ten early intervention services. Data from baseline assessment, regular assessments over 12 months and medium term follow up (mean=3.4 years) were used for analysis. Findings indicated: a positive association between DAPS assessed over time and transition to psychosis; a significant positive association between baseline and longitudinal DAPS and transdiagnostic clinical and functional outcomes; a significant positive association between baseline and longitudinal DAPS and non-remission of UHR status. There was no relationship between severity of DAPS and cognitive style. A greater amount of psychosocial treatment (cognitive-behavioural case management) was associated with an increase in DAPS scores. The study indicates that UHR patients who are more distressed by their attenuated psychotic symptoms are more likely to have a poorer clinical trajectory transdiagnostically. Assessment of DAPS may therefore function as a useful marker of risk for a range of poor outcomes. The findings underline the value of repeated assessment of variables and incorporation of dynamic change into predictive modelling. More research is required into mechanisms driving distress associated with symptoms and the possible bidirectional relationship between symptom severity and associated distress.