‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
Events (10 results)

Lawvere: A categorical programming language with effects

VIMPL 2023 When: Mon 13 Mar 2023 16:00 - 16:25 People: James Haydon

… Lawvere is a language adopting a categorical take on concatenative programming, a paradigm in which all expressions denote functions, and the juxtaposition of expressions denotes function composition. Though Lawvere is a pure language …

Cross-Language Interoperability of Heterogeneous Code

MoreVMs'23 When: Mon 13 Mar 2023 14:50 - 15:15 People: Athanasios Stratikopoulos, Florin Blanaru, Juan Fumero, Maria Xekalaki, Orion Papadakis, Christos Kotselidis

… hardware resources. All these efforts beacon the opportunity to use the JVM …, we analyze all challenges and propose a set of modifications at the compiler …

A Compact and Extensible Portable Scheme VM

MoreVMs'23 When: Mon 13 Mar 2023 09:15 - 09:40 People: Léonard Oest O'Leary, Marc Feeley

… the best of both worlds: an extensible VM packed with all and only the features …

Programmer Stories, Stories for Programmers: Exploring Storytelling in Software Development

PX/23 When: Tue 14 Mar 2023 12:00 - 12:30 People: Paul Wuilmart, Emma Söderberg, Martin Höst

… , system documents, to name a few examples. Despite all these different kinds …

Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity

Research Papers When: Wed 15 Mar 2023 14:00 - 14:30 People: Jeremy Gibbons

… .


Buried within all those applications there is usually a hidden appeal …

Notes on “Notes on the Synthesis of Form”: Dawning Insights in Early Christopher Alexander

Research Papers People: Richard P. Gabriel

… in the example was reckoned by a computer program he had written—all in the late 1950s … the volume of the building so that it carries in it all feeling. To reach this feeling …

Black Boxes, White Noise: Similarity Detection for Neural Functions

Research Papers When: Wed 15 Mar 2023 10:00 - 10:30 People: Farima Farmahinifarahani, Crista Lopes

… those functions’ similarity, or lack thereof. Of all the metrics tried, we find …

Little Tricky Logic: Misconceptions in the Understanding of LTL

Research Papers When: Wed 15 Mar 2023 16:00 - 16:30 People: Ben Greenman, Sam Saarinen, Tim Nelson, Shriram Krishnamurthi

… Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new uses of LTL in robotics and planning activities. All these uses …

Symphony: Expressive Secure Multiparty Computation with Coordination

Research Papers When: Thu 16 Mar 2023 10:00 - 10:30 People: Ian Sweet, David Darais, David Heath, Ryan Estes, William Harris, Michael Hicks

… -on formalization work in MPC and distributed programming. All code …

Profiling and Optimizing Java Streams

Research Papers When: Thu 16 Mar 2023 15:00 - 15:30 People: Eduardo Rosales, Matteo Basso, Andrea Rosà, Walter Binder

… that overlook runtime information, suffer from important limitations to detect all