Selected Publications

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

Projects

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

  • rmartins@cs.utexas.edu
  • 512-475-6974
  • The University of Texas at Austin Department of Computer Science, College of Natural Sciences 2317 Speedway, Stop D9500 Austin, TX 78712 GDC 5.720