Matt Walker

According to our database, Matt Walker authored at least 5 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.

Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, Franck van Breugel

ACM SIGSOFT Softw. Eng. Notes, January, 2023

The Java Pathfinder Workshop 2022.

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

ACM SIGSOFT Softw. Eng. Notes, January, 2023

2021

APOLLO: An Automated Power Modeling Framework for Runtime Power Introspection in High-Volume Commercial Microprocessors.

Zhiyao Xie, Xiaoqing Xu, Matt Walker, Joshua Knebel, Kumaraguru Palaniswamy, Nicolas Hebert, Jiang Hu, Huanrui Yang, Yiran Chen, Shidhartha Das

Proceedings of the MICRO '21: 54th Annual IEEE/ACM International Symposium on Microarchitecture, 2021

2020

Relation Learning on Social Networks with Multi-Modal Graph Edge Variational Autoencoders.

Carl Yang, Jieyu Zhang, Haonan Wang, Sha Li, Myunghwan Kim, Matt Walker, Yiou Xiao, Jiawei Han

Proceedings of the WSDM '20: The Thirteenth ACM International Conference on Web Search and Data Mining, 2020

2009

Pervasive parallelism in data mining: dataflow solution to co-clustering large and sparse Netflix data.

Srivatsava Daruru, Nena M. Marin, Matt Walker, Joydeep Ghosh

Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28, 2009