Towards Efficient Capital Flow Management

Towards Efficient Data-flow Test Data Generation

Data-flow testing (DFT) checks the correctness of variable definitions by observing their corresponding uses. It has been empirically proved to be more effective than control-flow testing in fault detection, however, its complexities still overwhelm the testers in practice. To tackle this problem, we introduce a hybrid testing framework: (1) The core of our framework is symbolic execution, enha...

Bubbles and Capital Flow Volatility: Causes and Risk Management

Emerging market economies are fertile ground for the development of real estate and other financial bubbles. Despite these economies’ significant growth potential, their corporate and government sectors do not generate the financial instruments to provide residents with adequate stores of value. Capital often flows out of these economies seeking these stores of value in the developed world. Bub...

Towards Energy-Efficient Management of MapReduce Workloads

Effective resource management towards efficient computing

Improving performance of computers at historical rates, as dictated by Moore's Law, is becoming increasingly more challenging especially because we are hitting the chip power-budget wall. But challenges usually direct us to focus on opportunities we have neglected in the past. I will focus on some of these overlooked opportunities in this talk. One such opportunity is to question what are meani...

Efficient Capital Controls

Controls on short-term capital inflows or panic-driven capital outflows may benefit emerging markets with fragile financial sectors and adjustable-peg currency regimes. However, the controls seen so far are relatively easy to evade, often complex and obscure, and supported by large corruptible bureaucracies. A tax on foreign-exchange payments avoids these drawbacks. It is transparent, inexpensi...