Tamarin:WeeklyUpdates: Difference between revisions

← Older edit

Tamarin:WeeklyUpdates (view source)

Revision as of 00:52, 17 March 2009

353 bytes removed , 17 March 2009

no edit summary

Lalewis

64

edits

@@ Line 1: / Line 1: @@
 :''These updates concern Tamarin and related projects only.''
-'''Meeting Details'''
+'''Meeting Details (Changed as of 11/18/08)'''
-* 2:00pm Pacific Time (21:00 UTC) on Tuesdays
+* 10:00 AM Pacific Time (18:00 UTC) on Tuesdays
-** (5PM Eastern US, 11PM Oslo, 6AM (Wed) Seoul, 7AM (Wed) Melbourne)
+** 1PM Eastern US, 7PM Oslo, 3AM (Wed) Seoul, 5AM (Wed) Melbourne
-* Location: Tel: 866 705 2554 (us), 913 227 1201 (int’l)
+* Location: Tel: 877-220-5439 (US & Canada), +1-408-536-9900(International)
-** Passcode: 914008
+** Meeting Place ID: 2000
-* Duration: 60 minutes
+* join irc.mozilla.org #tamarin for attendance taking and questions
-* join irc.mozilla.org #tamarin for attendence taking and questions
-'''Next meeting's Agenda Items:'''
-* TBD
-= November 11, 2008 =
+'''Next meeting's Agenda Items (3/17/09):'''
+* Canceled
-== Attendees ==
-* Intel: Moh, Shengnan
-* Mozilla: Andreas, Jim Blandy, Jeff, Rick
-* Adobe: Edwin, Steven, Vladimir, Tom H, Leslie
-== Agenda Items Discussed ==
+= January 27, 2009 Meeting Notes =
-* Meeting Logistics (Leslie)
+== Attendees ==
-* Verifying the Code Generator (Jim Blandy)
+Jeff,  Steven, Brent, Tom, Dan Schaffer, Rick Reitmaier, Rob Winchell, Moh
-* Proposal on Creating a Shared NJ Repository (Edwin)
+== Agenda Topics ==
-* Regular Expression Compilation (Andreas)
+* Status Updates
-== Updates ==
+== Meeting Discussion Notes ==
-=== Meeting Logistics (Leslie)===
+=== Status Updates ===
-* Weekly meetings to move to Tuesdays at 1:00 ET starting next week, 11/18
-* Details to be sent to list and updated on the wiki by the end of this week.
-=== Verifying the Code Generator (Jim Blandy)===
+Jeff:
-* Jim came up with this idea while watching Andreas hunt down bugs in TraceMonkey
+* Checked in a verifier refactoring. Some cleanup needed, but wanted to get it in.
-* The verifier would pass over the code and verify that all operations being performed are being done on appropriate types
+* Put in a pipeline architecture where all code generators are driven off of api (similar to backend nanojit api)
-* We have a type map that shows what kinds of values are in what places. The verifier would propagate those types forward and it would know the layout of the object. If we found ourselves arriving at some type info, we could verify the type map.
-* Reference: George Necula's Proof Carrying Code project
-** Provides type annotations for arbitrary machine code. Interesting thing, he found that he caught lots and lots of compiler bugs.
-* If the verifier had a type system that was sound, we could ensure that the compiler was not generating code that was unsound.
-* Here is the bug associated with this idea: [Bug 463137|https://bugzilla.mozilla.org/show_bug.cgi?id=463137] _TM: TraceMonkey should verify the compiler's output_
+Steven
+* Spot bug fixing
-=== Proposal on Creating a Shared NJ Repository (Edwin)===
+Dan Schaffer
+* Ecma 3 data acceptance tests
+* If anyone sees any failures, send Dan Schaffer an email
+* There may still be some lurking problems
+Tom Harwood
+* Global optimizer stopped working on this for now
+* Starting to work on verifier and code generators instead
+* Jeff’s change broke GO code
+* Tom filed a bug on that. Copy Jeff on that but.
-=== Regular Expression Compilation (Andreas)===
 = Older meetings =
+* [[Tamarin:WeeklyUpdates/2009-01-27|January 27, 2009]]
+* [[Tamarin:WeeklyUpdates/2009-01-013|January 13, 2009]]
+* [[Tamarin:WeeklyUpdates/2009-01-06|January 6, 2009]]
+* [[Tamarin:WeeklyUpdates/2008-12-16|December 16, 2008]]
+* [[Tamarin:WeeklyUpdates/2008-12-09|December 9, 2008]]
+* [[Tamarin:WeeklyUpdates/2008-12-03|December 3, 2008]]
+* [[Tamarin:WeeklyUpdates/2008-11-18|November 18, 2008]]
+* [[Tamarin:WeeklyUpdates/2008-11-11|November 11, 2008]]
 * [[Tamarin:WeeklyUpdates/2008-09-30|September 30, 2008]]
 * [[Tamarin:WeeklyUpdates/2008-08-26|August 26, 2008]]