Search events for 'all'
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
… .
Inquiry
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 …
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 …
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 …
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 …
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 …