Recent Additions

• Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs 

  Liu, Si; Sandur, Atul; Meseguer, Jose; Ölveczky, Peter; Wang, Qi (2019-12)

  Developing a reliable distributed system meeting desired performance requirements is a hard and very labor-intensive task. Formal specification of a system design and formal analysis can yield provably correct designs as ...

  application/pdf

  PDF (635kB)
• Scheduling shared data acquisition for real-time decision making 

  Cheng, Tai-Sheng (2019-04-25)

  This work investigates scheduling policies for the acquisition of possibly overlapping sets of data items required to make multiple decisions by different deadlines. The work is motivated by military IoT applications in ...

  application/pdf

  PDF (396kB)
• Blacklist filtering for security research: bridging the gap between domain blacklists and malicious web content 

  Wang, Kaishen (2019-04-26)

  Blacklists are a collection of origins (URLs, domains or IP addresses) associated with malevolent activities like the dissemination of malware, facilitation of command and control (C&C) communications, and delivery of spam ...

  application/pdf

  PDF (1MB)
• Empirically revisiting and enhancing IR-based test-case prioritization 

  Peng, Qianyang (2019-04-26)

  Regression testing is widely used to check code changes during software evolution. How- ever, regression testing can also incur huge cost since real-world software systems can accumulate huge and time-consuming test suites. ...

  application/pdf

  PDF (714kB)
• Efficient inference of convolutional neural networks on general purpose hardware using weight repetition 

  Agrawal, Rohit (2019-04-24)

  Deep Neural Networks (DNNs) have begun to permeate all corners of electronic society due to their high accuracy and machine efficiency per operation. Recent work has shown how weights within and across DNN filters have ...

  application/pdf

  PDF (1MB)