- Grace-interest - lists.cecs.pdx.edu

ECOOP 2014: Call for Participation
by Tobias Wrigstad 10 Jun '14

10 Jun '14

(*Apologies for multiple copies*) CALL for PARTICIPATION ** ECOOP - European Conference on Object-Oriented Programming ** ---------------------------------------------------------------- Uppsala, Sweden July 28th -- August 1st, 2014 http://ecoop14.it.uu.se/ ---------------------------------------------------------------- EARLY REGISTRATION DEADLINE Saturday 28th June 2014 http://ecoop14.it.uu.se/registration.php INVITED SPEAKERS Luca Cardelli (Microsoft Research Cambridge) William Cook (University of Texas at Austin) Robert France (Colorado State University) Tudor Gîrba Erik Meijer (Applied Duality Inc.) The European Conference on Object-Oriented Programming (ECOOP) is the premier international conference covering all areas of object technology and related software development technologies. AFFILIATED EVENTS & WORKSHOPS ECOOP Summer School with 13 great speakers [http://ecoop14.it.uu.se/programme/ecoop-school.php] UPMARC Summer School with 5 great speakers [http://upmarc.se/events/SS2014] ECOOP PhD Symposium [http://ecoop14.it.uu.se/calls/doctoral-symposium.php] COP -- Context Oriented Programming [http://prg.is.titech.ac.jp/events/cop14/] FTfJP -- Formal Techniques for Java-Like Programs [http://ecs.victoria.ac.nz/Events/FTfJP2014/] ICOOOLPS -- Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems [http://soft-dev.org/events/icooolps14/] IWACO -- International Workshop on Aliasing, Capabilities, and Ownership [http://www.ownership-types.org/iwaco14/] JSTools -- Tools for JavaScript Analysis [http://www.csl.cs.uni-saarland.de/jstools/2014/] PLAS -- Programming Language and Analysis for Security [http://researcher.watson.ibm.com/researcher/view_project.php?id=5237] PLE -- Programming Language Evolution [http://www.cl.cam.ac.uk/research/cprg/ple14/] Scala -- Fifth annual Scala Workshop [http://lampwww.epfl.ch/~hmiller/scala2014/] ACCEPTED PAPERS - State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript Objects Shiyi Wei and Barbara G. Ryder - Self-Inferencing Reflection Resolution for Java Yue Li, Tian Tan, Yulei Sui and Jingling Xue - Finding Reference-Counting Errors in Python/C Programs with Affine Analysis Siliang Li and Gang Tan - An Evaluation of Call Graph Construction Algorithms for Scala Karim Ali, Marianna Rapoport, Ondřej Lhoták, Julian Dolby and Frank Tip - Safely Composable Type-Specific Languages Cyrus Omar, Darya Kurilova, Ligia Nistor, Benjamin Chung, Alex Potanin and Jonathan Aldrich - Graceful Dialects Michael Homer, Timothy Jones, James Noble, Kim B. Bruce and Andrew P. Black - Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol Programming Joshua Sunshine, James D. Berbsleb and Jonathan Aldrich - Reusable Concurrent Data Types Vincent Gramoli and Rachid Guerraoui - TaDA: A Logic for Time and Data Abstraction Pedro Da Rocha Pinto, Thomas Dinsdale-Young and Philippa Gardner - Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple Cores Kyu Hyung Lee, Dohyeong Kim and Xiangyu Zhang - Understanding TypeScript Gavin Bierman, Martin Abadi and Mads Torgersen - Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages Davide Ancona and Andrea Corradi - Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution Heather Miller, Philipp Haller and Martin Odersky - Rely-Guarantee Protocols Filipe Militão, Jonathan Aldrich and Luís Caires - Stream Processing with a Spreadsheet Mandana Vaziri, Olivier Tardieu, Rodric Rabbah, Philippe Suter and Martin Hirzel - Implicit Staging of EDSL Expressions: A Bridge Between Shallow and Deep Embedding Maximilian Scherr and Shigeru Chiba - Babelsberg/JS - A Browser-based Implementation of an Object Constraint Language Tim Felgentreff, Alan Borning, Jens Lincke, Robert Hirschfeld, Yoshiki Ohshima, Bert Freudenberg and Robert Krahn - Automated Multi-Language Artifact Binding and Refactoring between Java and DSLs used by Java Frameworks Philip Mayer and Andreas Schroeder - Retargetting Legacy Browser Extensions to Modern Extension Frameworks Rezwana Karim, Mohan Dhawan and Vinod Ganapathy - Capture-Avoiding and Hygienic Program Transformations Sebastian Erdweg, Tijs Van Der Storm and Yi Dai - Converting Parallel Code from Low-Level Abstractions to Higher-Level Abstractions Semih Okur, Cansu Erdogan and Danny Dig - Portable and Efficient Run-time Monitoring of JavaScript Applications using Virtual Machine Layering Erick Lavoie, Bruno Dufour and Marc Feeley - An Executable Formal Semantics of PHP Daniele Filaretti and Sergio Maffeis - Identifying Mandatory Code for Framework Use via a Single Application Trace Naoya Nitta, Izuru Kume and Yasuhiro Takemura - Cooperative Scheduling of Parallel Tasks with General Synchronization Patterns Shams Imam and Vivek Sarkar - MiCA: A Compositional Architecture for Gossip Protocols Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth Birman, Nate Foster and Robert Soulé - Semantics of (Resilient) X10 Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar and Olivier Tardieu PROGRAM COMMITTEE Richard Jones, University of Kent (UK) **PC Chair** Davide Ancona, DIBRIS, Università di Genova (Italy) Sven Apel, University of Passau (Germany) Walter Binder, University of Lugano (Switzerland) Steve Blackburn, Australian National University (Australia) Ana Cavalcanti, University of York (UK) Satish Chandra, Samsung Electronics (US) Dave Clarke, Katholieke Universiteit Leuven/Uppsala University (Belgium/Sweden) Wolfgang De Meuter, Vrije Universiteit Brussel (Belgium) Isil Dillig, Microsoft Research Cambridge (UK) Amer Diwan, Google (USA) Lieven Eeckhout, Ghent University (Belgium) Robby Findler, Northwestern University (USA) Irene Finocchi, Sapienza University of Rome (Italy) Christian Hammer, Saarland University (Germany) Laurie Hendren, McGill University (Canada) Atsushi Igarashi, Kyoto University (Japan) Tomas Kalibera, Purdue University (USA) Doug Lea, SUNY Oswego (USA) Yu David Liu, SUNY Binghamton (USA) Cristina Lopes, UC Irvine (USA) Ana Milanova, Rensselaer Polytechnic Institute (USA) Nick Mitchell, IBM Research (USA) Eliot Moss, University of Massachusetts (USA) Jens Palsberg, UCLA (USA) Matthew Parkinson, Microsoft Research (UK) Arnd Poetzsch-Heffter, University of Kaiserslautern (Germany) Dirk Riehle, Friedrich-Alexander-Universität Erlangen-Nürnberg (Germany) Yannis Smaragdakis, University of Athens (Greece) Arie van Deursen, Delft University of Technology (Netherlands) Hongseok Yang, University of Oxford (UK) EXTERNAL REVIEW COMMITTEE Vikram Adve, University of Illinois at Urbana-Champaign (USA) Jonathan Aldrich, Carnegie Mellon University (USA) Ioana Baldini, IBM Research (USA) Eric Bodden, TU Darmstadt (Germany) Sebastian Burckhardt, Microsoft Research (USA) Shigeru Chiba, University of Tokyo (Japan) Ferruccio Damiani, Università di Torino (Italy) Werner Dietl, University of Waterloo (Canada) Sophia Drossopolou, Imperial College London (UK) Erik Ernst, Aarhus Universitet (Denmark) Matthew Flatt, University of Utah (USA) Michael Franz, University of California, Irvine (USA) Kathryn E Gray, University of Cambridge (UK) Sam Guyer, Tufts University (USA) Matthias Hauswirth, University of Lugano (Switzerland) Einar Broch Johnsen, University of Oslo (Norway) Christian Kästner, Carnegie Mellon University (USA) Jörg Kienzle, McGill University (Canada) Ondrej Lhoták, University of Waterloo (Canada) Hidehiko Masuhara, Tokyo Institute of Technology (Japan) Romain Robbes, University of Chile (Chile) Sukyoung Ryu, KAIST (South Korea) Mooly Sagiv, Tel Aviv University (Israel) Ina Schaefer, TU Braunschweig (Germany) Friedrich Steimann, Fernuniversität in Hagen (Germany) Alexander J. Summers, ETHZ (Switzerland) Frank Tip, University of Waterloo (Canada) Laurence Tratt, Kings College London (UK) Greta Yorsh, Queen Mary University of London (UK) ORGANISATION COMMITTEE Organising Chair Tobias Wrigstad, Uppsala University Programme Chair Richard Jones, University of Kent Workshop Chair Nate Nystrom, University of Lugano Poster and Demo Chair Wolfgang Ahrendt, Chalmers University of Technology Artefact Evaluation Co-Chairs Camil Demetrescu, Sapienza University of Rome Erik Ernst, Aarhus University Publicity Chair Werner Dietl, University of Waterloo Student Volunteer Chair Jürgen Börstler, Blekinge Institute of Technology Summer School Co-Chairs Jan Vitek, Purdue University James Noble, Victoria University of Wellington Sponsor Co-Chairs Einar Broch Johnsen, University of Oslo Erik Ernst, Aarhus University Wine Chair Reiner Hähnle, Darmstadt University Local Organising Co-Chairs Johannes Borgström, Uppsala University Kostis Sagonas, Uppsala University Lars-Henrik Eriksson, Uppsala University Professional Conference Organiser Merja Immonen, Akademikonferens Local Student Aides Johan Östlund, Uppsala University Stephan Brandauer, Uppsala University Elias Castegren, Uppsala University Webmaster Stephan Brandauer, Uppsala University

1 0

News from Grace-land
by Andrew P. Black 20 Jun '12

20 Jun '12

A few news items to share with you. Last week, James Noble and Andrew Black were both at PLDI in Beijing, and gave a short Grace tutorial. We had some interesting discussions with the participants, which included both teachers and language designers, and are encouraged by the growing interest in Grace We also heard last week that the paper "Grace: the absence of (inessential) difficulty" that we had submitted to Onward! has been accepted. A copy of the submission is on the Gracelang web site. ( http://gracelang.org/documents/onward-draft2012.pdf ) Over the next month we will be revising the paper in line with the requests made by the referees, so if you have comments, suggestions, or hints on areas needing clarification, this would be an excellent time to send them to us. Finally, a reminder that a prototype implementation of Grace, called minigrace, is available (start at http://gracelang.org/applications/minigrace/ ). The compiler is written in Grace, and is complete enough to compile itself, so although there is much work that still needs to be done, we are making progress. A few students and professors in Wellington, Pomona and Portland are spending their winters and summers writing Grace code. If you just want to try out some simple scripts, minigrace will run in any javascript-enabled web browser: no download or installation is needed. Just point your browser at http://homepages.ecs.vuw.ac.nz/~mwh/minigrace/js/ Andrew

1 0

Grace @ ECOOP+PLDI; release of minigrace
by James Noble 10 Jun '12

10 Jun '12

Hi all Several Grace folks will be at ECOOP+PLDI in Beijing in this week. In particular: • Mon 11 June – Michael Homer will talk about Grace at STOP • Wed 13 June – James Noble will give a PLDI tutorial on Grace Andrew will be in Beijing for the PLDI half of the week, and James and Michael around for the whole week. If you’re interested in Grace, come to one of these talks, or we’d love to catch up with you some other time this week. In other news, we have (slowly) released "minigrace", an early prototype compiler for Grace, that handles most of the dynamically typed parts of the language, and is getting better on types & generics. Minigrace was built in Wellington by Michael Homer, with Tim Jones & Jan Larres joining in this year. minigrace is nowhere near production quality: but it does work - it is self-hosted on C, on JavaScript (accessible on a web page), and (temporarily) to Java. We have some projects starting to experiment with libraries and APIs, and to get a feeling for the language as a whole. details are here: http://gracelang.org/applications/minigrace/ if you're keen, there is yet another mailing list for details about the implementation cheers James

1 0

Grace @ SPLASH; New version of language spec out
by James Noble 21 Oct '11

21 Oct '11

Hi Grace Interest a quick email to remind you that we will be at SPLASH next week: - a Grace BOF on Monday night, probably starting with a quick overview as some people will want to go on to the F# BOF that starts half an hour later.. - a Grace design workshop on the Friday after the conference to talk over the design in detail. I've also made the latest version of the (still very rough) spec at http://gracelang.org/documents/index.html cheers Andrew, Kim, James,

1 0

Grace - collections & events
by James Noble 22 Sep '11

22 Sep '11

Hi Grace supporters a quick email about ongoing discussions & events. * There is an ongoing discussion on the Grace blog about syntax & support for collections - we're interested in finding out what people think about some options here: (http://gracelang.org/applications/2011/09/06/notations-for-collections/) * We're also interested in thoughts around generics and pattern matching - see the discussion from the ECOOP workshop: (http://gracelang.org/applications/2011/08/18/from-lancaster-to-portland/) * If you're planning to attend the SPLASH / OOPSLA conference later October in Portland, Oregon, we're planning Grace workshops on the evening of Monday 24th Oct & full day on Friday 28th. Let us know if you're thinking of coming to either workshop. (http://gracelang.org/applications/2011/08/24/203/) * Finally, if you're thinking of coming to the Grace workshop, or anything else at SPLASH / OOPSLA, the early registration deadline is tomorrow. (see http://splashcon.org/2011/) cheers James (& Kim & Andrew)

1 0

Grace BOFs & Design Workshops at SPLASH (OOPSLA)
by James Noble 24 Aug '11

24 Aug '11

Dear Grace Supporters We're now planning the next Grace workshop(s) in Portland Oregon in conjunction with the SPLASH conference. Based on the successful ECOOP workshops, at this stage we're thinking of holding: * a BOF on Monday Oct 24 in the evening -- after the Educators' Symposium, the Dynamic Languages' Symposium, PLOP, and the workshops (including Plateau & FOOL) which are on Sunday and Monday. All three of us will be there for a general report-back on the project to date. * a Design Workshop on Friday Oct 28th (the day after the conference) working over open questions in the design in detail (probably the module & type systems). This will be held at Portland State University, an easy tram ride from the conference venue & hotels. We expect some people would stay only for the morning, others til mid-afternoon. We'd love to see as many of you as possible at the BOF and at design workshop. If you're able to come, please let us know by emailing James, kjx(a)ecs.vuw.ac.nz, so we have some idea who's coming. Alterantively, if there is are reasons why the proposed dates don't work --- but other dates might --- again let us know! Andrew & James will be around for all SPLASH, so we'll also be able to catch up then. We'll probably arrange to go out for dinner on the Thursday evening after the conference (before the Friday workshop), and we can probably organise another BOF during the conference if many people can attend neither Monday nor Friday. We look forward to catching up with everyone at SPLASH/OOPSLA this year, and hope may of you will be able to come to the BOF and the workshop. cheers Andrew & Kim & James

1 0

Grace @ ECOOP today
by Kim Bruce 26 Jul '11

26 Jul '11

Hi, We have arranged for a room for a Grace presentation/discussion at ECOOP tonight at 5:15 p.m. Please come to George Fox lecture theater 5/6 for the presentation. We will go out to dinner somewhere after the session (suggestions on where to go are welcome). If you would like to learn more about Grace but cannot come to that session, please contact me or James at the meetings this week and we will make time to meet with you. We are anxious for feedback on our language design, so please come if you can. Kim

1 0

Grace Workshop in Lancaster, Saturday 30 July (& BOF earlier??)
by Kim Bruce 19 Jul '11

19 Jul '11

Dear Grace Supporters The next Grace workshop will happen next week - on Saturday 30th July, after ECOOP in Lancaster. These workshops are to report progress on the design, to discuss challenges, and hopefully to involve others in the project. At this workshop, we also hope to show some very early prototypes that we are building to test the specification. So, if you’re interested, and are able to come to this workshop, please let us know by emailing James, kjx(a)ecs.vuw.ac.nz, so we have some idea who’s coming. If you can't stick around for Saturday, but will be at ECOOP, we are also considering setting up a BOF group for Grace. If there is interest then perhaps we can meet sometime Tuesday evening after the workshops (time to be arranged), please e-mail us and let us know and we will try to arrange something as we hope for a lot of feedback to our design. The final workshop for the year will be held in Portland, in association with the SPLASH/OOPSLA conference, probably the weekend before SPLASH or the Monday evening before SPLASH. We hope some - many! - of you will be able to come to one or both of these workshops. cheers Kim & James & Andrew

1 0

Grace Workshop in Lancaster, Saturday 30 July
by James Noble 06 Jul '11

06 Jul '11

Dear Grace Supporters the next Grace workshop will happen at the end of the month - on Saturday 30th July, after ECOOP in Lancaster. These workshops are to report progress on the design, to discuss challenges, and hopefully to involve others in the project. At this workshop, we also hope to show some very early prototypes that we are building to test the specification. So, if you’re interested, and are able to come to this workshop, please let us know by emailing James, kjx(a)ecs.vuw.ac.nz, so we have some idea who’s coming. The final workshop for the year will be held in Portland, they day after the SPLASH/OOPSLA conference. We hope some - many! - of you will be able to come to one or both of these workshops. cheers James (& Andrew & Kim)

1 0

Grace Workshop — Hotel Screw-up
by Andrew P. Black 04 Jun '11

04 Jun '11

It turns out that I have booked the Grace Workshop at the WRONG Sheraton Hotel. It is not at the Sheraton downtown, where I'm staying, but at: Sheraton San Jose Hotel - Milpitas 1801 Barber Lane, Milpitas, CA 95035, United States Kim Bruce will wait in the hotel lobby until around 9:45 and be available to drive people to the Milpitas Hotel. Call him at 909-801-4708, particularly if you need a ride. Andrew 503 803 1669 (Cell)

1 0