Login / Signup
Matt Walker
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 5
Top Topics
Cross Modal
Modeling Framework
Linear Temporal Logic
Panel Discussion
Top Venues
ACM SIGSOFT Softw. Eng. Notes
MICRO
CoRR
WSDM
</>
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)