Matt Walker

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 5

Top Topics

Modeling Framework

Linear Temporal Logic

Panel Discussion

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, Franck van Breugel
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan
The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 48 (1) (2023)
Zhiyao Xie, Xiaoqing Xu, Matt Walker, Joshua Knebel, Kumaraguru Palaniswamy, Nicolas Hebert, Jiang Hu, Huanrui Yang, Yiran Chen, Shidhartha Das
APOLLO: An Automated Power Modeling Framework for Runtime Power Introspection in High-Volume Commercial Microprocessors. MICRO (2021)
Carl Yang, Jieyu Zhang, Haonan Wang, Sha Li, Myungwan Kim, Matt Walker, Yiou Xiao, Jiawei Han
Relation Learning on Social Networks with Multi-Modal Graph Edge Variational Autoencoders. WSDM (2020)
Carl Yang, Jieyu Zhang, Haonan Wang, Sha Li, Myungwan Kim, Matt Walker, Yiou Xiao, Jiawei Han
Relation Learning on Social Networks with Multi-Modal Graph Edge Variational Autoencoders. CoRR (2019)
Srivatsava Daruru, Nena M. Marin, Matt Walker, Joydeep Ghosh
Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data. KDD (2009)