A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Live Coding And Csound
2016
Zenodo
Preserved Fulltext
My programming language of choice is Clojure, which I've used to develop Panaeolus, a live-coding program built with CsoundAPI. ...
And at the time of this writing, a short article of live-coding in the Csound language with CsoundQt front-end is scheduled for Csound Journal spring issue of 2016. ...
My programming language of choice is Clojure, which I've used to develop Panaeolus, a live-coding program built with CsoundAPI. ...
doi:10.5281/zenodo.50366
fatcat:szhzvfnfpbailmzvywialkan5i
Program extrapolation with jennisys
2012
Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The synthesis aims to produce code with assignments, branching structure, and possibly recursive calls. A prototype of the language and synthesis technique has been implemented. ...
The desired behavior of a program can be described using an abstract model. Compiling such a model into executable code requires advanced compilation techniques known as synthesis. ...
easier to read. ...
doi:10.1145/2384616.2384646
dblp:conf/oopsla/LeinoM12
fatcat:b6hbiikvcfgrvioagsgsevtznq
Dependent type systems as macros
2019
Proceedings of the ACM on Programming Languages (PACMPL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2107.01295v1 fatcat:jqz432e6ibbd5d3ukwrjnyl4zi
Our framework's support of language-oriented programming also makes it suitable for experimenting with systems of interacting components, e.g., a proof assistant and its companion DSLs. ...
This paper explains the implementation details of Turnstile+, as well as how it may be used to create a wide-variety of dependently typed languages, from a lightweight one with indexed types, to a full ...
Cette recherche a été financée par le CRSNG, numéro de référence RGPIN-2019-04207. ...
doi:10.1145/3371071
fatcat:thv2cupa4vf6pi5sxklfdez7xm
The World Wide Web in an Analog Patchbay
2019
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The module is configured from a read-eval-print-loop environment running in the web browser, that can be used to send signals to the modular synthesizer from a live coding interface or from various data ...
This paper introduces a versatile module for Eurorack synthesizers that allows multiple modular synthesizers to be patched together remotely through the world wide web. ...
synthesizer from a read-eval-print-loop (REPL) environment embedded in the web browser. ...
doi:10.5281/zenodo.3673013
fatcat:nv3fwxn4ujgnxlmgpx7pnnmv4e
Program extrapolation with jennisys
2012
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is application/pdf.
The desired behavior of a program can be described using an abstract model. Compiling such a model into executable code requires advanced compilation techniques known as synthesis. ...
The synthesis aims to produce code with assignments, branching structure, and possibly recursive calls. ...
a loop). ...
doi:10.1145/2398857.2384646
fatcat:3kbn3e6ed5gnfnzp7eyket6yvu
TunePad Playbooks
2022
CHI Conference on Human Factors in Computing Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
After discussing our design principles and features, we share findings from a series of artifact-centered interviews conducted with experienced TunePad users. ...
This paper describes the design of an online learning platform that empowers musical creation and performance with Python code. ...
ACKNOWLEDGMENTS The authors would like to thank Melanie West, Cameron Roberts, Izaiah Wallace, Nichole Pinkard, Jason Freeman, and Brian Magerko for their assistance with interface design, curriculum design ...
doi:10.1145/3491102.3502021
fatcat:nojhfjyeh5aw7j2xux4b34u5pu
Feature-Specific Profiling
[article]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We describe the architecture of a profiler that implements our approach, explain prototypes of the profiler for two languages with different characteristics and implementation strategies, and provide empirical ...
For example, programmers may unknowingly use language features inappropriately, which cause their programs to run slower than expected. ...
Tony Garnock-Jones implemented the Marketplace plug-in and helped with the SSH case study. Stephen Chang assisted with the Parsack plug-in and the Markdown case study. ...
arXiv:1809.04151v1
fatcat:2vm5vorw3jgmhps64dljocxaty
Partial evaluation of machine code
2015
Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This method counters the cascading imprecision that would otherwise occur with a more naïve approach to BTA. • Our specializer specializes an explicit representation of the semantics of an instruction, ...
Our experiments show that our algorithm can be used to specialize binaries with respect to commonly used inputs to produce faster binaries, as well as to extract an executable component from a bloated ...
We thank Suan Yong for implementing a skeleton binary rewriter using CodeSurfer/x86. We thank the anonymous reviewers for their valuable feedback. ...
doi:10.1145/2814270.2814321
dblp:conf/oopsla/SrinivasanR15
fatcat:dylsfdcmozh5fe77qoftipwcry
Partial evaluation of machine code
2015
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
This method counters the cascading imprecision that would otherwise occur with a more naïve approach to BTA. • Our specializer specializes an explicit representation of the semantics of an instruction, ...
Our experiments show that our algorithm can be used to specialize binaries with respect to commonly used inputs to produce faster binaries, as well as to extract an executable component from a bloated ...
We thank Suan Yong for implementing a skeleton binary rewriter using CodeSurfer/x86. We thank the anonymous reviewers for their valuable feedback. ...
doi:10.1145/2858965.2814321
fatcat:dnxpzezac5egnhqq2zprtby5di
How Much Coffee Was Consumed During EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AI
[article]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Other Versions
a sandbox for the harder real-world challenge. ...
In addition to question answer pairs, the datasets contain detailed solutions in the form of an executable program and supporting facts, helping in supervision and evaluation of intermediate steps. ...
In line with this eval-
bringing the total number of facts to 20. ...
arXiv:2110.14207v2
fatcat:buhw373iqjgzpnaehqavtcgb2m
2013: The Web Browser as Synthesizer and Interface
[chapter]
2017
Current Research in Systematic Musicology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
We introduce two Java-Script libraries towards this end: Gibberish.js, a heavily optimized audio DSP library, and Interface.js, a GUI toolkit that works with mouse, touch and motion events. ...
Together these libraries provide a complete system for defining musical instruments that can be used in both desktop and mobile web browsers. ...
to the audio sample loop. ...
doi:10.1007/978-3-319-47214-0_28
fatcat:hvr65ll4znfn3bisythsxwfhlq
The Web Browser As Synthesizer And Interface
2013
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We introduce two librariestowards this end: Gibberish.js, a heavily optimized audio DSP library, andInterface.js, a GUI toolkit that works with mouse, touch and motion events.Together these libraries provide ...
a complete system for defining musicalinstruments that can be used in both desktop and mobile browsers. ...
to the audio sample loop. ...
doi:10.5281/zenodo.1178648
fatcat:ewcgymshkjehhcc7l5ozqt7xpa
Siren: Interface For Pattern Languages
2018
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
It uses functional programming language TidalCycles as the core pattern creation environment due to its inherent ability to create complex pattern relations with minimal syntax. ...
Subsequently, the paper concludes with a preliminary evaluation of Siren in the context of user interface design principles, which originates from the cognitive dimensions framework for musical notation ...
In addition, we also thank Kim Bjørn for including Siren into the successfully crowdfunded book Push Turn Move: Interface Design for Electronic Music [4] along with SuperCollider and TidalCycles. ...
doi:10.5281/zenodo.1302677
fatcat:u3pw2vfxubdctmsno27pa2afzi
Synthesizing memory models from framework sketches and Litmus tests
2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Yet architectures usually define their memory models with prose and litmus tests-small concurrent programs that demonstrate allowed and forbidden outcomes. ...
A memory consistency model specifies which writes to shared memory a given read may see. Ambiguities or errors in these specifications can lead to bugs in both compilers and applications. ...
A litmus test in FAlglave is a small concurrent program together with a postcondition constraint. ...
doi:10.1145/3062341.3062353
dblp:conf/pldi/BornholtT17
fatcat:lez4mnybdjdhbgfgf3iydij3we
Synthesizing memory models from framework sketches and Litmus tests
2017
SIGPLAN notices
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Yet architectures usually define their memory models with prose and litmus tests-small concurrent programs that demonstrate allowed and forbidden outcomes. ...
A memory consistency model specifies which writes to shared memory a given read may see. Ambiguities or errors in these specifications can lead to bugs in both compilers and applications. ...
A litmus test in FAlglave is a small concurrent program together with a postcondition constraint. ...
doi:10.1145/3140587.3062353
fatcat:bcbdqnjnpjcqpeq4drclsrndcy
« Previous
Showing results 1 — 15 out of 69 results