Zobrazeno 1 - 10
of 138
pro vyhledávání: '"Haller, Philipp"'
Failure transparency enables users to reason about distributed systems at a higher level of abstraction, where complex failure-handling logic is hidden. This is especially true for stateful dataflow systems, which are the backbone of many cloud appli
Externí odkaz:
http://arxiv.org/abs/2407.06738
In industrial embedded software, are some compilation errors easier to localize and fix than others?
Industrial embedded systems often require specialized hardware. However, software engineers have access to such domain-specific hardware only at the continuous integration (CI) stage and have to use simulated hardware otherwise. This results in a hig
Externí odkaz:
http://arxiv.org/abs/2404.14823
Autor:
Fowler, Simon, Haller, Philipp, Kuhn, Roland, Lindley, Sam, Scalas, Alceste, Vasconcelos, Vasco T.
Publikováno v:
EPTCS 401, 2024, pp. 37-48
Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of behavioural types is that the current state of the art expects software
Externí odkaz:
http://arxiv.org/abs/2404.05479
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and optimizing network devices, such as switches and routers. The de facto standard for programmming SDN devices is the P4 language. However, the flexibility and p
Externí odkaz:
http://arxiv.org/abs/2309.03566
Efficient parallelization of algorithms on general-purpose GPUs is essential in many areas today. However, it is a non-trivial task for software engineers to utilize GPUs to improve the performance of high-level programs in general. Although many dom
Externí odkaz:
http://arxiv.org/abs/2211.00621
A common standpoint when designing the syntax of programming languages is that the grammar definition has to be unambiguous. However, requiring up front unambiguous grammars can force language designers to make more or less arbitrary choices to disam
Externí odkaz:
http://arxiv.org/abs/1911.05672
Autor:
Zhao, Xin, Haller, Philipp
Publikováno v:
The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 2, Article 6
Distributed systems address the increasing demand for fast access to resources and fault tolerance for data. However, due to scalability requirements, software developers need to trade consistency for performance. For certain data, consistency guaran
Externí odkaz:
http://arxiv.org/abs/1907.00822
Publikováno v:
IEEE Transactions on Software Engineering, 2019
Software systems contain resilience code to handle those failures and unexpected events happening in production. It is essential for developers to understand and assess the resilience of their systems. Chaos engineering is a technology that aims at a
Externí odkaz:
http://arxiv.org/abs/1805.05246
Autor:
Zhao, Xin, Haller, Philipp
The development of distributed systems requires developers to balance the need for consistency, availability, and partition tolerance. Conflict-free replicated data types (CRDTs) are widely used in eventually consistent systems to reduce concurrency
Externí odkaz:
http://arxiv.org/abs/1802.09462
Autor:
Haller, Philipp, Axelsson, Ludvig
Publikováno v:
EPTCS 246, 2017, pp. 21-27
Functional programming typically emphasizes programming with first-class functions and immutable data. Immutable data types enable fault tolerance in distributed systems, and ensure process isolation in message-passing concurrency, among other applic
Externí odkaz:
http://arxiv.org/abs/1704.03095