Selected Publications

For a full list of publications see my Google Scholar Profile or DBLP.

Projects

Morpheus

Data Preparation Tasks

Astroid

Synthesis of Android Malware Signatures

SyPet

Component-Based Synthesis for Java APIs

Hunter

Next-generation code reuse tool for Java

Open-WBO

An open source MaxSAT solver

PWBO

Parallel Boolean Optimization Solver

WBO

Weighted Boolean Optimization Solver

Contact

  • rubenm@andrew.cmu.edu
  • Carnegie Mellon University, Gates Hillman Complex, 5000 Forbes Avenue Pittsburgh, PA 15213, GHC 7.129