# A human-subject study on how people create visualizations for Alloy **URL:** \ **Category:** Uncategorized\ **Created:** [September 8, 2026, 3:32pm UTC](https://alloytools.discourse.group/t/a-human-subject-study-on-how-people-create-visualizations-for-alloy/571 "2026-09-08T15:32:59Z")\ **Posts on this page:** 1\ **Page:** 1
**Author:** ![yiliangl](https://avatars.discourse-cdn.com/v4/letter/y/48db29/32.png) [@yiliangl](https://alloytools.discourse.group/u/yiliangl)\ **Post date:** [September 8, 2026, 3:32pm UTC](https://alloytools.discourse.group/t/a-human-subject-study-on-how-people-create-visualizations-for-alloy/571/1 "2026-09-08T15:32:59Z")
Hi everyone, I am Yiliang Liang, a PhD student at Carnegie Mellon University advised by Prof. Eunsuk Kang and Prof. Joshua Sunshine. My research is on the roles that visualizations play in making formal modeling more accessible and usable to stakeholders. We are now running a human-subject study, which compares different ways in which people _create_ custom visualizations for Alloy instances. If you would like to participate, please fill out the following form: > **[Human-Subject Study on Authoring Visualization Specifications](https://docs.google.com/forms/d/e/1FAIpQLSdjvlTjOUmsjaNpomCvLHAW-e6YkpnC4jrNvA2ucf-c5VDO3g/viewform?usp=send_form)** > > Thank you for your interest in participating in our human-subject study on authoring visualization specifications! Your input is valuable to us. > > This study is run by Yiliang Liang, a PhD student in Software Engineering at Carnegie Mellon University,... Once you fill out the form, we will follow up with you to sign up for a 1-hour study session, where you will create visualizations for some Alloy models. After you complete the study, we will be happy to reward you with USD 25 of Amazon gift cards. Thank you so much for your consideration! If you have any questions, feel free to either respond to this thread, or email yiliangl@andrew.cmu.edu.