---[About Paper]:

Ridge's paper[3] covers his GLR-related work involving a more performant version of the P3 combinator parsing algorithm that enhances its performance by introducing the mechanism of an oracle. Ridge's new algorithm is "Mini-P3". In this paper, we also discover that in terms of performance, Ridge's algorithm was the best as of writing, for all/any-CFG (Context Free Grammar) parser, with the only potential serious competition likely to come from future attempts from anyone building a more performant (O(n^3) Earley parsing-like or better) GLL parsers that also offer a combinator parsing (parsers built out of combinations of other parsers) interface.


---[REFS]:

1. https://en.m.wikipedia.org/wiki/Tom_Ridge

2. https://www.linkedin.com/in/tom-ridge-5baab135?

3. Ridge, T. (2014). Simple, efficient, sound and complete combinator parsing for all context-free grammars, using an oracle. In Software Language Engineering: 7th International Conference, SLE 2014, Västerås, Sweden, September 15-16, 2014. Proceedings 7 (pp. 261-281). Springer International Publishing. URL: https://figshare.le.ac.uk/articles/conference_contribution/Simple_efficient_sound_and_complete_combinator_parsing_for_all_context-free_grammars_using_an_oracle/10143794/1/files/18281084.pdf

We've read Dr. Tom Ridge's Mini-P3 research paper ✓

Circa 2008, the field of Software Language Engineering was considered and treated as a wholly new field of scientific inquiry [3]. With many things still needing clarification as well as the scope of the field yet to be well defined. So, in this keynote paper at the 2008 SLE international conference (the first ever), we see how Anneke Kleppe laid down the foundations for most of future SLE research in the talk she gave.

---[Brief Bio]:

Anneke Kleppe is a distinguished researcher & Dutch Computer Scientist with interest in software languages [1] and more than 2 decades experience working in the software industry since her Masters in 1988 [2]. She started her career in telecommunications and then worked as an independent consultant with her own company, Klasse Objecten. She has coached and trained employees of companies working with MDA, OCL, and UML.[2]

---[About Paper]:

First of all, the paper[3] builds on the SLE intro established by the author in their 2008 book on the subject [2]. We see how Software Languages (which are artificial & the concern of computer scientists mostly) relate to but also differ from natural languages (mostly studied by linguists). The concept of a "Mogram" is introduced, and we see how SLE mainly deals with how these are constructed, interpreted and executed or applied, starting from formal specifications in the form of Abstract Syntax Models (ASM). Matters on the usage and life of a new language post-design phase are also touched on, and especially how to advance from ASM to pragmatic semantics is given special attention. Overall, it is a sure must-read for advanced and new entrants into the SLE field.


---[REFS]:

1. http://msdl.uantwerpen.be/conferences/CAMPaM/2006/repository/AnnekeKleppe/background.pdf

2. https://books.google.co.ug/books/about/Software_Language_Engineering.html

3. Kleppe, A. (2009). The Field of Software Language Engineering. In: Gašević, D., Lämmel, R., Van Wyk, E. (eds) Software Language Engineering. SLE 2008. Lecture Notes in Computer Science, vol 5452. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00434-6_1

We'll hopefully be building upon Kleppe 's important contributions in a future work of our own. Cheers to all students, researchers and peers following my study of the SLE field 👆🏻🤠

Back to ordinary Blackboard Adventures... We revisit some highlights of what sums up modern computing via an exploration of computing as the result of research, the application of processing and the formalism of dynamic state. Lecture delivered using a clandestine hand so the initiated glimpse of the finer gems more readily 🤞🤣

Today we reviewed another keynote delivered by a distinguished person in the ACM SLE community; Professor Martin Erwig. This 2009 presentation is quite important in the SLE field not just because of having occurred in the earliest years of the SLE field, but also because it touches on a topic not typical in most SLE literature; the software variation problem.

---[About Paper]:

First, this 1-page paper was delivered as part of a keynote talk at the 3rd International SLE conference that took place in Eindhoven, Netherlands in 2010[3]. It touches on his work concerning the Choice Calculus (CC) meant to formalize as well as streamline future work relating to variability in software artefacts, systems or expressions[4]. It relates to popular work in the Programming Language Engineering field by its relation to the Lambda Calculus[4], and though not presented in this abstract paper, the CC's language syntax, semantics and potential applications are introduced; Choices & Dimensions that group Choices.


---[REFS]:

1. https://engineering.oregonstate.edu/people/martin-erwig

2. https://www.amazon.in/stores/author/B004575Y1O/about

3. https://www.sleconf.org/2010/

4. Erwig, M. (2010). A language for software variation research. ACM SIGPLAN Notices, 46(2), 3-12. URL: https://web.engr.oregonstate.edu/~erwig/papers/VariationLang_GPCE10.pdf

Hello students, researchers, faculty and visitors! Perhaps we'll take a break from usual Blackboard Adventures around Christmas---for good measure, nonetheless, we'll likely want to quickly wrap up some unfinished R&D business before 2024 closes. So, wish me well 🤞😃🤭

Reviewing ACM SLE papers continues... 👇🏻👇🏻

With a somewhat long list of co-authors, the "Trellis paper" [3] (not to be confused with "Tetris" the game) is among the most exciting SLE papers I've come across thus far. Published this year and surprisingly spearheaded by a PhD student; Lars Hummelgren (and not some professor such as many past ACM SLE papers we've covered here on BA), this is such a terrific work touching on several important matters in contemporary Machine Learning research. Interestingly, Lars's second name almost feels like the HMMs he's researching here!

---[About Paper]:

The paper[3] is about a popular machine/statistical learning technique; HMMs; Hidden Markov Models, specifically about the sparse kind. It has a great mini intro to HMMs for newcomers too. As with most SLE papers, focus is on a new software language; Trellis in this case, which provably and empirically has proven to be more performant in time-series learning problems involving sparse datasets (arguably more representative of realistic problems). Trellis is a nonexecutable DSL[4] that takes a Trellis model of a sparse HMM and compiles it into a Python library with which CUDA-powered learning can be executed via a clean API[3]. Paper delves into the details of that process, as well as discussing interesting related previous work too.


---[REFS]:

1. https://www.kth.se/profile/larshum

2. https://scholar.google.com/citations?user=l6ppBDIAAAAJ&hl=en

3. Hummelgren, L., Palmkvist, V., Stjerna, L., Xu, X., Jaldén, J., & Broman, D. (2024, October). Trellis: A Domain-Specific Language for Hidden Markov Models with Sparse Transitions. In Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering (pp. 196-209). URL: https://dl.acm.org/doi/pdf/10.1145/3687997.3695641

4. Lutalo, Joseph Willrich. "Software Language Engineering-Text Processing Language Design, Implementation, Evaluation Methods." (2024). URL: https://www.preprints.org/frontend/manuscript/3903e4cd075074a7005cb705a5ef26c5/download_pub


#review #notes #acm #sle #jwl #phd