Bringing the web up to speed with WebAssembly

Haas, Andreas; Rossberg, Andreas; Schuff, Derek L.; Titzer, Ben L.; Holman, Michael; Gohman, Dan; Wagner, Luke; Zakai, Alon; Bastien, JF

doi:10.1145/3140587.3062363

Cited by 86 publications

(28 citation statements)

References 30 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Regarding virtualization, the current architecture requires hardware to support Docker to act as a schedulable host. Another possibility would be to use Wasm [46] as the application development environment, with reduced communication and computational overhead stipulating virtualization change from Docker to Google V8. V8 supports more processor architectures than Docker, which would enable a broader range of computational units to join the distributed platform.…”

Section: Discussionmentioning

confidence: 99%

Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC

Haavisto

Arif

Lovén

et al. 2019

2019 European Conference on Networks and Communications (EuCNC)

View full text Add to dashboard Cite

Edge computing that leverages cloud resources to the proximity of user devices is seen as the future infrastructure for distributed applications. However, developing and deploying edge applications, that rely on cellular networks, is burdensome. Such network infrastructures are often based on proprietary components, each with unique programming abstractions and interfaces. To facilitate straightforward deployment of edge applications, we introduce open-source software (OSS) based radio access network (RAN) on over-the-air (OTA) commercial spectrum with Development Operations (DevOps) capabilities. OSS allows software modifications and integrations of the system components, e.g., Evolved Packet Core (EPC) and edge hosts running applications, required for new data pipelines and optimizations not addressed in standardization. Such an OSS infrastructure enables further research and prototyping of novel end-user applications in an environment familiar to software engineers without telecommunications background. We evaluated the presented infrastructure with end-to-end (E2E) OTA testing, resulting in 7.5MB/s throughput and latency of 21ms, which shows that the presented infrastructure provides low latency for edge applications.

show abstract

Section: Discussionmentioning

confidence: 99%

Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC

Haavisto

Arif

Lovén

et al. 2019

2019 European Conference on Networks and Communications (EuCNC)

View full text Add to dashboard Cite

show abstract

“…In 2008, the great leap in computing capacity in the browser came [30]. In particular, Google released Chrome V8 (https: //v8.dev/), a high-performance JavaScript and WebAssembly engine.…”

Section: Bbvc 3rd Generationmentioning

confidence: 99%

“…To allow native code (e.g., C, C++) to run in the web browser, Mozilla released asm.js in 2013 (http://asmjs.org). A few years later, in 2015, WebAssembly (WASM) [30] move forward in the same direction. Both approaches use a sourceto-source compiler (e.g., Emscripten, https://emscripten.org) to translate the original source code to the desired format (i.e., asm.js or WASM code).…”

Section: Bbvc 3rd Generationmentioning

confidence: 99%

JSDoop and TensorFlow.js: Volunteer Distributed Web Browser-Based Neural Network Training

2019

View full text Add to dashboard Cite

In 2019, around 57% of the population of the world has broadband access to the Internet. Moreover, there are 5.9 billion mobile broadband subscriptions, i.e., 1.3 subscriptions per user. So there is an enormous interconnected computational power held by users all around the world. Also, it is estimated that Internet users spend more than six and a half hours online every day. But in spite of being a great amount of time, those resources are idle most of the day. Therefore, taking advantage of them presents an interesting opportunity. In this study, we introduce JSDoop, a prototype implementation to profit from this opportunity. In particular, we propose a volunteer web browser-based high-performance computing library. JSdoop divides a problem into tasks and uses different queues to distribute the computation. Then, volunteers access the web page of the problem and start processing the tasks in their web browsers. We conducted a proof-of-concept using our proposal and TensorFlow.js to train a recurrent neural network that predicts text. We tested it in a computer cluster and with up to 32 volunteers. The experimental results show that training a neural network in distributed web browsers is feasible and accurate, has a high scalability, and it is an interesting area for research.

show abstract

“…the only way to set the Overflow flag is to execute an arithmetic instruction that actually has an overflow. compile r0 stack temp (energyEstimate t1 t2 p1 p2) 10 halt…”

Section: Formal Verificationmentioning

confidence: 99%

“…A lot of research work has been done on the design of typed assembly languages, e.g. see [10] [18]. The low-level REDFIN assembly is untyped, but the syntactic language of arithmetic expressions that we implemented on top of it does have a simple type system.…”

Section: Related Workmentioning

confidence: 99%

Formal verification of spacecraft control programs (experience report)

Mokhov

Lukyanov

Lechner³

2019

Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell

View full text Add to dashboard Cite

Verification of functional correctness of control programs is an essential task for the development of space electronics; it is difficult and time-consuming and typically outweighs design and programming tasks in terms of development hours. We present a verification approach designed to help spacecraft engineers reduce the effort required for formal verification of low-level control programs executed on custom hardware. The approach uses a metalanguage to describe the semantics of a program as a state transformer, which can be compiled to multiple targets for testing, formal verification, and code generation. The metalanguage itself is embedded in a strongly-typed host language (Haskell), providing a way to prove program properties at the type level, which can shorten the feedback loop and further increase the productivity of engineers.The verification approach is demonstrated on an industrial case study. We present REDFIN, a processing core used in space missions, and its formal semantics expressed using the proposed metalanguage, followed by a detailed example of verification of a simple control program.

show abstract

Bringing the web up to speed with WebAssembly

Cited by 86 publications

References 30 publications

Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC

Open-source RANs in Practice: an Over-The-Air Deployment for 5G MEC

JSDoop and TensorFlow.js: Volunteer Distributed Web Browser-Based Neural Network Training

Formal verification of spacecraft control programs (experience report)

Contact Info

Product

Resources

About