Centre for Programming Languages and Systems

• Published

  A model of actors and grey failures

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Published

  Hack the Heap: Heap Layout Manipulation made Easy

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• E-pub ahead of print

  Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

View all »

• Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina

  Project: Research

• Verification of Hardware Concurrency via Model Learning

  Project: Research

• String Constraint Solving with Real-World Regular Expressions

  Project: Research

View all »