Software

  • HyperService: Interoperability and Programmability across Heterogeneous Blockchains [Link]
  • AppContext: Differentiating Malicious and Benign Mobile App Behavior using Contexts [Link]
  • WHYPER: Towards Automating Risk Assessment of Mobile Applications [Link]
  • Inferring Method Specifications from Natural Language API Descriptions [Link]
  • Covana: Precise Identification of Problems for Structural Test Generation [Link]