Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Monday, May 24, 2010
The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers
Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich, Microsoft Research
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) at run time. These traces are then analyzed and optimized, and finally specialized machine code is generated. Up to now, TJITs employed standard compiler construction algorithms to analyze and optimize traces. We propose to leverage automated theorem provers to optimize traces at run time. This effort is part of the SPUR project: http://research.microsoft.com/spur/
Fun and Interesting Thoughts (FIT) is a special event held at the 2010 Conference on Programming Language Design and Implementation (PLDI). FIT is a venue for thoughts that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience.
Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) at run time. These traces are then analyzed and optimized, and finally specialized machine code is generated. Up to now, TJITs employed standard compiler construction algorithms to analyze and optimize traces. We propose to leverage automated theorem provers to optimize traces at run time.
ReplyDeleteThis effort is part of the SPUR project: http://research.microsoft.com/spur/
شركة تسليك مجارى بالجبيل
ReplyDeleteشركة كشف تسربات المياه بالجبيل
شركة كشف تسربات المياه بالقطيف