• Dorra Ben Khalifa
  • Publications
  • Talks
  • People
  • Teaching
  • Software
  • Contact
    Dorra Ben Khalifa

    Dorra Ben Khalifa

    Associate Professor

    • ENAC
    • Email
    • Google Scholar
    • ORCID
    • LinkedIn

    POPiX

    less than 1 minute read

    Tags: Fixed-Point, Program Synthesis, Static Analysis, Tool

    Share on

    Bluesky Facebook LinkedIn X (formerly Twitter)
    Previous Next

    You May Also Enjoy

    Future Blog Post

    less than 1 minute read

    Published: January 01, 2199

    This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.

    Blog Post number 4

    less than 1 minute read

    Published: August 14, 2015

    This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

    Blog Post number 3

    less than 1 minute read

    Published: August 14, 2014

    This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

    Blog Post number 2

    less than 1 minute read

    Published: August 14, 2013

    This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

    © 2025 Dorra Ben Khalifa, site last updated 2025-09-23.