Write a Blog >>
ASE 2020
Mon 21 - Fri 25 September 2020 Melbourne, Australia

0 results

People (5 results)
Tim Menzies

Tim Menzies

North Carolina State University, USA

… Full prof, ex-nurse,rocketman,taxi-driver,journalist (it all made sense at the time). …

Işil Dillig

Işil Dillig

University of Texas at Austin, USA

all her degrees (BS, MS, and PhD) from Stanford University. …

small-avatar

Karen Renaud

Abertay University

… Karen Renaud is a Scottish computing Scientist working on all aspects of Human-Centred Security and Privacy. She was educated at the Universities of Pretoria, South Africa and Glasgow. She is particularly interested in deploying …

Events (39 results)

Accelerating All-SAT Computation with Short Blocking Clauses

Research Papers When: Tue 22 Sep 2020 02:20 - 02:40 People: Yueling Zhang, Geguang Pu, Jun Sun

… The All-SAT (All-SATisfiable) problem focuses on finding all satisfiable … checking, automata construction, and logic minimization. A typical ALL-SAT solver … formula. In this work, we introduce BASolver, a backbone-based All-SAT solver …

Workshop all hands discussion on Green Software and Closing

[Workshop] SUSTAIN-SE When: Fri 25 Sep 2020 11:15 - 11:45

… …

Automated generation of client-specific backends utilizing existing microservices and architectural knowledge

Doctoral Symposium When: Mon 21 Sep 2020 16:57 - 17:15Tue 22 Sep 2020 18:30 - 18:35 People: Nils Wieber

… is a tedious and error-prone task. In particular, they must be capable of handling all Functional Requirements (FRs) and all Non-Functional Requirements (NFRs) (like security) including all operational requirements (like monitoring). This becomes …

A Program Verification based Approach to Find Data Race Vulnerabilities in Interrupt-driven Program

Student Research Competition When: Wed 23 Sep 2020 10:40 - 10:45 People: Haining Feng

… static analysis to find all potential races, and then verifies every race … implementation finds all race bugs in the phase of static analysis, and eliminates all false alarms through program verification. …

Attending Information (6 results)

Diversity and Inclusion

… Computer Society and ACM, and all of their conferences.

  • Equity at its … are central to the goals of the IEEE Computer Society and all of its ….

A goal of the IEEE Computer Society is to foster an environment in which all ...

Travel Safety and Medical Guidelines

The Automated Software Engineering conference (ASE2020) is still scheduled to be held as planned, beginning 21st of September 2020. The safety and well-being of all conference participants is our priority. We will continue to monitor …

Code of Conduct

… is being held.

We expect all registered ... to all participants, including staff and vendors, at IEEE-related events ..., harassment, or bullying in any form at IEEE-related events. All participants have ...

Tracks (11 results)

Workshops

… , this workshop solicit papers focusing on all software engineering tasks …://ase2020workshops.hotcrp.com/).

All submissions must not exceed four pages in PDF format …

Research Papers

… /).

Format. All submissions must be in English.

All submissions must be in PDF format … (including figures), plus 2 pages which may only contain references. Note that all

Late Breaking Results

… venue for ASE researchers of all backgrounds to conduct impactful, meaningful … the option to include their paper in the official ASE 2020 proceedings. All authors …. Formatting Each submission must not exceed 2 pages, including all text, appendices …

General (1 results)

ASE 2020 Homepage

… of large software systems.

Many thanks to all who made ASE2020 … using three timezones.

We had participation from nearly 400 people from all