Forskning vid Uppsala universitet

Forskningsprojekt från 2015-01-01 till 2018-12-31

This project is a direct continuation of the project "A framework for parallel programming models", to accommodate and verify a spectrum of high-level modeling languages. We formally established correctness ...

Forskningsprojekt från 2009-01-01 till 2015-06-30

Vårt forskningsmål är att bygga en programmeringsplattform för trådlösa sensornät (WSN) där sensorerna kan programmeras kollektivt snarare än individuellt, med fokus på tjänster från hela nätet snarare ...

Forskningsprojekt från 2014-01-01 till 2016-12-31

The elephant human conflict is a major problem in Sri Lanka that causes the death of 150 elephants and 60 humans per year. Further, the damage caused by elephants to property and crop is tens of thousands ...

Forskningsprojekt från 2020-01-01 till 2023-12-31

Managed languages dominate computing: enterprises run Java/C#, Python drives AI, and the web runs on JavaScript. This success comes from the productivity of automating common error-prone tasks (such as ...

Forskningsprojekt från 2009-01-01 till 2014-12-31

Inbyggda datorsystem som utför krävande beräkningar med starkt begränsade tidsramar och resurser är en kritisk del i viktiga svenska industriprodukter i många viktiga sektorer. Svensk industri står nu ...

Forskningsprojekt från 2016-01-01 till 2019-12-31

The introduction of multicores in virtually all computing platforms, implies that software development must exploit parallelism increase performance. The scalability of program performance critically depends ...

Forskningsprojekt från 2018-01-01 till 2021-12-31

Concurrency has become ubiquitous and necessary nowadays in order to leverage the power of multi-cores. At the same time, concurrent programming is considerably more error-prone, not only due to non-determinism ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

The concept of this project is to enable productive optimization of parallel heterogeneous systems by providing rapid energy and performance feedback to the software developer, hardware developer (architect ...

Forskningsprojekt från 2014-01-01 till 2016-12-31

Wireless sensor networks consist of small embedded computing devices that are equipped with sensors and communicate wirelessly. They enable numerous applications such as environmental monitoring, surveillance ...

Forskningsprojekt från 2013-01-01 till 2015-12-31

The complexity of modern computers systems have increased in many dimensions over the last decades: complex out-of-order processors, deep memory hierarchies and several cores on a chip. It is widely believed ...

Forskningsprojekt från 2012-01-01 till 2015-12-31

Model-based approaches to verification and validation are becoming increasingly important as a means to control the effort in development of complex component-based systems. Models, however, are not always ...

Forskningsprojekt från 2015-01-01 till 2018-12-31

Parallel computers are pervasive, and future computers of all scales will be provide their power through parallelism. Thus, all applications will need to be parallel to exploit the available computing ...

Forskningsprojekt från 2012-01-01 till 2014-12-31

Safety in numerous domains such as transportation and health relies on sophisticated software that is the core of embedded computing devices. Many such devices process real-valued quantities, represented ...

Forskningsprojekt från 2013-01-01 till 2016-12-31

Object-oriented programming builds on aliasing and mutable state. It is well-known that these combined cause problems for programmers, tool developers and formalists. Creating and managing aliases and ...

Forskningsprojekt från 2012-01-01 till 2015-12-31

In many safety-critical applications, embedded computer systems must react to their environment in real-time. The designers must predict and make sure at design time that given timing constraints such ...

Forskningsprojekt från 2018-01-01 till 2021-12-31

Recently, SMT solvers have acquired the ability to reason about floating-point arithmetic. Because of their pervasive use and their potentially surprising semantics, the verification of floating-point ...

Forskningsprojekt från 2019-01-01 till 2022-12-31

We propose research towards new techniques for automatic program analysis, focusing on the functional correctness properties that are essential when specifying and developing software libraries, frameworks ...