search for: oopsla

...<jwd at VIRGINIA.EDU> Date: August 15, 2006 11:27:06 AM ADT To: SIGPLAN-ANNOUNCE at LISTSERV.ACM.ORG Subject: OOPLSA 2006 Call for Participation Reply-To: Jack Davidson <jwd at VIRGINIA.EDU> ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006) OOPSLA 2006 will be held October 22-26 in historic Portland, Oregon (USA). You can learn all about OOPSLA at www.oopsla.org, and/or download the Advance Program PDF at http://www.oopsla.org/2006// program/oopsla_06_advance_program.pdf . OOPSLA is the premier gathering of professionals...

....org/ProjectsWithLLVM/). There are a number of papers that describe what dawn-cc does. The main publication is this paper: * Automatic Insertion of Copy Annotation in Data-Parallel Programs - SBAC-PAD 2016 The array size inference analysis comes from this work: * Runtime Pointer Disambiguation - OOPSLA 2015 The source code of dawn-cc, including all the static analyses, is available at: * https://github.com/gleisonsdm/DawnCC-Compiler And, as I've mentioned, you can try it through an online interface: * cuda.dcc.ufmg.br/dawn Feel free to report bugs, or send us questions. Fernando

This is a general invite to any/all Railers in the Seattle area who want to get together for beer/food. Nothing formal, just a "get to know ya" gathering. Details: Thursday, Oct 13 (next week), 7pm Bellevue Red Robin - *http://tinyurl.com/d678c* -- ~~~~~~~~~~~~~~~~~~~ D''Andrew "Dave" Thompson http://dathompson.blogspot.com

...a huge loss given that the runtime also will be. Oh, and runtime support exists for x86-64/Linux only at the moment, though there is a bit of code for FreeBSD. For the interested, here are the research papers I mentioned. "Dynamically diagnosing run-time type errors in unsafe code" (OOPSLA '16) http://www.cl.cam.ac.uk/~srk31/#oopsla16a "Towards a dynamic object model within Unix processes" (Onward! '15) http://www.cl.cam.ac.uk/~srk31/#onward15 Code: <https://github.com/stephenrkell/liballocs> <https://github.com/stephenrkell/libcrunch> <https://gith...

...gt; of papers that describe what dawn-cc does. The main publication is > this paper: > > * Automatic Insertion of Copy Annotation in Data-Parallel Programs - > SBAC-PAD 2016 > > The array size inference analysis comes from this work: > > * Runtime Pointer Disambiguation - OOPSLA 2015 > > The source code of dawn-cc, including all the static analyses, is available at: > > * https://github.com/gleisonsdm/DawnCC-Compiler > > And, as I've mentioned, you can try it through an online interface: > > * cuda.dcc.ufmg.br/dawn > > Feel free to re...

On Sat, Oct 14, 2017 at 10:58:17PM -0500, Kavon Farvardin via llvm-dev wrote: > > something simpler will do, IMHO. Happy to discuss this further if > > folks are in California next week :) > > Yes, I'll be in California next week, let's chat! > > We could make use of the autotuner I'm currently building: > > https://github.com/kavon/autotune > >

...hat dawn-cc does. The main publication is >> this paper: >> >> * Automatic Insertion of Copy Annotation in Data-Parallel Programs - >> SBAC-PAD 2016 >> >> The array size inference analysis comes from this work: >> >> * Runtime Pointer Disambiguation - OOPSLA 2015 >> >> The source code of dawn-cc, including all the static analyses, is available at: >> >> * https://github.com/gleisonsdm/DawnCC-Compiler >> >> And, as I've mentioned, you can try it through an online interface: >> >> * cuda.dcc.ufmg.br/daw...

Hi Vedant, > I enjoyed reading through your EuroLLVM slides and OOPSLA paper. > Detecting the creation of contract-violating pointers is an > interesting idea, and your paper demonstrates that the checking can > be comprehensive and effective. Glad you enjoyed them. :-) > However, I have concerns about the quality of diagnostics, the > complexity of t...

Hi all, Is anyone doing freelance rails development? I need some advice before I jump in. Thanks, -- You received this message because you are subscribed to the Google Groups "Ruby on Rails: Talk" group. To post to this group, send email to rubyonrails-talk-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org To unsubscribe from this group, send email to

Hi everyone, At EuroLLVM, Chandler and I chatted about the design for a potential TBAA sanitizer. Here's my attempt to summarize: C/C++ have type-based aliasing rules, and LLVM's optimizer can exploit these given TBAA metadata added by Clang. Roughly, a pointer of given type cannot be used to access an object of a different type (with, of course, certain exceptions). Unfortunately,

...gt; > Stephen. > > PS: on top of the EuroLLVM '16 talk, in case you're wondering about how > my system works, the following research papers might help. Or feel free > just to ask questions.... > > - "Dynamically diagnosing run-time type errors in unsafe code" (OOPSLA '16) > <http://www.cl.cam.ac.uk/~srk31/#oopsla16a> > > - "Towards a dynamic object model within Unix processes" (Onward '15) > <http://www.cl.cam.ac.uk/~srk31/#onward15> > > ... or code if you prefer: > <https://github.com/stephenrkell/liballocs...

hypothetical question for all you BDD experts: I want to make sure that a :list action always returns widgets in alphabetical order. There''s at least 2 ways of doing this: it "should fetch items in alphabetical order" do Widget.should_receive(:find).with(:order => "name ASC") get :list end it "should fetch items in alphabetical order" do [:red,

OK, so i''ve played a bit with mocks and mock_models in controller and view tests and i have a question. Is this statement really correct: "We highly recommend that you exploit the mock framework here rather than providing real model objects in order to keep the view specs isolated from changes to your models." (http://rspec.rubyforge.org/documentation/rails/writing/views.html