A smart contract is hard to patch for bugs once it deployed, irrespective of the money holds.A recent bug caused losses worth around $50 million cryptocurrency.We present ZEUS-a framework verify correctness and validate fairness contracts.We consider as adherence safe programming practices, while agreed upon higher-level business logic.ZEUS leverages both abstract interpretation symbolic model checking, along with power constrained horn clauses quickly contracts safety.We have built a...

In this paper, we present the design of a new Java based, cycle-accurate, heterogeneous architectural simulator, Tejas. Tejas is trace driven which platform-independent. It can simulate binaries in any ISA and corresponding to virtually operating system. itself run on machine. one fastest cycle accurate simulators available academia. This achieved through employing optimized data structures, improving simulator's cache locality, reducing amount wasteful work done. offers rich library...

In this paper, we introduce a new Java-based parallel GPGPU simulator, GpuTejas. GpuTejas is fast trace driven which uses relaxed synchronization, and non-blocking data structures to derive its speedups. Secondly, it introduces novel scheduling partitioning scheme for parallelizing GPU simulator. We evaluate the performance of our simulator with set Rodinia benchmarks. demonstrate mean speedup 17.33x 64 threads over sequential execution, 429X widely used GPGPU-Sim. validated timing...

In this paper, we consider the problem of fair scheduling transactions multiple types that are submitted to a permissioned blockchain system. Permissioned blockchains being increasingly used for enterprise applications and by design heterogeneous in nature, with different peer organizations performing business functions. Transactions execute smart contract operations may have widely varying importance. such setting, argue typically adopted First-In-First-Out ordering mechanism system, which...

The telecommunications industry is undergoing a fundamental transformation with the advent of 5G and edge computing. stringent requirements on performance, agility, scalability, together technologies such as network slicing that permit deploying multiple virtual networks same physical infrastructure, fostering adoption cloud-native or containerized functions open platforms Kubernetes. Operators are seeking to improve operational efficiency deliver innovative high quality services their...

Transportation of shipper's goods across country borders by loading into containers is known as global container shipping, and this part parcel international or trade. Multiple carriers, third fourth party logistics companies are typically involved in a shipping journey. These organizations charge base service fees, unplanned, value-added fees through freight invoices based on pre-agreed contract rates with the shippers. The existence multiple en route handoffs between different carrier...

In this article, we present the design of a novel parallel architecture simulator called ParTejas . is timing simulation engine that gets its execution traces from instrumented binaries using fast shared-memory-based mechanism. Subsequently, waiting threads simulate multiple pipelines and an elaborate memory system with support for multilevel coherent caches. written in Java primarily derives speedups use data structures. Specifically, it uses lock-free slot schedulers to entity port...

In this report we show results that validate the Tejas architectural simulator against native hardware. We mean error rates of 11.45% and 18.77% for SPEC2006 Splash2 benchmark suites respectively. These are competitive in most cases better than numbers reported by other contemporary simulators.

Observability is a fundamental requirement for any cloud deployment. The ability to perform root cause analysis based on various observability modalities the key high availability of application. With move towards multi and edge deployments, across infrastructure clouds becomes challenging. demo demonstrates architecture enable multiple public highlights challenges in such large infrastructures.

The rising popularity of 5G is expected to drive transformation in a large number industries, thereby generating diverse set use cases with distinct and specific requirements on throughput, latency, availability etc. Slicing, one the key enablers 5G, will allow different applications custom QoS be supported same physical infrastructure. A slice, during its lifecycle from planning decommissioning, requires scalable Management Orchestration (MANO) framework that automates slice deployment...

The rapid adoption of Software Defined Networking (SDN) and Network Function Virtualization (NFV) in 5G telecommunication networks has made network slicing possible, where different customers with varying requirements latency, bandwidth, reliability quality service can co-exist isolated virtual on the same infrastructure. To enable rapid, reliable scalable management orchestration (MANO) these slices, there is a need for embedding intelligence optimization into all aspects lifecycle...

Goods trade is a supply chain transaction that involves shippers buying goods from suppliers and carriers providing transportation. Shippers are issued invoices carriers. carry out receiving invoice processing before payment of bills for carriers, where includes tasks like claims adjusting the bill payments. verification received by Shipper's team. Invoice carried accounts payable team, which in turn verified receivable teams This paper presents blockchain-based system generates deficiency...

Fault diagnosis in IT environments is complicated because (i) most monitors have shared specificity (high amount of memory utilization can result from a large number causes), (ii) it hard to deploy and maintain enough sensors ensure adequate coverage, (iii) some functionality may be provided as-a-service by external parties with limited visibility simultaneous availability alert data. To systematically incorporate uncertainty able fuse information multiple sources, we propose the use...

In this paper, we describe a novel algorithm to create con- current wait-free stack. To the best of our knowledge, is first for general purpose past, researchers have proposed restricted implementations stacks, lock-free implementations, and efficient universal constructions that can support stacks. The crux implementation fast pop operation does not modify stack top; instead, it walks down till finds node unmarked. It marks but delete it. Subsequently, lazily deleted by cleanup operation....

With 5G, the telecommunication industry is promising higher connectivity and tailor made quality of service. The underpinning technology behind these promises Network Slicing. Slicing allows applications having widely disparate requirements such as low latency, high bandwidth, reliability etc. to co-exist on same network infrastructure. 5G facilitated by a Management Orchestration (MANO) framework that handles its lifecycle through Day 0 operations planning, 1 deployment 2 assurance. In our...

Goods trade is a supply chain transaction that involves shippers buying goods from suppliers and carriers providing transportation. Shippers are issued invoices carriers. carry out receiving invoice processing before payment of bills for carriers, where includes tasks like claims adjusting the bill payments. verification received by Shipper's team. Invoice carried accounts payable team, which in turn verified receivable teams This paper presents blockchain-based system generates deficiency...