Michael D. Moffitt

37 papers A* 14A 4Misc 2Journal 8Unranked 8

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus. CoRR Michael D. Moffitt
2025	—	`conf`	The ASPLOS 2025 / EuroSys 2025 Contest on Intra-Operator Parallelism for Distributed Deep Learning. ASPLOS (3) Michael D. Moffitt, Pratik Fegade
2023	—	`conf`	MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning. ASPLOS (4) Michael D. Moffitt
2022	A*	`conf`	Search Strategies for Topological Network Optimization. AAAI Michael D. Moffitt
2018	J	`jnl`	Optimal Multi-Way Number Partitioning. J. ACM Ethan L. Schreiber, Richard E. Korf, Michael D. Moffitt
2014	Misc	`conf`	Optimal Sequential Multi-Way Number Partitioning. ISAIM Richard E. Korf, Ethan L. Schreiber, Michael D. Moffitt
2013	A	`conf`	Multidimensional Bin Packing Revisited. CP Michael D. Moffitt
2013	A	`conf`	Place and route for massively parallel hardware-accelerated functional verification. ICCAD Michael D. Moffitt, Gernot E. Günther, Kevin A. Pasnik
2013	A*	`conf`	Search Strategies for Optimal Multi-Way Number Partitioning. IJCAI Michael D. Moffitt
2011	J	`jnl`	On the modelling and optimization of preferences in constraint-based temporal reasoning. Artif. Intell. Michael D. Moffitt
2011	A*	`conf`	Robust partitioning for hardware-accelerated functional verification. DAC Michael D. Moffitt, Mátyás A. Sustik, Paul G. Villarrubia
2011	A*	`conf`	Scalable Scheduling for Hardware-Accelerated Functional Verification. ICAPS Michael D. Moffitt, Gernot E. Günther
2011	—	`conf`	Wire synthesizable global routing for timing closure. ASP-DAC Michael D. Moffitt, Chin Ngai Sze
2010	J	`jnl`	Optimal rectangle packing. Ann. Oper. Res. Richard E. Korf, Michael D. Moffitt, Martha E. Pollack
2010	J	`jnl`	Speeding Up Physical Synthesis with Transactional Timing Analysis. IEEE Des. Test Comput. David A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov
2010	—	`conf`	What makes a design difficult to route. ISPD Charles J. Alpert, Zhuo Li, Michael D. Moffitt, Gi-Joon Nam, Jarrod A. Roy, Gustavo E. Téllez
2009	A	`conf`	Global routing revisited. ICCAD Michael D. Moffitt
2008	J	`jnl`	Constraint-driven floorplan repair. ACM Trans. Design Autom. Electr. Syst. Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack
2008	J	`jnl`	MaizeRouter: Engineering an Effective Global Router. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Michael D. Moffitt
2008	—	`conf`	MaizeRouter: Engineering an effective global router. ASP-DAC Michael D. Moffitt
2008	A*	`conf`	Path smoothing via discrete optimization. DAC Michael D. Moffitt, David A. Papa, Zhuo Li, Charles J. Alpert
2008	J	`jnl`	RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov
2008	—	`conf`	RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm. ISPD David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov
2008	—	`conf`	The coming of age of (academic) global routing. ISPD Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov
2007	—	`—`	Efficient and expressive extensions of constraint-based temporal reasoning. Michael D. Moffitt
2007	A*	`conf`	Generalizing Temporal Controllability. IJCAI Michael D. Moffitt, Martha E. Pollack
2007	A*	`conf`	On the Partial Observability of Temporal Uncertainty. AAAI Michael D. Moffitt
2006	A*	`conf`	Constraint-driven floorplan repair. DAC Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack
2006	A*	`conf`	Optimal Rectangle Packing: A Meta-CSP Approach. ICAPS Michael D. Moffitt, Martha E. Pollack
2006	A*	`conf`	Temporal Preference Optimization as Weighted Constraint Satisfaction. AAAI Michael D. Moffitt, Martha E. Pollack
2005	—	`conf`	A Personalized Time Management Assistant: Research Directions. AAAI Spring Symposium: Persistent Assistants: Living and Working with AI Pauline M. Berry, Melinda T. Gervasio, Tomás E. Uribe, Martha E. Pollack, Michael D. Moffitt
2005	A	`conf`	Active preference learning for personalized calendar scheduling assistance. IUI Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomás E. Uribe
2005	A*	`conf`	Applying Local Search to Disjunctive Temporal Problems. IJCAI Michael D. Moffitt, Martha E. Pollack
2005	A*	`conf`	Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints. AAAI Michael D. Moffitt, Bart Peintner, Martha E. Pollack
2005	A*	`conf`	Identifying Conflicts in Overconstrained Temporal Problems. IJCAI Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah
2005	Misc	`conf`	Partial Constraint Satisfaction of Disjunctive Temporal Problems. FLAIRS Michael D. Moffitt, Martha E. Pollack
2005	A*	`conf`	Solving Over-constrained Disjunctive Temporal Problems with Preferences. ICAPS Bart Peintner, Michael D. Moffitt, Martha E. Pollack