RSS feedhttps://casa.au.dk/news/news-archiveen-gbFri, 29 Mar 2024 07:55:01 +0100Fri, 29 Mar 2024 07:55:01 +0100TYPO3 EXT:newsnews-24164Tue, 18 Apr 2023 10:17:36 +0200Amazon Research Award to Anders Møllerhttps://www.amazon.science/research-awards/program-updates/79-amazon-research-awards-recipients-announcedCongratulations to Professor Anders Møller who has received an Amazon Research Award (ARA) for the the project ‘Securing node.js programs with static resource analysis’. Amazon Research Awards (ARA) provides unrestricted funds to academic researchers investigating various research topics in multiple disciplines. This cycle, ARA received many excellent research proposals from across the world and 79 award recipients who represent 54 universities.CASA FeaturedSofia Rasmussen16818058561681805856news-24090Wed, 25 Jan 2023 10:22:53 +0100Talk by Alexi Turcotte: Detecting and Repairing Anti-Patterns in Asynchronous JavaScripthttps://casa.au.dk/news/show-news-single/artikel/default-593ad082ccAlexi Turcotte is giving a talk February 9. at 13.00 titled: Detecting and Repairing Anti-Patterns in Asynchronous JavaScript. Abstract:  
Modern JavaScript, powered by the Node.js runtime, is a performant language that is ubiquitous across the web both for client- and server-side development, and the language's support for asynchronous programming allows programmers to build responsive web applications. However, to write efficient code, JavaScript programmers need to internalize the intricacies of a variety of language features that are rapidly evolving, while also being aware of the "full stack" of technologies at play in the web. Tool support could help alleviate this burden, but JavaScript's dynamism and expressiveness complicate the analyses required by approaches that have been effective in other languages.
In this talk, I will sketch the landscape of asynchronous programming in JavaScript, illustrating various pitfalls awaiting programmers, and showing how a little lightweight tooling can go a long way in helping write better code.

Bio:  
Alexi Turcotte is a 5th year PhD candidate at Northeastern University. He is advised by Frank Tip and Jan Vitek; with Frank, he works on optimizing asynchronous JavaScript programs, and with Jan he works on fuzzing and type system design for the R programming language. Broadly, he is interested in anything and everything related to dynamic and data science languages.

]]>
Henriette Gammelgaard Farup16746385731674638573
news-24086Tue, 24 Jan 2023 14:52:08 +0100ERC Proof of Concept Grant to Anders Møllerhttps://casa.au.dk/news/show-news-single/artikel/erc-proof-of-concept-grant-to-anders-moeller-1Professor Anders Møller has - for the second time - been selected by the European Research Council (ERC) to receive a Proof-of-Concept Grant, this time to support the project Vulnerability Exposure Analysis for JavaScript, which focuses on software security. The Proof-of-Concept grants, each worth 150.000 euro, help researchers to bridge the gap between the discoveries stemming from their frontier research and the practical application of the findings, including early phases of their commercialisation. The funding is part of the EU's research and innovation programme, Horizon Europe. CASA Sofia Rasmussen16745683281674568328news-24001Tue, 04 Oct 2022 10:51:49 +0200ACM SIGSOFT Distinguished Paper Award at ASE'22https://cs.au.dk/~amoeller/papers/goat/The paper ‘Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation’ written by PhD students Oskar Haarklou Veileborg and Georgian-Vlad Saioc and Professor Anders Møller has been selected for an ACM SIGSOFT Distinguished Paper Award at the 37th IEEE/ACM International Conference on Automated Software Engineering (ASE’22). In total 116, of 525 submitted, papers were accepted at the conference. Congratulations!CASA Sofia Rasmussen16648735091664873509news-23955Tue, 06 Sep 2022 13:38:54 +0200Talk by Wing Lam: Taming Flaky Tests in a Non-Deterministic Worldhttps://casa.au.dk/news/show-news-single/artikel/talk-by-wing-lam-taming-flaky-tests-in-a-non-deterministic-worldDr. Wing Lam is giving a talk Wednesday September 7. at 14.00 tilted: Taming Flaky Tests in a Non-Deterministic World.Abstract:
As software evolves, developers typically perform regression testing to ensure that their code changes do not break existing functionality. During regression testing, developers often waste time debugging their code changes because of spurious failures from flaky tests, which are tests that nondeterministically pass or fail on the same code. These spurious failures mislead developers because the failures are due to bugs that existed before the code changes. My work on characterizing flaky tests has helped open the research topic of flaky tests, and many companies (e.g., Facebook, Google, Microsoft) have since highlighted flaky tests as a major challenge in their software development.

In this talk, I will describe my recent work on taming flaky tests. Two prominent kinds of flaky tests are order-dependent flaky tests, which pass when run in one order but fail when run in a different order, and async-wait flaky tests, which pass if an asynchronous call finishes on time but fail if it finishes too late. My results include the first automated techniques to (1) fix order-dependent flaky tests, fixing 92% of such flaky tests in a public dataset; (2) reduce the number of spurious failures from order-dependent flaky tests, reducing such failures by 73%; and (3) speed up async-wait flaky tests while also reducing their spurious failures, speeding up such tests by 38%. Overall, my work has helped detect more than 3000 flaky tests and fix more than 1000 flaky tests in over 300 open-source projects.

]]>
CASA Henriette Gammelgaard Farup16624643341662464334
news-23696Mon, 07 Feb 2022 12:30:34 +0100ERC Proof of Concept Grant to Anders Møllerhttps://casa.au.dk/news/show-news-single/artikel/erc-proof-of-concept-grant-to-anders-moellerProfessor Anders Møller is one of 166 researchers who have been selected by the European Research Council (ERC) to receive a Proof of Concept Grant. Worth €150,000, this funding will help bridge the gap between their pioneering research and the early phases of its commercialisation. As for Møller's recent grant from Innovation Fund Denmark, the funding will be used for the JSFIX project (https://jsfix.live/) in collaboration with Martin Toldam Torp and Benjamin Barslev Nielsen.

]]>
CASA 16442334341644233434
news-23698Thu, 09 Dec 2021 12:34:00 +0100New project will make life easier for millions of JavaScript programmershttps://cs.au.dk/news-events/new-project-will-make-life-easier-for-millions-of-javascript-programmersVia Innovation Fund Denmark's InnoExplorer program, which is awarded for research results with commercial potential, Professor Anders Møller from the Department of Computer Science has received DKK 1.5 million to further develop software tools that can analyze JavaScript programs and automate updating these. The project, JSFIX, is carried out in collaboration with Martin Toldam Torp and Benjamin Barslev Nielsen, who are both PhDs from Anders Møller's research group.CASA 16390496401639049640news-23617Mon, 15 Nov 2021 11:03:58 +0100Martin Toldam Torp PhD defense of "Techniques and Tools for Supporting Maintenance of Node.js Programs"https://casa.au.dk/news/show-news-single/artikel/martin-toldam-torp-phd-defense-of-techniques-and-tools-for-supporting-maintenance-of-nodejs-programsTitle: Techniques and Tools for Supporting Maintenance of Node.js Programs

During his PhD studies, Martin Toldam Torp has researched many of the challenges facing software developers that use the highly popular Node.js development platform. Node.js programs need ongoing maintenance to reduce security risks, fix bugs, and meet new customer requirements. Martin’s research has contributed with new program analysis tools that help automate parts of these maintenance tasks. The tools reduce the maintenance workload of programmers, and thereby help ensure that maintenance tasks are completed faster.

The PhD study was completed at the Department of Computer Science, Faculty of Natural Sciences, Aarhus University.

This summary was prepared by the PhD student.

Place and time: 
Friday Nov. 26th at 9.00AM in ADA-333

Members of the assessment committee:
Professor Eric Bodden, Software Engineering at Paderborn University and Co-director at Fraunhofer Institute for Mechatronic Systems Design, Germany
Associate Professor Jens Dietrich, School of Engineering and Computer Science, Victoria University of Wellington, New Zealand
Associate Professor Christian Storm Pedersen, Department of Computer Science – Bioinformatics Research Centre, Aarhus University (chairman)

Main supervisor:
Professor Anders Møller, Department of Computer Science, Aarhus University, Denmark

Language: The PhD dissertation will be defended in English
The defence is public.    

The PhD thesis is available for reading at the Graduate School of Natural Sciences/GSNS, Katrinebjergvej 89F, building 5132, 8200 Aarhus N.

]]>
CASA FeaturedPublic/media16369706381636970638
news-23403Mon, 16 Nov 2020 11:10:00 +0100Great success for LogSem and PL at two top conferenceshttps://cs.au.dk/news-events/pages/11-papers-accepted-at-oopsla-poplResearchers from Logic & Semantics and Programming Languages have had a remarkably high number of papers accepted at the top conferences OOPSLA’20 and POPL’21. At OOPSLA, which takes place this week, five papers have been accepted for publication. At POPL, they got six papers got accepted, which is almost 10% of all accepted papers. CASA Sofia Rasmussen16055214001605521400news-23301Thu, 05 Mar 2020 08:35:00 +0100STIBO grant to Martin Toldam Torphttps://casa.au.dk/news/show-news-single/artikel/stibo-grant-to-martin-toldam-torp-1Congratulations to PhD student Martin Toldam Torp who has received a travel grant from the STIBO foundation. Martin will use his DKK 38.000 for his stay at University of Stuttgart.Martin's research is focused on software evolution and security. During his visit to the University of Stuttgart Martin will be collaborating with Professor Michael Pradel on a JavaScript security project. They will work on a program analysis technique for determining if JavaScript client programs use libraries in a way that may lead to taint-related security vulnerabilities.

]]>
CASA FeaturedPublic/mediaHenriette Gammelgaard Farup15833937001583393700