VIS 2025
Call for Participation
  • Submit Your Work
  • Papers
  • Short Papers
  • Posters
  • Tutorials
  • Workshops
  • Panels
  • Doctoral Colloquium
  • Info for Contributors
  • Area Model for VIS
  • Paper Submission Guidelines
  • Submission Keywords
  • Partnerships
  • Open Practices
  • Review Instructions
Presenter Information
  • Final Information for Paper Authors
  • Preparing Your Talk
  • Virtual Presentations
Code of Conduct

The IEEE VIS Code of Conduct

Get Involved
  • Organize a meetup

    Meet people for discussion and shared experiences

  • Student volunteer information open_in_new

    SVs support the conference and build your research network

  • Elections

    Register to vote and nominate/review candidates for the VSC/VEC

Supporters

Your support makes this conference possible!

Attending VIS 2025
  • Attend
  • Registration

    How to register for VIS

  • Venue

    Austria Center Vienna

  • Transportation

    Getting around in Vienna

  • Green Meeting Certificate

    IEEE VIS 2025 is a 'Green Meeting'

  • Travel
  • Traveling to Vienna

    Travel information

  • Hotel Information

    Where to stay

  • Visas

    Visa letter information

Vienna, Austria
  • Sights and famous places

    Well-known sights and things to see

  • Recommendations from Locals

    Tips by local people what to not miss in Vienna

Local Events at VIS 2025
  • ISOTYPE Exhibition

    100 Years of ISOTYPES in Vienna

  • VRVis Lab Visit

    Visit the VRVis GmbH

Code of Conduct

The IEEE VIS Code of Conduct

Inclusion
  • Inclusivity Scholarship

    Need-based scholarships for conference attendance

  • Accessibility

    Supporting access for all attendees

  • VISKids

    Childcare and activities open to everyone

Vis Program
  • Week at a Glance

    Preliminary overview of the conference week

  • Papers

    Paper sessions

  • Posters

    Nascent and recent work

  • Panels

    Discuss important and controversial issues

  • Workshops

    Informal setting to discuss emerging topics

  • Tutorials

    Learn new tools and application domains

  • Meetups

    Meet for discussions and shared experiences

Plenary Sessions
  • Vis Townhall

    Engage with the VIS community, internal and external

Invited Speakers
  • Keynote

    Hans-Christian Hege

  • Capstone

    Theo Deutinger

Awards and Recognitions
  • Best Paper/Poster Awards

    Recognizing outstanding work

  • VGTC VIS Awards

    Awarding members of the VIS community

  • Test of Time Awards

    Recognized articles whose contents are still useful

Social Events
  • Welcome Reception

    Natural History Museum Vienna

  • Poster Session

    Austria Center Vienna

  • Conference Dinner

    Austria Center Vienna

  • VISAP Exhibition

    University of Applied Arts

  • OC Dinner

    Melker Stiftskeller

Associated Events

Events associated with the main conference

  • VIS Arts Program (VISAP) open_in_new

    A mini-conference and exhibition for vis researchers, designers, and artists

  • VisInPractice (VIP)

    Events of special interest for visualization practitioners

Competitions

Advancing visualization through competition

  • Bio+MedVis Challenge open_in_new

    Challenges from the Bio+MedVis field

  • SciVis Contest open_in_new

    Material Science Challenge: discovery of novel materials

  • VAST Challenge open_in_new

    Return to the island nation famous for fishing and quiet seaside communities

  • VisAgent Challenge open_in_new

    AI agents data visualization

IEEE VIS Workshops

Informal settings to discuss emerging topics

  • ECWIDNA open_in_new

    Engaging Critical Workforce In co-Design aNd Assessment

  • alt.VIS open_in_new

    Borrowed from the successful alt.chi model

  • Uncertainty Visualization open_in_new

    Relationships of Uncertainty, AI, and Decision-Making

  • EduVis open_in_new

    3rd Workshop on Visualization Education and Literacy

  • TopoInVis open_in_new

    Workshop on Topological Data Analysis and Visualization

  • LDAV open_in_new

    15th IEEE Workshop on Large Data Analysis & Visualization

  • VIS4DH ↔ DH4VIS open_in_new

    9th Workshop on Visualization for the Digital Humanities

  • MERCADO open_in_new

    Multimodal Exp. for Remote Comm. Around Data Online

  • InputVis

    Envisioning a Research Agenda for Input Visualization

  • Immersive Analytics

    Human Factors in Immersive Analytics

  • AccessViz open_in_new

    2nd Workshop on Accessible Data Visualization

  • VAHC open_in_new

    16th Annual Workshop on Visual Analytics in Healthcare

  • VISxAI open_in_new

    8th Workshop on Visualization for AI Explainability

  • VISxGenAI open_in_new

    GenAI, Agents, and the Future of VIS

  • VisComm open_in_new

    7th Workshop on Visualization for Communication

Community

Explore social and topic-based community groups

  • Connect
  • Vis Buddies

    Connecting new and returning VIS attendees

  • Job Postings

    VIS 2025 job board

Social Media
  • Facebook open_in_new
  • X (Twitter) open_in_new
  • Mastodon open_in_new
  • Email List open_in_new
Previous Years

IEEE VIS conference websites in previous years

  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
History

Historical information

  • Test-of-Time Awards
  • Historical Best Paper and Poster Awards
  • Historical Keynotes and Capstones
  • List of Tutorials
Committees

IEEE VIS committees

  • VIS 2025 Organizing Committee
  • Program Committees
  • VIS Steering Committee
  • VIS Executive Committee
  • Area Curation Committee
  • reVISe 1.1
Governance Documents

Information on the IEEE VIS governance structure

  • IEEE Governance Structure
  • Best Paper Process
Code of Conduct

The IEEE VIS Code of Conduct

Upcoming Years

IEEE VIS in the upcoming years

  • How to Host IEEE VIS

    Guidelines to bid for a future location of IEEE VIS

  • Being General Chair of IEEE VIS

    The IEEE VIS General Chair role

Web Documentation

Information on website updates

  • Updating the website content
Menu menu
Content
Schedule All Events Accepted Papers Posters
Content menu
IEEE VIS 2025 Content: Poster - Symetra: Visual Analytics for Tuning Symbolic Execution Engines
  1. Posters
  3. Symetra: Visual Analytics for Tuning Symbolic Execution Engines

Symetra: Visual Analytics for Tuning Symbolic Execution Engines



 Donghee Hong -

Image not found
 Download Poster PDF
Go on Discord to chat with the poster presenters asynchronously: https://discord.com/channels/1422883912660549696/1430945692771287190
Problems with this webpage? Contact web@ieeevis.org, file a bug, or suggest a fix.
VIS 2025

The premier forum for advances in visualization and visual analytics

Past years archive

  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996

Social media

  • Mastodon
  • Facebook
  • X (Twitter)
IEEE IEEE Computer Society IEEE Visualization and Graphics Technical Community
© 2025 IEEE. Sponsored by the IEEE Computer Society and the Visualization and Graphics Technical Community.
IEEE Privacy Policy