Mingju Liu

16 papers A* 1A 3Journal 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling.
CoRR
Mingju Liu, Jiaqi Yin, Alvaro Velasquez, Cunxi Yu
2026 J jnl
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra.
CoRR
Curie Kim, Carsten Portner, Mingju Liu, Steve Dai, Haoxing Ren, Brucek Khailany, Alvaro Velasquez, Ismail Alkhouri, Cunxi Yu
2026 J jnl
MapTune: Versatile ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning.
ACM Trans. Design Autom. Electr. Syst.
Mingju Liu, Daniel Robinson, Yingjie Li, Johannes Maximilian Kühn, Rongjian Liang, Haoxing Ren, Cunxi Yu
2025 A conf
SGSS: Streaming 6-DoF Navigation of Gaussian Splat Scenes.
MMSys
Mufeng Zhu, Mingju Liu, Cunxi Yu, Cheng-Hsin Hsu, Yao Liu
2024 J jnl
DAG-Aware Synthesis Orchestration.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Yingjie Li, Mingju Liu, Haoxing Ren, Alan Mishchenko, Cunxi Yu
2024 A* conf
Differentiable Combinatorial Scheduling at Scale.
ICML
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024 J jnl
Differentiable Combinatorial Scheduling at Scale.
CoRR
Mingju Liu, Yingjie Li, Jiaqi Yin, Zhiru Zhang, Cunxi Yu
2024 A conf
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning.
ICCAD
Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu
2024 J jnl
MapTune: Advancing ASIC Technology Mapping via Reinforcement Learning Guided Library Tuning.
CoRR
Mingju Liu, Daniel Robinson, Yingjie Li, Cunxi Yu
2023 J jnl
DAG-aware Synthesis Orchestration.
CoRR
Yingjie Li, Mingju Liu, Mark Ren, Alan Mishchenko, Cunxi Yu
2023 A conf
Invited Paper: Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs.
ICCAD
Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
2023 J jnl
Verilog-to-PyG - A Framework for Graph Learning and Augmentation on RTL Designs.
CoRR
Yingjie Li, Mingju Liu, Alan Mishchenko, Cunxi Yu
2017 J jnl
Method for evaluating the eco-tourism environmental carrying capacity with hesitant fuzzy linguistic information.
J. Intell. Fuzzy Syst.
Mingju Liu, Shijun Wang
2010 J jnl
Hajós' conjecture and cycle power graphs.
Eur. J. Comb.
Deming Li, Mingju Liu, Yumei Peng
2008 J jnl
Incidence coloring of the squares of some graphs.
Discret. Math.
Deming Li, Mingju Liu
2007 J jnl
Hadwiger's conjecture for powers of cycles and their complements.
Eur. J. Comb.
Deming Li, Mingju Liu