| Publications (w/ Proceedings) |
|
 |
Scalable Scheduling for Hardware-Accelerated Functional Verification |
|
| Michael D. Moffitt, Gernot E. Günther |
| In Proceedings of the 21st International Conference on Automated Planning & Scheduling (ICAPS 2011) | June 2011 |
|
 |
Robust Partitioning for Hardware-Accelerated Functional Verification |
|
| Michael D. Moffitt, Mátyás A. Sustik, Paul G. Villarrubia |
| In Proceedings of the 48th Design Automation Conference (DAC 2011) | June 2011 |
|
 |
On the Modelling and Optimization of Preferences in Constraint-Based Temporal Reasoning |
|
| Michael D. Moffitt |
| In Artificial Intelligence (AIJ) | 2011 |
|
 |
Wire Synthesizable Global Routing for Timing Closure |
|
| Michael D. Moffitt, C. N. Sze |
| In Proceedings of the 16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) | January 2011 |
|
 |
Optimal Rectangle Packing |
|
| Richard E. Korf, Michael D. Moffitt, Martha E. Pollack |
| In Annals of Operations Research | September 2010 |
|
 |
Speeding Up Physical Synthesis with Transactional Timing Analysis |
|
| David A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov |
| In IEEE Design & Test of Computers | September 2010 |
|
 |
What makes a design difficult to route |
|
| Charles J. Alpert, Zhuo Li, Michael D. Moffitt, Gi-Joon Nam, Jarrod A. Roy, Gustavo Tellez |
| In Proceedings of the 2010 International Symposium on Physical Design (ISPD 2010) | March 2010 |
|
 |
Global Routing Revisited |
|
| Michael D. Moffitt |
| In Proceedings of the 2009 International Conference on Computer-Aided Design (ICCAD 2009) | November 2009 |
|
 |
RUMBLE: An Incremental, Timing-driven, Physical-synthesis Optimization Algorithm |
|
David A. Papa, Tao Luo, Michael D. Moffitt, C. N. Sze, ...
... Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov |
| To appear in IEEE Transactions on Computer-Aided Design (TCAD) | December 2008 |
|
|
MaizeRouter: Engineering an Effective Global Router |
|
| Michael D. Moffitt |
| In IEEE Transactions on Computer-Aided Design (TCAD) | November 2008 |
|
 |
Constraint-Driven Floorplan Repair |
|
| Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack |
| In ACM Transactions on Design Automation of Electronic Systems (TODAES) | September 2008 |
|
 |
Path Smoothing via Discrete Optimization |
|
| Michael D. Moffitt, David A. Papa, Zhuo Li, Charles J. Alpert |
| In Proceedings of the 45th Design Automation Conference (DAC 2008) | June 2008 |
|
|
The Coming of Age of (Academic) Global Routing ... INVITED PAPER |
|
| Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov |
| In Proceedings of the 2008 International Symposium on Physical Design (ISPD 2008) | April 2008 |
|
|
RUMBLE: An Incremental, Timing-driven, Physical-synthesis Optimization Algorithm |
|
David A. Papa, Tao Luo, Michael D. Moffitt, C. N. Sze, ...
... Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov |
| In Proceedings of the 2008 International Symposium on Physical Design (ISPD 2008) | April 2008 |
|
|
MaizeRouter: Engineering an Effective Global Router ... WINNER, ISPD '07 ROUTING CONTEST |
|
| Michael D. Moffitt |
| In Proceedings of the 13th Asia and South Pacific Design Automation Conference (ASP-DAC 2008) | January 2008 |
|
 |
On the Partial Observability of Temporal Uncertainty |
|
| Michael D. Moffitt |
| In Proceedings of the 22nd National Conference on Artificial Intelligence (AAAI 2007) | July 2007 |
|
 |
Generalizing Temporal Controllability |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) | January 2007 |
|
 |
Constraint-Driven Floorplan Repair ... WATCH ANIMATION (~4Mb) |
|
| Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack |
| In Proceedings of the 43rd Design Automation Conference (DAC 2006) | July 2006 |
|
 |
Temporal Preference Optimization as Weighted Constraint Satisfaction |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006) | July 2006 |
|
 |
Optimal Rectangle Packing: A Meta-CSP Approach ... BEST STUDENT PAPER AWARD |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 16th International Conference on Automated Planning & Scheduling (ICAPS 2006) | June 2006 |
|
 |
Applying Local Search to Disjunctive Temporal Problems |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) | August 2005 |
|
|
Identifying Conflicts in Overconstrained Temporal Problems |
|
| Mark H. Liffiton, Michael D. Moffitt, Martha E. Pollack, Karem A. Sakallah |
| In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005) | August 2005 |
|
 |
Augmenting Disjunctive Temporal Problems with Finite-Domain Constraints |
|
| Michael D. Moffitt, Bart Peintner, Martha E. Pollack |
| In Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005) | July 2005 |
|
 |
Solving Over-constrained Disjunctive Temporal Problems with Preferences |
|
| Bart Peintner, Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 15th International Conference on Automated Planning & Scheduling (ICAPS 2005) | June 2005 |
|
 |
Partial Constraint Satisfaction of Disjunctive Temporal Problems ... BEST PAPER AWARD (2nd place) |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Proceedings of the 18th International FLAIRS Conference (FLAIRS 2005) | May 2005 |
|
 |
Active Preference Learning for Personalized Calendar Scheduling Assistance |
|
| Melinda T. Gervasio, Michael D. Moffitt, Martha E. Pollack, Joseph M. Taylor, Tomas E. Uribe |
| In Proceedings of the 2005 International Conference on Intelligent User Interfaces (IUI 2005) | January 2005 |
|
| |
| Refereed Workshop and Symposium Publications (w/o Proceedings) |
|
 |
The Design of a User-Centric Scheduling System for Multi-Faceted Real-World Problems |
|
| Pauline M. Berry, Michael D. Moffitt, Bart Peintner, Neil Yorke-Smith |
| In Papers from the ICAPS 2007 Workshop on Moving Planning and Scheduling Systems into the Real World | September 2007 |
|
 |
Multi-Criteria Optimization of Temporal Preferences |
|
| Michael D. Moffitt, Bart Peintner, Neil Yorke-Smith |
| In Papers from the 8th International Workshop on Preferences and Soft Constraints (@ CP 2006) | September 2006 |
|
 |
Temporal Preference Optimization as Weighted Constraint Satisfaction |
|
| Michael D. Moffitt, Martha E. Pollack |
| In Papers from the ICAPS 2006 Workshop on Preferences and Soft Constraints in Planning | June 2006 |
|
 |
A Personalized Time Management Assistant: Research Directions |
|
| Pauline M. Berry, Melinda T. Gervasio, Tomas E. Uribe, Martha E. Pollack, Michael D. Moffitt |
| In Papers from the 2005 AAAI Spring Symposium on Persistent Assistants | March 2005 |
|
