Mark Santolucito

48 papers A* 3A 3B 2C 1Misc 1Journal 22Unranked 16
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Zhaoxiang Liu, Samuel Judson, Raj Gautam Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo
2026 J jnl
CoRR
Sam Nicholas Kouteili, William Fishell, Christian Scaff, Mark Santolucito, Ruzica Piskac
2026 J jnl
CoRR
William Fishell, Sam Nicholas Kouteili, Mark Santolucito
2025 C conf
MEMOCODE
Martha Barker, Mark Santolucito, Stephen A. Edwards, Martha A. Kim
2025 J jnl
CoRR
Sam Nicholas Kouteili, Hiren Madhu, George Typaldos, Mark Santolucito
2025 J jnl
CoRR
Nikolaus Holzer, William Fishell, Baishakhi Ray, Mark Santolucito
2025 J jnl
CoRR
William Fishell, Andoni Rodriguez, Mark Santolucito
2024 J jnl
CoRR
William Zhang, Maria Leon, Ryan Xu, Adriana Cárdenas, Amelia Wissink, Hanna Martin, Maya Srikanth, Kaya Dorogi, Christian Valadez, Pedro Perez, Citlalli Grijalva, Corey Zhang, Mark Santolucito
2024 J jnl
CoRR
William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito
2024 J jnl
CoRR
Raven Rothkopf, Hannah Tongxin Zeng, Mark Santolucito
2024 J jnl
CoRR
William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito
2024 A* conf
CCS
Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito
2024 conf
VSTTE
Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
2024 J jnl
CoRR
Feitong Qiao, Aryana Mohammadi, Jürgen Cito, Mark Santolucito
2024 J jnl
CoRR
Mayur Amarnath Palavalli, Mark Santolucito
2023 conf
NIME
Ranger Y. Liu, Satchel Peterson, Richard T. Lee, Mark Santolucito
2023 J jnl
Dagstuhl Reports
Jürgen Cito, Ruzica Piskac, Mark Santolucito, Andy Zaidman, Daniel Sokolowski
2022 A* conf
PLDI
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, Mark Santolucito
2022 A conf
SANER
Mark Santolucito, Jialu Zhang, Ennan Zhai, Jürgen Cito, Ruzica Piskac
2021 conf
TACAS (2)
Julien Lepiller, Ruzica Piskac, Martin Schäf, Mark Santolucito
2021 conf
AIIDE Workshops
Kat Pompermayer, Catherine Ji, Hannah Macias, Mark Santolucito
2021 conf
FARM@ICFP
Mark Santolucito
2021 B conf
APLAS
Wonhyuk Choi, Michel Vazirani, Mark Santolucito
2021 J jnl
CoRR
Shmuel Berman, Mark Santolucito
2021 B conf
FMCAD
Mark Santolucito
2021 conf
ITiCSE (2)
Maria L. Hwang, Mark Santolucito
2020 A conf
SIGCSE
Mark Santolucito, Ruzica Piskac
2020 J jnl
CoRR
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020 A* conf
AAAI
Kairo Morton, William T. Hallahan, Elven Shum, Ruzica Piskac, Mark Santolucito
2020 J jnl
ACM SIGSOFT Softw. Eng. Notes
Jürgen Cito, Mark Santolucito
2020 J jnl
CoRR
Jialu Zhang, Mark Santolucito, Ruzica Piskac
2020 conf
TAPAS@SPLASH
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
2019 conf
CHI Extended Abstracts
Mark Santolucito, William T. Hallahan, Ruzica Piskac
2019 J jnl
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 conf
Haskell@ICFP
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2019 conf
CAV (1)
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2018 conf
PLATEAU@SPLASH
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
2018 conf
FARM@ICFP
Mark Santolucito, Kate Rogers, Aedan Lombardo, Ruzica Piskac
2018 J jnl
CoRR
Mark Santolucito, Jialu Zhang, Ennan Zhai, Ruzica Piskac
2018 J jnl
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 J jnl
Proc. ACM Program. Lang.
Mark Santolucito, Ennan Zhai, Rahul Dhodapkar, Aaron Shim, Ruzica Piskac
2017 J jnl
CoRR
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 conf
SCAV@CPSWeek
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
2017 A conf
ISSTA
Mark Santolucito
2016 conf
CAV (2)
Mark Santolucito, Ennan Zhai, Ruzica Piskac
2015 conf
ICMC
Mark Santolucito, Donya Quick, Paul Hudak
2015 conf
FARM@ICFP
Paul Hudak, Donya Quick, Mark Santolucito, Daniel Winograd-Cort
2012 Misc conf
IDC
Kyle J. Harms, Jordana H. Kerr, Michelle Ichinco, Mark Santolucito, Alexis Chuck, Terian Koscik, Mary Chou, Caitlin Kelleher