Gambit-list Janvier 2009

gambit-list@iro.umontreal.ca

27 participants
31 discussions

thread-send performance issue?
by David St-Hilaire 22 Jan '09

22 Jan '09

Hi all! I'm facing a weird situation... I tracked down in a program of mine a bottleneck which came up to be a call to thread-send. After addint a (time ...) around it I found that it takes around ~20 ms to perform the thread send (which I believe is pretty slow): (time (thread-send user-interface-thread `(redraw ,level))) 24 ms real time 20 ms cpu time (10 user, 10 system) 1 collection accounting for 2 ms real time (0 user, 0 system) 40536 bytes allocated no minor faults no major faults (time (thread-send user-interface-thread `(redraw ,level))) 18 ms real time 10 ms cpu time (10 user, 0 system) no collections 37900 bytes allocated no minor faults no major faults I'd like to note here that level in the code sample above is a rather big data structure, but I believe this is irrelevant because only the pointer should be passed down? Strangely, I tried to reproduced the behaviour in a repl but I only happened to get ~0ms for these thread-send calls: > (define t (make-thread (lambda () (let loop () (pp (thread-receive)) (loop))))) > (thread-start! t) #<thread #2> > (time (thread-send t 'allo)) (time (thread-send t 'allo)) 0 ms real time 0 ms cpu time (0 user, 0 system) no collections 24 bytes allocated no minor faults no major faults > allo (time (thread-send t 'allo)) (time (thread-send t 'allo)) 0 ms real time 0 ms cpu time (0 user, 0 system) no collections 24 bytes allocated no minor faults no major faults > allo Thank you very much for your help! David

2 1

calling interpreted scheme code from compiled C code
by symbolic expression 20 Jan '09

20 Jan '09

hi! I have wrapper.scm (which is compiled code), and test.scm (which is interpreted) i.e. (compile-file-to-c "wrapper"); (link-flat '("wrapper ...) output: "blah.o1.c"); gcc -shared -fPIC ... blah.o1.c -o blah.o1 test.scm: (load "blah") ... and I run everything with "gsi test.scm" Now, here's the problem. In test.scm, I need to call a glutDisplayFunc, which requires a _C_ callback. Okay, so I define function with (c-define (c-disp ...) ... (disp)). (disp) is the scheme funfction that does the real workd; c-disp is a c wrapper around disp. Since test.scm is interpted, I have to put it in wrapper.scm -- however, I want to keep disp in test.scm (rapid prototypinhg, changing it on the fly, etc ...). Question is, how can I get c-disp (which is in wrapper.scm) to get call (disp), which is in test.scm? if I just do wrapper.scm: (c-define (c-disp) () void "f" "" (disp)) and test.scm: (load "graphics") ;(c-define (c-disp) () void "f" "" (disp)) (define (disp) (glClear GL_COLOR_BUFFER_BIT) (glutWireTeapot 0.5)) and run gsi test.scm, I get: $gsi test.scm *** WARNING -- Variable "format" used in module "wrapper-s" is undefined so the question is ... how can i get compile scheme code to 'wait' in order to call interpted scheme code? thanks!

5 5

Fast conversion of vectors?
by Petter Egesund 19 Jan '09

19 Jan '09

Hi, I wonder: Is there a way to "cast" a u32vector to a u8vector (except for creating a new one and writing to this)? The reason I would like to do this is that u8vectors seems to be the fastest way to write to disk; read-subu8vector and write-subu8vector. I could off course do this in C using the FFI, but I am not sure if the garbage-collector might suprise me if I tried this? Is there a canonical way? Cheers, Petter Egesund

3 2

Re: [gambit-list] Debugging problem
by Marc Feeley 19 Jan '09

19 Jan '09

On 19-Jan-09, at 5:27 AM, David Rush wrote: > 2009/1/19 Marc Feeley <feeley(a)iro.umontreal.ca>: >> On 18-Jan-09, at 7:50 PM, David Rush wrote: >> >>> *** ERROR IN call-with-values -- (Argument 2) LIST expected >>> (apply '#<procedure #2> '#<unknown>) >>>> >>>> ,be >>> >>> 0 call-with-values >> >> There's something strange in this backtrace... the procedure >> call-with-values should never appear in the backtrace! It should be >> ##call-with-values... so >> >> 2) Are you redefining call-with-values in your code? > > Exactly right. I'd completely forgotten about it as it was part of an > old Gambit 3.x compatibility package. My apologies for the waste of > bandwidth. > > david rush [I'm CCing the Gambit list because this may be of general interest.] Good to know the problem is solved! As a general rule, if code works interpreted but not compiled, you should try compiling your code with no declarations. Then add the declarations one by one to see which one is causing the problem. Remember that the validity of declarations is not checked by the system. The compiler will trust you blindly and if the conditions are not right the semantics of the compiled code will not match the semantics of Scheme. It is perfectly valid to redefine the "call-with-values" and "values" procedures if you wish to, but if you do you cannot use the standard- bindings declaration for those procedures. In that case, the proper declaration to use in your code is: (declare (standard-bindings) (not standard-bindings call-with-values values)) Moreover you should not use the block declaration when defining those procedures because there is more than one assignment to those variables (i.e. once in your code and once in the runtime system). So the procedures should be defined like this: (declare (separate)) (define (values . lst) lst) (define (call-with-values producer receiver) (apply receiver producer)) (declare (block)) ... rest of the code So when it comes to declarations... you'll be sorry if you lie to the compiler! Marc

1 0

Debugging problem
by David Rush 18 Jan '09

18 Jan '09

So I've recently been bringing some old code up to speed on current Gambit (4.4.0) and I seem to be running afoul of some combination of the REPL changes and the debugger that have me totally blocked. When I run the compiled version of the program, I get the *no* output from the program and the following: *** ERROR IN call-with-values -- (Argument 2) LIST expected (apply '#<procedure #2> '#<unknown>) and the program very nicely exits back to the shell. However when I run the same code (e.g. I invoke the main function with the args that would come in from the command-line) in an interactive REPL under XEmacs, I get the expected program output, but no error message and a hung gsc that doesn't respond to ^C so I end up kill -KILL ing it. Running in a proper tty (a ssh session into the host) I get the same out put as under XEmacs, followed by a "0" and then Gambit's command prompt. What's going on here? And how can I get to the debugger to try and find the culprit call-with-values? I should mention that this code does currently run under Larceny 0.96 (a bit behind the bleeding edge of Larceny dev) and has previously run under at least half a dozen different R4RS schemes. Thanks in advance david rush -- GPG Public key at http://cyber-rush.org/drr/gpg-public-key.txt

3 3

[patch] Auto-configure installation directory on Windows
by Ben Goetter 18 Jan '09

18 Jan '09

The following patch obviates the need for a native Windows build to patch the built Gambit binary with the actual installation directory (GAMBCDIR in previous versions of the Makefile). It also includes a script to build Gambit on Visual Studio 2008 Professional, trivially forked from the existing script for VS2005 Express. The patch is against the most recent v 4.4.0. *** C:/Program Files/Gambit-C/v4.4.0/lib/os.h- Thu Nov 27 04:20:03 2008 --- C:/Program Files/Gambit-C/v4.4.0/lib/os.h Sat Jan 10 17:15:53 2009 *************** *** 1,4 **** ! /* File: "os.h", Time-stamp: <2008-09-03 16:32:13 feeley> */ /* Copyright (c) 1994-2008 by Marc Feeley, All Rights Reserved. */ --- 1,4 ---- ! /* File: "os.h", Time-stamp: <2009-01-10 17:15:53> */ /* Copyright (c) 1994-2008 by Marc Feeley, All Rights Reserved. */ *************** *** 228,233 **** --- 228,234 ---- #define USE_SetEnvironmentVariable #define USE_WSAGetLastError #define USE_GetConsoleWindow + #define USE_GetModuleFileName #define HAVE_CLOCK 1 #define HAVE_CREATETHREAD 1 *** C:/Program Files/Gambit-C/v4.4.0/lib/os_files.c- Tue Dec 23 06:21:06 2008 --- C:/Program Files/Gambit-C/v4.4.0/lib/os_files.c Sun Jan 11 03:02:49 2009 *************** *** 1,4 **** ! /* File: "os_files.c", Time-stamp: <2008-12-17 00:20:01 feeley> */ /* Copyright (c) 1994-2008 by Marc Feeley, All Rights Reserved. */ --- 1,4 ---- ! /* File: "os_files.c", Time-stamp: <2009-01-11 03:02:49> */ /* Copyright (c) 1994-2008 by Marc Feeley, All Rights Reserved. */ *************** *** 506,511 **** --- 506,557 ---- ___SCMOBJ e; ___SCMOBJ result; + #ifndef ___GAMBCDIR + # ifdef USE_GetModuleFileName + if (___setup_params.gambcdir == 0) + { + ___CHAR_TYPE(___PATH_CE_SELECT) temp[___PATH_MAX_LENGTH+1]; + DWORD n; + + n = GetModuleFileName(NULL, temp, ___PATH_MAX_LENGTH+1); + if (n > 0) + { + int cch; + ___UCS_2STRING gambcdir = 0; + /* remove filename */ + *(_tcsrchr(temp, '\\')) = 0; + /* remove bin subdirectory, if present */ + cch = _tcslen(temp); + if (cch > 7) /* e.g. C:\x\bin */ + { + if (0 == _tcsicmp(temp+cch-4, _T("\\bin"))) + { + cch -= 4; + *(temp+cch) = '\0'; + } + } + + gambcdir = ___CAST(___UCS_2STRING, + ___alloc_mem ((cch+1) * sizeof (___UCS_2))); + if (gambcdir == 0) + { + e = ___FIX(___HEAP_OVERFLOW_ERR); + return e; + } + else + { + #ifdef _UNICODE + _tcscpy(gambcdir, temp); + #else + mbstowcs(gambcdir, temp, cch); + #endif + ___setup_params.gambcdir = gambcdir; + } + } + } + # endif + #endif + if (___setup_params.gambcdir != 0) { if ((e = ___NONNULLUCS_2STRING_to_SCMOBJ *************** *** 530,535 **** --- 576,582 ---- #endif #ifdef USE_WIN32 + /* Will only be used if GetModuleFileName path fails */ #define ___GAMBCDIR "c:\\Gambit-C\\" STRINGIFY2(___VERSION) #endif @rem File: "vc2008.cmd" @rem @rem This is a batch file to compile Gambit with the Microsoft Visual @rem C++ 2008 Professional Edition. It probably will work with the Express Edition as well. @rem @rem TODO: turn this into a makefile @rem Setup environment variables setlocal @call "C:\Program Files\Microsoft Visual Studio 9.0\VC\bin\vcvars32.bat" @rem We can't use -D___SINGLE_HOST for all Gambit generated C files @rem because the C compiler runs out of memory while compiling _num.c @rem and _io.c . set COMP_GEN=cl -nologo -Oityb1 -Zi -GS -RTC1 -MT -D_CRT_SECURE_NO_DEPRECATE -c -I..\include -D___SYS_TYPE_CPU=\"i686\" -D___SYS_TYPE_VENDOR=\"pc\" -D___SYS_TYPE_OS=\"visualc\" set COMP_LIB_MH=%COMP_GEN% -D___LIBRARY set COMP_LIB_PR_MH=%COMP_LIB_MH% -D___PRIMAL set COMP_LIB=%COMP_LIB_MH% -D___SINGLE_HOST set COMP_LIB_PR=%COMP_LIB_PR_MH% -D___SINGLE_HOST set COMP_APP=%COMP_GEN% -D___SINGLE_HOST @rem We can't rely on sed being available so we generate gambit.h @rem from gambit.h.in by prefixing it with the needed declarations. echo #ifndef ___VOIDSTAR_WIDTH > include\gambit.h echo #define ___VOIDSTAR_WIDTH ___LONG_WIDTH >> include\gambit.h echo #endif >> include\gambit.h echo #ifndef ___MAX_CHR >> include\gambit.h echo #define ___MAX_CHR 0x10ffff >> include\gambit.h echo #endif >> include\gambit.h type include\gambit.h.in >> include\gambit.h cd lib %COMP_LIB_PR% main.c %COMP_LIB_PR% setup.c %COMP_LIB_PR% mem.c %COMP_LIB_PR% os.c %COMP_LIB_PR% os_base.c %COMP_LIB_PR% os_time.c %COMP_LIB_PR% os_shell.c %COMP_LIB_PR% os_files.c %COMP_LIB_PR% os_dyn.c %COMP_LIB_PR% os_tty.c %COMP_LIB_PR% os_io.c %COMP_LIB_PR% c_intf.c %COMP_LIB_PR% _kernel.c %COMP_LIB_PR% _system.c %COMP_LIB_PR_MH% _num.c %COMP_LIB_PR% _std.c %COMP_LIB_PR% _eval.c %COMP_LIB_PR_MH% _io.c %COMP_LIB_PR% _nonstd.c %COMP_LIB_PR% _thread.c %COMP_LIB_PR% _repl.c %COMP_LIB_PR% _gambc.c lib -out:libgambc.lib main.obj setup.obj mem.obj os.obj os_base.obj os_time.obj os_shell.obj os_files.obj os_dyn.obj os_tty.obj os_io.obj c_intf.obj _kernel.obj _system.obj _num.obj _std.obj _eval.obj _io.obj _nonstd.obj _thread.obj _repl.obj _gambc.obj cd .. cd gsi %COMP_LIB% _gsilib.c %COMP_LIB% _gambcgsi.c %COMP_APP% _gsi.c %COMP_APP% _gsi_.c cl -Fegsi.exe ..\lib\libgambc.lib _gsilib.obj _gambcgsi.obj _gsi.obj _gsi_.obj Kernel32.Lib User32.Lib Gdi32.Lib WS2_32.Lib cd .. cd gsc %COMP_LIB% _host.c %COMP_LIB% _utils.c %COMP_LIB% _source.c %COMP_LIB% _parms.c %COMP_LIB% _env.c %COMP_LIB% _ptree1.c %COMP_LIB% _ptree2.c %COMP_LIB% _gvm.c %COMP_LIB% _back.c %COMP_LIB% _front.c %COMP_LIB% _prims.c %COMP_LIB% _t-c-1.c %COMP_LIB% _t-c-2.c %COMP_LIB% _t-c-3.c %COMP_LIB% _gsclib.c %COMP_LIB% _gambcgsc.c %COMP_APP% _gsc.c %COMP_APP% _gsc_.c cl -Fegsc.exe ..\lib\libgambc.lib _host.obj _utils.obj _source.obj _parms.obj _env.obj _ptree1.obj _ptree2.obj _gvm.obj _back.obj _front.obj _prims.obj _t-c-1.obj _t-c-2.obj _t-c-3.obj _gsclib.obj _gambcgsc.obj _gsc.obj _gsc_.obj Kernel32.Lib User32.Lib Gdi32.Lib WS2_32.Lib cd .. cd bin echo @echo off> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo rem Script parameters are passed in the following environment variables:>> gsc-cc-o.bat echo rem GSC_CC_O_GAMBCDIR>> gsc-cc-o.bat echo rem GSC_CC_O_OBJ_FILENAME>> gsc-cc-o.bat echo rem GSC_CC_O_C_FILENAME_DIR>> gsc-cc-o.bat echo rem GSC_CC_O_C_FILENAME_BASE>> gsc-cc-o.bat echo rem GSC_CC_O_CC_OPTIONS>> gsc-cc-o.bat echo rem GSC_CC_O_LD_OPTIONS_PRELUDE>> gsc-cc-o.bat echo rem GSC_CC_O_LD_OPTIONS>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo rem echo GSC_CC_O_GAMBCDIR = %%GSC_CC_O_GAMBCDIR%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_OBJ_FILENAME = %%GSC_CC_O_OBJ_FILENAME%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_C_FILENAME_DIR = %%GSC_CC_O_C_FILENAME_DIR%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_C_FILENAME_BASE = %%GSC_CC_O_C_FILENAME_BASE%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_CC_OPTIONS = %%GSC_CC_O_CC_OPTIONS%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_LD_OPTIONS_PRELUDE = %%GSC_CC_O_LD_OPTIONS_PRELUDE%%>> gsc-cc-o.bat echo rem echo GSC_CC_O_LD_OPTIONS = %%GSC_CC_O_LD_OPTIONS%%>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo for %%%%f in (cl.exe gcc.exe wcl386.exe) do if not "%%%%~$PATH:f" == "" goto use_%%%%%%f>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo echo gcc.exe, wcl386.exe and cl.exe were not found in the PATH. Make sure MinGW, OpenWatcom or Visual C++ Express is installed.>> gsc-cc-o.bat echo exit 1 >> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo :use_gcc.exe>> gsc-cc-o.bat echo cd "%GSC_CC_O_C_FILENAME_DIR%">> gsc-cc-o.bat echo gcc.exe -mno-cygwin -Wall -W -Wno-unused -O1 -fno-math-errno -fschedule-insns2 -fno-trapping-math -fno-strict-aliasing -fwrapv -fno-common -mieee-fp -shared -I"%%GSC_CC_O_GAMBCDIR%%include" -D___DYNAMIC -D___SINGLE_HOST -o "%%GSC_CC_O_OBJ_FILENAME%%" %%GSC_CC_O_CC_OPTIONS%% %%GSC_CC_O_LD_OPTIONS_PRELUDE%% "%%GSC_CC_O_C_FILENAME_BASE%%" %%GSC_CC_O_LD_OPTIONS%%>> gsc-cc-o.bat echo goto end>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo :use_wcl386.exe>> gsc-cc-o.bat echo cd "%GSC_CC_O_C_FILENAME_DIR%">> gsc-cc-o.bat echo wcl386.exe -w0 -zp4 -zq -obetir -bm -3r -bt=nt -mf -bd -I"%%GSC_CC_O_GAMBCDIR%%include" -D___DYNAMIC -D___SINGLE_HOST -l=nt_dll -fe="%%GSC_CC_O_OBJ_FILENAME%%" %%GSC_CC_O_CC_OPTIONS%% %%GSC_CC_O_LD_OPTIONS_PRELUDE%% "%%GSC_CC_O_C_FILENAME_BASE%%" %%GSC_CC_O_LD_OPTIONS%%>> gsc-cc-o.bat echo goto end>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo :use_cl.exe>> gsc-cc-o.bat echo cd "%GSC_CC_O_C_FILENAME_DIR%">> gsc-cc-o.bat echo cl.exe -nologo -Oityb1 -MT -D_CRT_SECURE_NO_DEPRECATE -LD -I"%%GSC_CC_O_GAMBCDIR%%include" -D___DYNAMIC -D___SINGLE_HOST -Fe"%%GSC_CC_O_OBJ_FILENAME%%" %%GSC_CC_O_CC_OPTIONS%% %%GSC_CC_O_LD_OPTIONS_PRELUDE%% "%%GSC_CC_O_C_FILENAME_BASE%%" %%GSC_CC_O_LD_OPTIONS%%>> gsc-cc-o.bat echo goto end>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo :use_build_time_c_compiler>> gsc-cc-o.bat echo cd "%GSC_CC_O_C_FILENAME_DIR%">> gsc-cc-o.bat echo gcc.exe -mno-cygwin -Wall -W -Wno-unused -O1 -fno-math-errno -fschedule-insns2 -fno-trapping-math -fno-strict-aliasing -fwrapv -fno-common -mieee-fp -shared -I"%%GSC_CC_O_GAMBCDIR%%include" -D___DYNAMIC -D___SINGLE_HOST -o "%%GSC_CC_O_OBJ_FILENAME%%" %%GSC_CC_O_CC_OPTIONS%% %%GSC_CC_O_LD_OPTIONS_PRELUDE%% "%%GSC_CC_O_C_FILENAME_BASE%%" %%GSC_CC_O_LD_OPTIONS%%>> gsc-cc-o.bat echo goto end>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo :end>> gsc-cc-o.bat echo.>> gsc-cc-o.bat echo exit>> gsc-cc-o.bat cd ..

1 1

Patch to roughly double the speed of generating pseudo-random inexact numbers.
by Bradley Lucier 16 Jan '09

16 Jan '09

A student was trying to use Gambit for a Monte-Carlo simulation, so I looked at the speed of generating inexact pseudo-random numbers. This patch adds a procedure (random-source-make-f64vectors rs #!optional (p (macro-absent-obj)) that returns an f64vector of pseudo-random inexact numbers. The purpose of this procedure is to avoid the trampoline in the very common case when inexact reals are needed in groups by an algorithm. It also adds the predefined procedure random-f64vector. There is some amount of duplication in the internal procedure (make-f64vectors precision) in order to have an allocation-free path for the generation of the random reals, so that the only memory allocated is for the f64vector itself. In one place I changed - (fl/ (fl+ (macro-inexact-+1) (f64vector-ref state 6)) - (macro-m1-plus-1-inexact))))) + (fl* (fl+ (macro-inexact-+1) (f64vector-ref state 6)) + (macro-inv-m1-plus-1-inexact))))) because the division wasn't necessary to preserve the correctness of the algorithm. (The divisions are necessary in advance-state! to preserve the correctness of the algorithm.) I changed advance-state! to avoid the final flfloor (it seems that flfloor, flonum->fixnum, ..., take a relatively long time on my Core 2 Duo compared to the usual addition, multiplication, ...); the new code still avoids boxing flonums. I also made state a local variable because the register allocator kept reloading it into registers, stack slots, etc., from the closure. And then I tried to document this stuff. I noticed that the optional precision parameter wasn't documented; was that intentional? Brad Tests: With test-random-reals.scm given by (declare (standard-bindings)(extended-bindings)(block)(not safe)) (define (make-random-f64vector n) (let ((result (make-f64vector n))) (do ((i (fx- n 1) (fx- i 1))) ((fx< i 0) result) (f64vector-set! result i (random-real))))) I get with current head frying-pan:~/programs/gambc-v4_4_0-devel> gsi Gambit v4.4.0 > (load "test-random-reals") "/home/lucier/programs/gambc-v4_4_0-devel/test-random-reals.o13" > (define a (time (make-f64vector 1000000))) (time (make-f64vector 1000000)) 7 ms real time 4 ms cpu time (0 user, 4 system) 1 collection accounting for 1 ms real time (0 user, 0 system) 8000048 bytes allocated 1984 minor faults no major faults > (define a (time (make-random-f64vector 1000000))) (time (make-random-f64vector 1000000)) 162 ms real time 160 ms cpu time (144 user, 16 system) 2 collections accounting for 1 ms real time (0 user, 0 system) 40000048 bytes allocated 4981 minor faults no major faults and with the changes I get frying-pan:~/programs/gambc-v4_4_0-devel> gsi/gsi Gambit v4.4.0 > (load "test-random-reals") "/home/lucier/programs/gambc-v4_4_0-devel/test-random-reals.o13" > (define a (time (make-f64vector 1000000))) (time (make-f64vector 1000000)) 6 ms real time 4 ms cpu time (0 user, 4 system) 1 collection accounting for 0 ms real time (0 user, 0 system) 8000048 bytes allocated 1982 minor faults no major faults > (define a (time (make-random-f64vector 1000000))) (time (make-random-f64vector 1000000)) 132 ms real time 132 ms cpu time (120 user, 12 system) 2 collections accounting for 1 ms real time (0 user, 0 system) 40000048 bytes allocated 4981 minor faults no major faults > (define a (time (random-f64vector 1000000))) (time (random-f64vector 1000000)) 73 ms real time 72 ms cpu time (64 user, 8 system) no collections 8000048 bytes allocated 1954 minor faults no major faults

2 3

IFL 2009: Call for Papers
by Matthew Flatt 15 Jan '09

15 Jan '09

Call for Papers IFL 2009 Seton Hall University SOUTH ORANGE, NJ, USA http://tltc.shu.edu/blogs/projects/IFL2009/ The 21st IFL symposium, IFL 2009, will be held for the first time in the USA. The hosting institution is Seton Hall University in South Orange, NJ, USA and the symposium dates are September 23-25, 2009. It is our goal to make IFL a regular event held in the USA. The goal of the IFL symposia is to bring together researchers actively engaged in the implementation and application of functional and function-based programming languages. IFL 2009 will be a venue for researchers to present and discuss new ideas and concepts, work in progress, and publication-ripe results related to the implementation and application of functional languages and function-based programming. Following the IFL tradition, IFL 2009 will use a post-symposium review process to produce a formal proceedings which we expect to be published by Springer in the Lecture Notes in Computer Science series. All participants in IFL 2009 are invited to submit either a draft paper or and extended abstract describing work to be presented at the symposium. These submissions will be screened by the program committee chair to make sure they are within the scope of IFL and will appear in the draft proceedings distributed at the symposium. Submissions appearing in the draft proceedings are not peer-reviewed publications. After the symposium, authors will be given the opportunity to incorporate the feedback from discussions at the symposium and will be invited to submit a revised full arcticle for the formal review process. These revised submissions will be reviewed by the program committee using prevailing academic standards to select the best articles that will appear in the formal proceedings. TOPICS IFL welcomes submissions describing practical and theoretical as well as submissions describing applications and tools. If you are not sure if your work is appropriate for IFL 2009, please contact the PC chair at ifl2009(a)shu.edu. Topics of interest include, but are not limited to: language concepts type checking contracts compilation techniques staged compilation runtime function specialization runtime code generation partial evaluation (abstract) interpretation generic programming techniques automatic program generation array processing concurrent/parallel programming concurrent/parallel program execution functional programming and embedded systems functional programming and web applications functional programming and security novel memory management techniques runtime profiling and performance measurements debugging and tracing virtual/abstract machine architectures validation and verification of functional programs tools and programming techniques PAPER SUBMISSIONS Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English, conform to the Springer-Verlag LNCS series format and not exceed 16 pages. The draft proceedings will appear as a technical report of the Department of Mathematics and Computer Science of Seton Hall University. IMPORTANT DATES Registration deadline August 15, 2009 Presentation submission deadline August 15, 2009 IFL 2009 Symposium September 23-25, 2009 Submission for review process deadline November 1, 2009 Notification Accept/Reject December 22, 2009 Camera ready version January 15, 2010 PROGRAM COMMITTEE Peter Achten University of Nijmegen, The Netherlands Jost Berthold Philipps-Universität Marburg, Germany Andrew Butterfield University of Dublin, Ireland Robby Findler Northwestern University, USA Kathleen Fisher AT&T Research, USA Cormac Flanagan University of California at Santa Cruz, USA Matthew Flatt University of Utah, USA Matthew Fluet Toyota Technological Institute at Chicago, USA Daniel Friedman Indiana University, USA Andy Gill University of Kansas, USA Clemens Grelck University of Amsterdam/Hertfordshire, The Netherlands/UK Jurriaan Hage Utrecht University, The Netherlands Ralf Hinze Oxford University, UK Paul Hudak Yale University, USA John Hughes Chalmers University of Technology, Sweden Patricia Johann University of Strathclyde, UK Yukiyoshi Kameyama University of Tsukuba, Japan Marco T. Morazán (Chair) Seton Hall University, USA Rex Page University of Oklahoma, USA Fernando Rubio Universidad Complutense de Madrid, Spain Sven-Bodo Scholz University of Hertfordshire, UK Manuel Serrano INRIA Sophia-Antipolis, France Chung-chieh Shan Rutgers University, USA David Walker Princeton University, USA Viktória Zsók Eötvös Loránd University, Hungary PETER LANDIN PRIZE The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored article is selected by the program committee based on the submissions received for the formal review process. The prize carries a cash award equivalent to 150 euros.

1 0

Scheme in the service of evil---Interview with an Adware Author
by Bradley Lucier 14 Jan '09

14 Jan '09

The largest Scheme deployment ever, over 4 million machines ... Brad http://philosecurity.org/2009/01/12/interview-with-an-adware-author

2 1

A Tour of Scheme in Gambit
by Mikael More 10 Jan '09

10 Jan '09

Published A Tour of Scheme in Gambit, that introduces people with experiences in general programming languages to Scheme in general and Gambit in particular. Uploaded under the Tutorials section of http://dynamo.iro.umontreal.ca/~gambit/wiki/index.php/Documentation . Feedback is welcome. Mikael

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Gambit-list Janvier 2009