Zobrazeno 1 - 10
of 110
pro vyhledávání: '"Ziarek, Lukasz"'
Although Secure Multiparty Computation (SMC) has seen considerable development in recent years, its use is challenging, resulting in complex code which obscures whether the security properties or correctness guarantees hold in practice. For this reas
Externí odkaz:
http://arxiv.org/abs/2306.00308
A compiler's optimizer operates over abstract syntax trees (ASTs), continuously applying rewrite rules to replace subtrees of the AST with more efficient ones. Especially on large source repositories, even simply finding opportunities for a rewrite c
Externí odkaz:
http://arxiv.org/abs/2104.01241
Autor:
Liang, Xiaozhou, Burns, John Henry, Sanchez, Joseph, Dantu, Karthik, Ziarek, Lukasz, Liu, Yu David
Unmanned Aerial Vehicles (UAVs) are an emerging computation platform known for their safety-critical need. In this paper, we conduct an empirical study on a widely used open-source UAV software framework, Paparazzi, with the goal of understanding the
Externí odkaz:
http://arxiv.org/abs/2102.07020
Publikováno v:
Practical Aspects of Declarative Languages (2021) 54-70
In this paper, we describe our experience incorporating gradual types in a statically typed functional language with Hindley-Milner style type inference. Where most gradually typed systems aim to improve static checking in a dynamically typed languag
Externí odkaz:
http://arxiv.org/abs/2101.12299
Creating or modifying a primary index is a time-consuming process, as the index typically needs to be rebuilt from scratch. In this paper, we explore a more graceful "just-in-time" approach to index reorganization, where small changes are dynamically
Externí odkaz:
http://arxiv.org/abs/1901.07627
In this extended abstract we present our current work on leveraging Standard ML for developing embedded and real-time systems. Specifically we detail our experiences in modifying MLton, a whole program, optimizing compiler for Standard ML, for use in
Externí odkaz:
http://arxiv.org/abs/1608.07206
There has been much recent interest in adopting functional and reactive programming for use in real-time system design. Moving toward a more declarative methodology for developing real-time systems purports to improve the fidelity of software. To stu
Externí odkaz:
http://arxiv.org/abs/1601.03116
Autor:
Kennedy, Oliver, Ziarek, Lukasz
Applications such as Google Docs, Office 365, and Dropbox show a growing trend towards incorporating multi-user live collaboration functionality into web applications. These collaborative applications share a need to efficiently express shared state,
Externí odkaz:
http://arxiv.org/abs/1303.4471
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.