Tachyon-list Décembre 2010

tachyon-list@iro.umontreal.ca

4 participants
22 discussions

Please fix these numbers
by Marc Feeley 16 Déc '10

16 Déc '10

"utility/hashmap.js"@16.25-16.28: warning -- number literal is not an integer "utility/hashmap.js"@17.25-17.28: warning -- number literal is not an integer "parser/parser.js"@93.42-93.52: warning -- number literal is outside 30 bit integer range "codegen/asm.js"@1062.21-1062.31: warning -- number literal is outside 30 bit integer range "codegen/asm-x86.js"@43.21-43.31: warning -- number literal is outside 30 bit integer range "codegen/asm-x86.js"@43.42-43.52: warning -- number literal is outside 30 bit integer range "codegen/asm-x86.js"@184.21-184.31: warning -- number literal is outside 30 bit integer range "codegen/asm-x86.js"@190.22-190.38: warning -- number literal is outside 30 bit integer range "codegen/asm-x86.js"@190.48-190.64: warning -- number literal is outside 30 bit integer range Marc

1 0

make broken?
by Marc Feeley 16 Déc '10

16 Déc '10

I get a segmentation fault when running "make". As far as I can tell it is after your last commit. Can you please take a look? Marc

2 3

split
by Marc Feeley 15 Déc '10

15 Déc '10

There are uses of String.split in the source code. This uses regular expressions which are a whole can of worms. Can we replace calls to that method by something else? Marc

2 1

Re: [Tachyon-list] [racket] ICFP 2011: Call for papers
by Marc Feeley 09 Déc '10

09 Déc '10

Here's a reasonable target for our first paper on Tachyon. Marc On 2010-12-09, at 7:24 AM, Wouter Swierstra wrote: > ===================================================================== > > Call for Papers > > ICFP 2011: International Conference on Functional Programming > > Tokyo, Japan, Monday 19 -- Wednesday 21 September 2011 > > http://www.icfpconference.org/icfp2011 > > ===================================================================== > > Important Dates > ~~~~~~~~~~~~~~~ > > Titles, abstracts & keywords due: Thursday 17 March 2011 at 14:00 UTC > Submissions due: Thursday 24 March 2011 at 14:00 UTC > Author response: Tuesday & Wednesday 17-18 May > Notification: Monday 30 May 2011 > Final copy due: Friday 01 July 2011 > Conference: Monday-Wednesday 19-21 September 2011 > > Scope > ~~~~~ > > ICFP 2011 seeks original papers on the art and science of functional > programming. Submissions are invited on all topics from principles to > practice, from foundations to features, and from abstraction to > application. The scope includes all languages that encourage > functional programming, including both purely applicative and > imperative languages, as well as languages with objects, concurrency, > or parallelism. Particular topics of interest include > > * Language Design: type systems; concurrency and distribution; > modules; components and composition; metaprogramming; relations to > imperative, object-oriented, or logic programming; interoperability > > * Implementation: abstract machines; virtual machines; interpretation; > compilation; compile-time and run-time optimization; memory > management; multi-threading; exploiting parallel hardware; interfaces > to foreign functions, services, components, or low-level machine > resources > > * Software-Development Techniques: algorithms and data structures; > design patterns; specification; verification; validation; proof > assistants; debugging; testing; tracing; profiling > > * Foundations: formal semantics; lambda calculus; rewriting; type > theory; mathematical logic; monads; continuations; delimited > continuations; global, delimited, or local effects > > * Transformation and Analysis: abstract interpretation; partial > evaluation; program transformation; program calculation; program > proofs; normalization by evaluation > > * Applications and Domain-Specific Languages: symbolic computing; > formal-methods tools; artificial intelligence; systems programming; > distributed-systems and web programming; hardware design; databases; > XML processing; scientific and numerical computing; graphical user > interfaces; multimedia programming; scripting; system > administration; security; education > > * Functional Pearls: elegant, instructive, and fun essays on > functional programming > > * Experience Reports: short papers that provide evidence that > functional programming really works or describe obstacles that have > kept it from working in a particular application > > Abbreviated instructions for authors > ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ > > * By 17 March 2011, 14:00 UTC, submit a title, an abstract of at most > 300 words, and keywords. > > * By 24 March 2011, 14:00 UTC, submit a full paper of at most 12 pages > (6 pages for a Functional Pearl and for an Experience Report), > including bibliography and figures. > > The deadlines will be strictly enforced and papers exceeding the page > limits will be summarily rejected. > > * Authors have the option to attach supplementary material to a submission, > on the understanding that reviewers may choose not to look at it. > > * Each submission must adhere to SIGPLAN's republication policy, as > explained on the web at > http://www.acm.org/sigplan/republicationpolicy.htm > > In addition, authors of resubmitted (but previously rejected) papers > have the option to attach an annotated copy of the reviews of their > previous submission(s), explaining how they have addressed these > previous reviews in the present submission. If a reviewer > identifies him/herself as a reviewer of this previous submission and > wishes to see how his/her comments have been addressed, the program > chair will communicate to this reviewer the annotated copy of > his/her previous review. Otherwise, no rewiewer will read the > annotated copies of the previous reviews. > > Overall, a submission will be evaluated according to its relevance, > correctness, significance, originality, and clarity. It should > explain its contributions in both general and technical terms, clearly > identifying what has been accomplished, explaining why it is > significant, and comparing it with previous work. The technical > content should be accessible to a broad audience. Functional Pearls > and Experience Reports are separate categories of papers that need not > report original research results and must be marked as such at the > time of submission. Detailed guidelines on both categories are on the > conference web site. > > Proceedings will be published by ACM Press. Authors of accepted > submissions are expected to transfer the copyright to the > ACM. Presentations will be videotaped and released online if the > presenter consents by signing an additional permission form at the > time of the presentation. > > Formatting: Submissions must be in PDF format printable in black and > white on US Letter sized paper and interpretable by Ghostscript. If > this requirement is a hardship, make contact with the program chair at > least one week before the deadline. Papers must adhere to the standard > ACM conference format: two columns, nine-point font on a ten-point > baseline, with columns 20pc (3.33in) wide and 54pc (9in) tall, with a > column gutter of 2pc (0.33in). A suitable document template for LaTeX > is available from SIGPLAN at > http://www.acm.org/sigs/sigplan/authorInformation.htm > > Submission: Submissions will be accepted electronically at a URL to be > named later. Improved versions of a paper may be submitted at any > point before the submission deadline using the same web interface. > > Author response: Authors will have a 48-hour period, starting at 14:00 > UTC on Tuesday 17 May 2010, to read reviews and respond to them. > > Special Journal Issue: There will be a special issue of the Journal of > Functional Programming with papers from ICFP 2011. The program > committee will invite the authors of select accepted papers to submit > a journal version to this issue. > > > Conference Chairs: > Manuel M T Chakravarty, University of New South Wales, Australia > Zhenjiang Hu, National Institute of Informatics (NII), Japan > > Program Chair: > Olivier Danvy, Aarhus University, Denmark > > Program Committee: > Kenichi Asai, Ochanomizu University, Japan > Josh Berdine, Microsoft Research, UK > Adam Chlipala, Harvard University, USA > William Cook, University of Texas at Austin, USA > Maribel Fernandez, King's College London, UK > Ronald Garcia, Carnegie Mellon University, USA > Neal Glew, Intel Labs, USA > Jacques Garrigue, Nagoya University, Japan > Suresh Jagannathan, Purdue University, USA > Sam Lindley, University of Edinburgh, UK > Frank Pfenning, Carnegie Mellon University, USA > Paola Quaglia, University of Trento, Italy > Alexis Saurin, University of Paris VII, France > Mike Spivey, Oxford University, UK > Kristian Stoevring, University of Copenhagen, Denmark > Doaitse Swierstra, Utrecht University, The Netherlands > David Van Horn, Northeastern University, USA > Rene Vestergaard, JAIST, Japan > Edwin Westbrook, Rice University, USA > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users

1 0

Benchmarking
by Maxime Chevalier-Boisvert 08 Déc '10

08 Déc '10

I wrote a simple driver for Tachyon, for the benchmarking framework. It appears that the performance difference between us and V8 is even less on my home machine (Core 2 Quad): Mean values (s) Benchmark Tachyon Google V8 fib 7.86 5.63 loop_sum 5.01 4.53 - Maxime

2 4

Presentation
by chevalma＠iro.umontreal.ca 08 Déc '10

08 Déc '10

I made some minor changes to the ordering of the IR-related slides, added a few details here and there, and created a slide about our HIR. The updated presentation is on google docs (see CASCON2010.odp). Is this sufficient for my part? Are there other details or diagrams that you guys would like to see me add? I'm figured that since we have access to the source, we can show them as much source code as they like after the presentation. - Maxime

1 0

Meeting Tomorrow?
by chevalma＠iro.umontreal.ca 07 Déc '10

07 Déc '10

Are we meeting tomorrow, in addition to Thursdays? Also, Erick, I wanted to ask if you would be in the lab tomorrow at all. I would like to implement a Tachyon driver for the benchmarking framework, so we can hopefully show it to the Mozilla people on Friday. For this, we would ideally need to discuss/fix/refactor some issues with calling into Tachyon code from V8. I would like to be able to call any IRFunction in a given compiled file (so I can lookup a given global function by name), and, if possible, be able to pass it one or two integer arguments. This would make it possible to get rid of the global return, which is not valid JavaScript, and currently prevents our benchmarks from running in V8 as-is. It would mean we could run the same benchmarks, in essentially the same way, on both Tachyon and V8. - Maxime

5 6

Google introduces Crankshaft
by Bruno Dufour 07 Déc '10

07 Déc '10

Hi, Just in case some of you haven't seen this already: http://blog.chromium.org/2010/12/new-crankshaft-for-v8.html At a high level, they have ideas similar to ours, but then, the devil is usually in the details for this kind of work. Bruno

4 6

const
by Marc Feeley 06 Déc '10

06 Déc '10

I noticed that several of our source files use the "const" keyword, which is not supported by our parser. What is the semantics of "const" and should Tachyon support it? Marc

2 1

Semicolons
by Marc Feeley 06 Déc '10

06 Déc '10

Yesterday and this morning I modified several files to insert semicolons that were missing. Please pull the changes before doing any further modifications! Marc

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Tachyon-list Décembre 2010