MiniMalloc: A Lightweight Memory Allocator for Hardware-Accelerated Machine Learning. - Moffitt, Michael D. (2023)

Search Strategies for Topological Network Optimization. - Moffitt, Michael D. (2022)

Optimal Multi-Way Number Partitioning. - Schreiber, Ethan L.; Korf, Richard E.; Moffitt, Michael D. (J. ACM, 2018)

Optimal Sequential Multi-Way Number Partitioning. - Korf, Richard E.; Schreiber, Ethan L.; Moffitt, Michael D. (2014)

Multidimensional Bin Packing Revisited. - Moffitt, Michael D. (2013)

Place and route for massively parallel hardware-accelerated functional verification. - Moffitt, Michael D.; Günther, Gernot E.; Pasnik, Kevin A. (2013)

Search Strategies for Optimal Multi-Way Number Partitioning. - Moffitt, Michael D. (2013)

On the modelling and optimization of preferences in constraint-based temporal reasoning. - Moffitt, Michael D. (Artif. Intell., 2011)

Scalable Scheduling for Hardware-Accelerated Functional Verification. - Moffitt, Michael D.; Günther, Gernot E. (2011)

Wire synthesizable global routing for timing closure. - Moffitt, Michael D.; Sze, Chin Ngai (2011)

Robust partitioning for hardware-accelerated functional verification. - Moffitt, Michael D.; Sustik, Mátyás A.; Villarrubia, Paul G. (2011)

Optimal rectangle packing. - Korf, Richard E.; Moffitt, Michael D.; Pollack, Martha E. (Ann. Oper. Res., 2010)

Speeding Up Physical Synthesis with Transactional Timing Analysis. - Papa, David A.; Moffitt, Michael D.; Alpert, Charles J.; Markov, Igor L. (IEEE Des. Test Comput., 2010)

What makes a design difficult to route. - Alpert, Charles J.; Li, Zhuo; Moffitt, Michael D.; Nam, Gi-Joon; Roy, Jarrod A.; Téllez, Gustavo E. (2010)

Global routing revisited. - Moffitt, Michael D. (2009)

MaizeRouter: Engineering an Effective Global Router. - Moffitt, Michael D. (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. - Papa, David A.; Luo, Tao; Moffitt, Michael D.; Sze, Chin Ngai; Li, Zhuo; Nam, Gi-Joon; Alpert, Charles J.; Markov, Igor L. (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2008)

Constraint-driven floorplan repair. - Moffitt, Michael D.; Roy, Jarrod A.; Markov, Igor L.; Pollack, Martha E. (ACM Trans. Design Autom. Electr. Syst., 2008)

MaizeRouter: Engineering an effective global router. - Moffitt, Michael D. (2008)

Path smoothing via discrete optimization. - Moffitt, Michael D.; Papa, David A.; Li, Zhuo; Alpert, Charles J. (2008)

RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm. - Papa, David A.; Luo, Tao; Moffitt, Michael D.; Sze, Chin Ngai; Li, Zhuo; Nam, Gi-Joon; Alpert, Charles J.; Markov, Igor L. (2008)

The coming of age of (academic) global routing. - Moffitt, Michael D.; Roy, Jarrod A.; Markov, Igor L. (2008)

Efficient and expressive extensions of constraint-based temporal reasoning. - Moffitt, Michael D. (2007)

On the Partial Observability of Temporal Uncertainty. - Moffitt, Michael D. (2007)

Generalizing Temporal Controllability. - Moffitt, Michael D.; Pollack, Martha E. (2007)

Temporal Preference Optimization as Weighted Constraint Satisfaction. - Moffitt, Michael D.; Pollack, Martha E. (2006)

Optimal Rectangle Packing: A Meta-CSP Approach. - Moffitt, Michael D.; Pollack, Martha E. (2006)

Constraint-driven floorplan repair. - Moffitt, Michael D.; Ng, Aaron N.; Markov, Igor L.; Pollack, Martha E. (2006)

Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints. - Moffitt, Michael D.; Peintner, Bart; Pollack, Martha E. (2005)

A Personalized Time Management Assistant: Research Directions. - Berry, Pauline M.; Gervasio, Melinda T.; Uribe, Tomás E.; Pollack, Martha E.; Moffitt, Michael D. (2005)

Solving Over-constrained Disjunctive Temporal Problems with Preferences. - Peintner, Bart; Moffitt, Michael D.; Pollack, Martha E. (2005)

Partial Constraint Satisfaction of Disjunctive Temporal Problems. - Moffitt, Michael D.; Pollack, Martha E. (2005)

Identifying Conflicts in Overconstrained Temporal Problems. - Liffiton, Mark H.; Moffitt, Michael D.; Pollack, Martha E.; Sakallah, Karem A. (2005)

Applying Local Search to Disjunctive Temporal Problems. - Moffitt, Michael D.; Pollack, Martha E. (2005)

Active preference learning for personalized calendar scheduling assistance. - Gervasio, Melinda T.; Moffitt, Michael D.; Pollack, Martha E.; Taylor, Joseph M.; Uribe, Tomás E. (2005)