Filters








69 Hits in 2.7 sec

Live Coding And Csound

Hlöðver Sigurðsson
2016 Zenodo  
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

K. Rustan M. Leino, Aleksandar Milicevic
2012 Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12  
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

Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
2019 Proceedings of the ACM on Programming Languages (PACMPL)  
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

Don Derek Haddad, Joe Paradiso
2019 Zenodo  
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

K. Rustan M. Leino, Aleksandar Milicevic
2012 SIGPLAN notices  
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

Mike Horn, Amartya Banerjee, Matthew Brucker
2022 CHI Conference on Human Factors in Computing Systems  
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]

Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
2018 arXiv   pre-print
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

Venkatesh Srinivasan, Thomas Reps
2015 Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015  
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

Venkatesh Srinivasan, Thomas Reps
2015 SIGPLAN notices  
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]

Ashwin Kalyan, Abhinav Kumar, Arjun Chandrasekaran, Ashish Sabharwal, Peter Clark
2021 arXiv   pre-print
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]

Charles Roberts, Graham Wakefield, Matthew Wright
2017 Current Research in Systematic Musicology  
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

Charles Roberts, Graham Wakefield, Matthew Wright
2013 Zenodo  
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

Mert Toka, Can Ince, Mehmet Aydin Baytas
2018 Zenodo  
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

James Bornholt, Emina Torlak
2017 Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017  
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

James Bornholt, Emina Torlak
2017 SIGPLAN notices  
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