Vm-dev August 2019

vm-dev@lists.squeakfoundation.org

20 participants
77 discussions

VM Maker: VMMaker.oscog-nice.2538.mcz
by commits＠source.squeak.org 21 Aug '19

21 Aug '19

Nicolas Cellier uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-nice.2538.mcz ==================== Summary ==================== Name: VMMaker.oscog-nice.2538 Author: nice Time: 21 August 2019, 3:11:12.709148 am UUID: 17ab23da-439b-4e4d-a5e2-67db83a15cb4 Ancestors: VMMaker.oscog-nice.2537 Partial fix for bug https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/417 it remains to fix SmallInteger op: BoxedFloat64 Note that SmallInteger op: SmallFloat64 is not covered by jitted code, it should. We should also improve the non jitted primitives with same trick, and generate this kind of comparison: if ( (double) si == sf ) return si <= (int64) sf; else return (double) si <= sf; =============== Diff against VMMaker.oscog-nice.2537 =============== Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatEqual (in category 'primitive generators') ----- genPrimitiveSmallFloatEqual <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPEqual: orIntegerComparison: JumpZero invert: false! - ^self genSmallFloatComparison: #JumpFPEqual: invert: false! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatGreaterOrEqual (in category 'primitive generators') ----- genPrimitiveSmallFloatGreaterOrEqual <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPGreaterOrEqual: orIntegerComparison: JumpGreaterOrEqual invert: false! - ^self genSmallFloatComparison: #JumpFPGreaterOrEqual: invert: false! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatGreaterThan (in category 'primitive generators') ----- genPrimitiveSmallFloatGreaterThan <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPGreater: orIntegerComparison: JumpGreater invert: false! - ^self genSmallFloatComparison: #JumpFPGreater: invert: false! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatLessOrEqual (in category 'primitive generators') ----- genPrimitiveSmallFloatLessOrEqual <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPGreaterOrEqual: orIntegerComparison: JumpLessOrEqual invert: true! - ^self genSmallFloatComparison: #JumpFPGreaterOrEqual: invert: true! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatLessThan (in category 'primitive generators') ----- genPrimitiveSmallFloatLessThan <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPGreater: orIntegerComparison: JumpLess invert: true! - ^self genSmallFloatComparison: #JumpFPGreater: invert: true! Item was changed: ----- Method: CogObjectRepresentation>>genPrimitiveSmallFloatNotEqual (in category 'primitive generators') ----- genPrimitiveSmallFloatNotEqual <option: #Spur64BitMemoryManager> + ^self genSmallFloatComparison: #JumpFPNotEqual: orIntegerComparison: JumpNonZero invert: false! - ^self genSmallFloatComparison: #JumpFPNotEqual: invert: false! Item was removed: - ----- Method: CogObjectRepresentationFor64BitSpur>>genDoubleComparison:invert: (in category 'primitive generators') ----- - genDoubleComparison: jumpOpcodeGenerator invert: invertComparison - <inline: true> - ^self genFloatComparison: jumpOpcodeGenerator invert: invertComparison boxed: true! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genDoubleComparison:orIntegerComparison:invert: (in category 'primitive generators') ----- + genDoubleComparison: jumpOpcodeGenerator orIntegerComparison: jumpOpcode invert: invertComparison + <inline: true> + ^self genFloatComparison: jumpOpcodeGenerator orIntegerComparison: jumpOpcode invert: invertComparison boxed: true! Item was removed: - ----- Method: CogObjectRepresentationFor64BitSpur>>genFloatComparison:invert:boxed: (in category 'primitive generators') ----- - genFloatComparison: jumpOpcodeGenerator invert: invertComparison boxed: rcvrBoxed - <var: #jumpOpcodeGenerator declareC: 'AbstractInstruction *(*jumpOpcodeGenerator)(void *)'> - <inline: false> - | jumpImmediate jumpNotSmallFloat jumpNotSmallInteger jumpNotBoxedFloat jumpCond compare | - <var: #jumpNotSmallInteger type: #'AbstractInstruction *'> - <var: #jumpNotBoxedFloat type: #'AbstractInstruction *'> - <var: #jumpNotSmallFloat type: #'AbstractInstruction *'> - <var: #jumpImmediate type: #'AbstractInstruction *'> - <var: #jumpCond type: #'AbstractInstruction *'> - cogit genLoadArgAtDepth: 0 into: Arg0Reg. - rcvrBoxed - ifTrue: [self genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0] - ifFalse: [self genGetSmallFloatValueOf: ReceiverResultReg scratch: TempReg into: DPFPReg0]. - jumpNotSmallFloat := self genJumpNotSmallFloat: Arg0Reg. - self genGetSmallFloatValueOf: Arg0Reg scratch: TempReg into: DPFPReg1. - compare := invertComparison "May need to invert for NaNs" - ifTrue: [cogit CmpRd: DPFPReg0 Rd: DPFPReg1] - ifFalse: [cogit CmpRd: DPFPReg1 Rd: DPFPReg0]. - jumpCond := cogit perform: jumpOpcodeGenerator with: 0. "FP jumps are a little weird" - cogit genMoveFalseR: ReceiverResultReg. - cogit genPrimReturn. - jumpCond jmpTarget: (cogit genMoveTrueR: ReceiverResultReg). - cogit genPrimReturn. - jumpNotSmallFloat jmpTarget: cogit Label. - jumpNotSmallInteger := self genJumpNotSmallInteger: Arg0Reg. - self genConvertSmallIntegerToIntegerInReg: Arg0Reg. - cogit ConvertR: Arg0Reg Rd: DPFPReg1. - cogit Jump: compare. - jumpNotSmallInteger jmpTarget: cogit Label. - jumpImmediate := self genJumpImmediate: Arg0Reg. - self genGetCompactClassIndexNonImmOf: Arg0Reg into: SendNumArgsReg. - self genCmpClassFloatCompactIndexR: SendNumArgsReg. - jumpNotBoxedFloat := cogit JumpNonZero: 0. - self genGetDoubleValueOf: Arg0Reg into: DPFPReg1. - cogit Jump: compare. - jumpImmediate jmpTarget: - (jumpNotBoxedFloat jmpTarget: cogit Label). - ^CompletePrimitive! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genFloatComparison:orIntegerComparison:invert:boxed: (in category 'primitive generators') ----- + genFloatComparison: jumpOpcodeGenerator orIntegerComparison: jumpOpcode invert: invertComparison boxed: rcvrBoxed + <var: #jumpOpcodeGenerator declareC: 'AbstractInstruction *(*jumpOpcodeGenerator)(void *)'> + <inline: false> + | jumpImmediate jumpNotSmallFloat jumpNotSmallInteger jumpNotBoxedFloat jumpCond compareFloat jumpEqual jumpTrue returnTrue | + <var: #jumpNotSmallInteger type: #'AbstractInstruction *'> + <var: #jumpNotBoxedFloat type: #'AbstractInstruction *'> + <var: #jumpNotSmallFloat type: #'AbstractInstruction *'> + <var: #jumpImmediate type: #'AbstractInstruction *'> + <var: #jumpCond type: #'AbstractInstruction *'> + cogit genLoadArgAtDepth: 0 into: Arg0Reg. + rcvrBoxed + ifTrue: [self genGetDoubleValueOf: ReceiverResultReg into: DPFPReg0] + ifFalse: [self genGetSmallFloatValueOf: ReceiverResultReg scratch: TempReg into: DPFPReg0]. + jumpNotSmallFloat := self genJumpNotSmallFloat: Arg0Reg. + self genGetSmallFloatValueOf: Arg0Reg scratch: TempReg into: DPFPReg1. + compareFloat := invertComparison "May need to invert for NaNs" + ifTrue: [cogit CmpRd: DPFPReg0 Rd: DPFPReg1] + ifFalse: [cogit CmpRd: DPFPReg1 Rd: DPFPReg0]. + jumpCond := cogit perform: jumpOpcodeGenerator with: 0. "FP jumps are a little weird" + cogit genMoveFalseR: ReceiverResultReg. + cogit genPrimReturn. + jumpCond jmpTarget: (returnTrue := cogit genMoveTrueR: ReceiverResultReg). + cogit genPrimReturn. + + jumpNotSmallFloat jmpTarget: cogit Label. + jumpNotSmallInteger := self genJumpNotSmallInteger: Arg0Reg. + self genConvertSmallIntegerToIntegerInReg: Arg0Reg. + cogit ConvertR: Arg0Reg Rd: DPFPReg1. + cogit CmpRd: DPFPReg0 Rd: DPFPReg1. + "If floatRcvr == (double) intArg then use compareInt(intArg,(int64) floatRcvr)" + "else use compareFloat(floatRcvr,(double) intArg)" + jumpEqual := cogit perform: #JumpFPEqual: with: 0. + cogit Jump: compareFloat. + jumpEqual jmpTarget: (cogit ConvertRd: DPFPReg0 R: ReceiverResultReg). + cogit CmpR: Arg0Reg R: ReceiverResultReg. "N.B. FLAGS := RRReg - Arg0Reg" + jumpTrue := cogit genConditionalBranch: jumpOpcode operand: 0. + cogit genMoveFalseR: ReceiverResultReg. + cogit genPrimReturn. + jumpTrue jmpTarget: returnTrue. + + jumpNotSmallInteger jmpTarget: cogit Label. + jumpImmediate := self genJumpImmediate: Arg0Reg. + self genGetCompactClassIndexNonImmOf: Arg0Reg into: SendNumArgsReg. + self genCmpClassFloatCompactIndexR: SendNumArgsReg. + jumpNotBoxedFloat := cogit JumpNonZero: 0. + self genGetDoubleValueOf: Arg0Reg into: DPFPReg1. + cogit Jump: compareFloat. + jumpImmediate jmpTarget: + (jumpNotBoxedFloat jmpTarget: cogit Label). + ^CompletePrimitive! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatEqual (in category 'primitive generators') ----- + genPrimitiveFloatEqual + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPEqual: orIntegerComparison: JumpZero invert: false! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatGreaterOrEqual (in category 'primitive generators') ----- + genPrimitiveFloatGreaterOrEqual + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPGreaterOrEqual: orIntegerComparison: JumpGreaterOrEqual invert: false! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatGreaterThan (in category 'primitive generators') ----- + genPrimitiveFloatGreaterThan + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPGreater: orIntegerComparison: JumpGreater invert: false! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatLessOrEqual (in category 'primitive generators') ----- + genPrimitiveFloatLessOrEqual + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPGreaterOrEqual: orIntegerComparison: JumpLessOrEqual invert: true! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatLessThan (in category 'primitive generators') ----- + genPrimitiveFloatLessThan + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPGreater: orIntegerComparison: JumpLess invert: true! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genPrimitiveFloatNotEqual (in category 'primitive generators') ----- + genPrimitiveFloatNotEqual + <option: #DPFPReg0> + ^self genDoubleComparison: #JumpFPNotEqual: orIntegerComparison: JumpNonZero invert: false! Item was removed: - ----- Method: CogObjectRepresentationFor64BitSpur>>genSmallFloatComparison:invert: (in category 'primitive generators') ----- - genSmallFloatComparison: jumpOpcodeGenerator invert: invertComparison - <inline: true> - ^self genFloatComparison: jumpOpcodeGenerator invert: invertComparison boxed: false! Item was added: + ----- Method: CogObjectRepresentationFor64BitSpur>>genSmallFloatComparison:orIntegerComparison:invert: (in category 'primitive generators') ----- + genSmallFloatComparison: jumpOpcodeGenerator orIntegerComparison: jumpOpcode invert: invertComparison + <inline: true> + ^self genFloatComparison: jumpOpcodeGenerator orIntegerComparison: jumpOpcode invert: invertComparison boxed: false!

1 0

Errored: OpenSmalltalk/opensmalltalk-vm#1787 (Cog - da2e958)
by Travis CI 21 Aug '19

21 Aug '19

Build Update for OpenSmalltalk/opensmalltalk-vm ------------------------------------- Build: #1787 Status: Errored Duration: 1 hr, 36 mins, and 28 secs Commit: da2e958 (Cog) Author: Nicolas Cellier Message: Fix issue #415 `SmallInteger minVal / -1` was not correctly jitted Fix by using Spur64 code from VMMaker.oscog-nice.2537 uuid: f5d48af0-8ca1-a448-9fcd-c05c9ba540e4 Note that the VMMaker code will have to be merged with VMMaker.oscog-eem.2537 uuid: 0518f049-7c3c-4dfa-8e2d-04e2cf2eee40 This is not an emergency since both commits do not change same generated files View the changeset: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/38bfced2e9b4...da… View the full build log and details: https://travis-ci.org/OpenSmalltalk/opensmalltalk-vm/builds/574570731?utm_m… -- You can unsubscribe from build emails from the OpenSmalltalk/opensmalltalk-vm repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=8795279&ut…. Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notificati…. Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

1 0

[OpenSmalltalk/opensmalltalk-vm] Creation script fixes (#412)
by aletg 20 Aug '19

20 Aug '19

Two little fixes for spur-vmmaker image creation scripts. You can view, comment on, or merge this pull request online at: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/412 -- Commit Summary -- * Added missing CPU variable initialization * Fixed bad script call -- File Changes -- M image/buildspurtrunkreader64image.sh (2) M image/envvars.sh (1) -- Patch Links -- https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/412.patch https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/412.diff -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/pull/412

2 2

[OpenSmalltalk/opensmalltalk-vm] 4b38b5: Added missing CPU variable initialization
by Nicolas Cellier 20 Aug '19

20 Aug '19

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: 4b38b529d96694d7b44c71a51ad814d4aa9e7a2c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/4b38b529d96694d7b4… Author: agrosso <agrosso(a)dc.uba.ar> Date: 2019-07-14 (Sun, 14 Jul 2019) Changed paths: M image/envvars.sh Log Message: ----------- Added missing CPU variable initialization The CPU variable wasn't initialized in /usr/bin/uname case. Commit: 860fde5497c0d27c160939a15ef2d1d94433472c https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/860fde5497c0d27c16… Author: agrosso <agrosso(a)dc.uba.ar> Date: 2019-07-14 (Sun, 14 Jul 2019) Changed paths: M image/buildspurtrunkreader64image.sh Log Message: ----------- Fixed bad script call Commit: 80d6091d1e73599ca2e6feedd99642deb7bd00bc https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/80d6091d1e73599ca2… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2019-08-20 (Tue, 20 Aug 2019) Changed paths: M image/buildspurtrunkreader64image.sh M image/envvars.sh Log Message: ----------- Merge pull request #412 from aletg/Creation-Script-Fixes [ci skip] Creation script fixes Compare: https://github.com/OpenSmalltalk/opensmalltalk-vm/compare/da2e958e13a7...80…

1 0

[OpenSmalltalk/opensmalltalk-vm] da2e95: Fix issue #415
by Nicolas Cellier 20 Aug '19

20 Aug '19

Branch: refs/heads/Cog Home: https://github.com/OpenSmalltalk/opensmalltalk-vm Commit: da2e958e13a75f0d6d51958cb5e8391ae75eb271 https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/da2e958e13a75f0d6d… Author: Nicolas Cellier <nicolas.cellier.aka.nice(a)gmail.com> Date: 2019-08-20 (Tue, 20 Aug 2019) Changed paths: M nsspur64src/vm/cogitX64SysV.c M nsspur64src/vm/cogitX64WIN64.c M spur64src/vm/cogitX64SysV.c M spur64src/vm/cogitX64WIN64.c M spurlowcode64src/vm/cogitX64SysV.c M spurlowcode64src/vm/cogitX64WIN64.c M spursista64src/vm/cogitX64SysV.c M spursista64src/vm/cogitX64WIN64.c Log Message: ----------- Fix issue #415 `SmallInteger minVal / -1` was not correctly jitted Fix by using Spur64 code from VMMaker.oscog-nice.2537 uuid: f5d48af0-8ca1-a448-9fcd-c05c9ba540e4 Note that the VMMaker code will have to be merged with VMMaker.oscog-eem.2537 uuid: 0518f049-7c3c-4dfa-8e2d-04e2cf2eee40 This is not an emergency since both commits do not change same generated files

1 0

Re: [Vm-dev] [OpenSmalltalk/opensmalltalk-vm] CogVm source as per VMMaker.oscog-eem.2537 (478f654)
by Nicolas Cellier 20 Aug '19

20 Aug '19

Hi Eliot, was this version VMMaker.oscog-eem.2537 published? I did not see it at https://source.squeak.org/VMMaker/ -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/commit/478f654645a5500b64…

1 0

VM Maker: VMMaker.oscog-nice.2537.mcz
by commits＠source.squeak.org 20 Aug '19

20 Aug '19

Nicolas Cellier uploaded a new version of VMMaker to project VM Maker: http://source.squeak.org/VMMaker/VMMaker.oscog-nice.2537.mcz ==================== Summary ==================== Name: VMMaker.oscog-nice.2537 Author: nice Time: 20 August 2019, 7:00:27.878544 pm UUID: f5d48af0-8ca1-a448-9fcd-c05c9ba540e4 Ancestors: VMMaker.oscog-eem.2536 Fix issue #415 incorrect Spur64 genJumpNotSmallIntegerValue:scratch: bugs SmallInteger minVal / -1 https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/415 =============== Diff against VMMaker.oscog-eem.2536 =============== Item was changed: ----- Method: CogObjectRepresentationFor64BitSpur>>genJumpNotSmallIntegerValue:scratch: (in category 'compile abstract instructions') ----- genJumpNotSmallIntegerValue: aRegister scratch: scratchReg "Generate a test for aRegister containing an integer value outside the SmallInteger range, and a jump if so, answering the jump. c.f. Spur64BitMemoryManager>>isIntegerValue:" <returnTypeC: #'AbstractInstruction *'> ^cogit MoveR: aRegister R: scratchReg; + ArithmeticShiftRightCq: 63 - objectMemory numTagBits R: scratchReg; - ArithmeticShiftRightCq: 64 - objectMemory numTagBits R: scratchReg; AddCq: 1 R: scratchReg; AndCq: 1 << (objectMemory numTagBits + 1) - 1 R: scratchReg; "sign and top numTags bits must be the same" CmpCq: 1 R: scratchReg; JumpGreater: 0!

1 0

[OpenSmalltalk/opensmalltalk-vm] Support for OpenBSD (#413)
by asarch 15 Aug '19

15 Aug '19

Is it possible to build OpenSmalltalk VM for OpenBSD? If yes, how? If no, is there any other solution available? OpenBSD ports for 6.4 for AMD64 has only the 3.10-1 version available. -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/OpenSmalltalk/opensmalltalk-vm/issues/413

9 25

Cog will require changes to JIT on the next version of Mac
by Ryan Macnak 14 Aug '19

14 Aug '19

Cog will need to be signed with the JIT entitlement and to pass MAP_JIT when it allocates executable memory. https://developer.apple.com/documentation/bundleresources/entitlements/com_…

5 5

Call for Papers, The Programming Journal, Volume 4, Issue 3
by Fabio Niephaus 08 Aug '19

08 Aug '19

======================================================================== The Programming Journal The Art, Science, and Engineering of Programming Call for Papers for Volume 4, Issue 3 http://programming-journal.org/cfp/ Follow us on Twitter: @programmingconf ======================================================================== The Art, Science, and Engineering of Programming was created with the goal of placing the wonderful art of programming on the map of scholarly works. Many academic journals and conferences exist that publish research related to programming, starting with programming languages, software engineering, and expanding to the whole Computer Science field. Yet, many of us feel that, as the field of Computer Science expanded, programming, in itself, has been neglected to a secondary role not worthy of scholarly attention. That is a serious gap, as much of the progress in Computer Science lies on the basis of computer programs, the people who write them, and the concepts and tools available to them to express computational tasks. The Art, Science, and Engineering of Programming aims at closing this gap by focusing primarily on programming: the art itself (programming styles, pearls, models, languages), the emerging science of understanding what works and what doesn’t work in general and in specific contexts, as well as more established engineering and mathematical perspectives. We solicit papers describing work from one of the following perspectives: Art: knowledge and technical skills acquired through practice and personal experiences. Examples include libraries, frameworks, languages, APIs, programming models and styles, programming pearls, and essays about programming. Science (Theoretical): knowledge and technical skills acquired through mathematical formalisms. Examples include formal programming models and proofs. Science (Empirical): knowledge and technical skills acquired through experiments and systematic observations. Examples include user studies and programming-related data mining. Engineering: knowledge and technical skills acquired through designing and building large systems and through calculated application of principles in building those systems. Examples include measurements of artifacts’ properties, development processes and tools, and quality assurance methods. Independent of the type of work, the journal accepts submissions covering several areas of expertise, including but not limited to: - General-purpose programming - Data mining and machine learning programming, and for programming - Database programming - Distributed systems programming - Graphics and GPU programming - Interpreters, virtual machines, and compilers - Metaprogramming and reflection - Model-based development - Modularity and separation of concerns - Parallel and multi-core programming - Program verification - Programming education - Programming environments - Security programming - Social coding - Testing and debugging - User interface programming - Visual and live programming All details, including the selection process are described on http://programming-journal.org/cfp/ Details on the submission processed are available at http://programming-journal.org/submission/ Authors of accepted papers will be invited to present at the <Programming>’20 conference in Porto, Portugal from March 23-26: https://2020.programming-conference.org/ ## Upcoming Deadlines We solicit submissions for the following upcoming deadlines: Submission: October 1 First notification: December 1 Revised submission: January 1 Final notification: January 7 Camera-ready: January 15 ## Standing Review Committee Volume 4 Christophe Scholliers, Ghent University Coen De Roover, Vrije Universiteit Brussel Craig Anslow, Victoria University of Wellington, New Zealand Didier Verna, EPITA / LRDE, France Diego Garbervetsky, University of Buenos Aires Edd Barrett, King's College London Erik Ernst, Google Felienne Hermans, Leiden University Francisco Sant'Anna, Rio de Janeiro State University Friedrich Steimann, University of Hagen Gordana Rakic, University of Novi Sad Guido Salvaneschi, TU Darmstadt Hidehiko Masuhara, Tokyo Institute of Technology Jeremy Gibbons, University of Oxford Jonathan Edwards, US Jun Kato, AIST, Japan Luke Church, University of Cambridge Matthew Flatt, University of Utah Michael L. Van De Vanter, Cal Poly San Luis Obispo Nicolás Cardozo, Universidad de los Andes, Colombia Stephen Kell, University of Kent ## Editors Stefan Marr (Editor Volume 4), University of Kent Cristina V. Lopes (Editor-in-Chief), University of California, Irvine

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

Vm-dev August 2019