392 Hits in 6.0 sec

Liberating effects with rows and handlers

Daniel Hillerström, Sam Lindley
2016 Proceedings of the 1st International Workshop on Type-Driven Development - TyDe 2016  
Algebraic effects and effect handlers provide a modular abstraction for effectful programming.  ...  In this paper we argue that the abstraction required to implement extensible effects and their handlers is exactly row polymorphism.  ...  Acknowledgments Nicolas Oury originally suggested the Nim game as an example to demonstrate programming with handlers.  ... 
doi:10.1145/2976022.2976033 dblp:conf/icfp/HillerstromL16 fatcat:7v6xedw455awrmgf7526ec3t7e

Concurrent System Programming with Effect Handlers [chapter]

Stephen Dolan, Spiros Eliopoulos, Daniel Hillerström, Anil Madhavapeddy, K. C. Sivaramakrishnan, Leo White
2018 Lecture Notes in Computer Science  
Algebraic effects and their handlers have been steadily gaining attention as a programming language feature for composably expressing user-defined computational effects.  ...  Motivation Multicore OCaml [8] incorporates effect handlers as the primary means of expressing concurrency in the language.  ...  Frank has a bidirectional type and effect system with a novel form of effect polymorphism.  ... 
doi:10.1007/978-3-319-89719-6_6 fatcat:csi2d6oyg5cphblfbbpa3r3pty

Doo bee doo bee doo

2020 Journal of functional programming  
Effect handlers provide an abstraction for modular effectful programming: a handler acts as an interpreter for a collection of commands whose interfaces are statically tracked by the type system.  ...  effect handler abstraction.  ...  Philip Wadler for helpful feedback; Michael Adams and Adam Gundry for answering questions regarding their respective works and for providing source code used as inspiration; and Daniel Hillerström for  ... 
doi:10.1017/s0956796820000039 fatcat:nqvgu6exyvbgndjw4vnnhyfihe

A concept for monitoring self-transforming code using memory page access control management

Christian Maaser, Harald Baier
2011 2011 Carnahan Conference on Security Technology  
We present a non-intrusive and lightweight method to monitor any executable code in real-time, which allows efficient detection of polymorphic malware.  ...  Malware, which is obfuscated in that way, is called polymorphic malware. We call the transformation of the plaintext to the transformed malware as encoding and the reverse operation as decoding.  ...  techniques and full view of any intermediate code, which makes the approach capable to overcome known as well as yet unknown encoding schemes.  ... 
doi:10.1109/ccst.2011.6095942 dblp:conf/iccst/MaaserB11 fatcat:jfnou62pzzdtvhikgjju3vk4de

Design, implementation, and evaluation of optimizations in a just-in-time compiler

Kazuaki Ishizaki, Motohiro Kawahito, Toshiaki Yasue, Mikio Takeuchi, Takeshi Ogasawara, Toshio Suganuma, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani
1999 Proceedings of the ACM 1999 conference on Java Grande - JAVA '99  
We designed and implemented effective optimizations for the JIT compiler, such as exception check elimination, common subexpression elimination, simple type inclusion test, method inlining, and resolution  ...  It must improve the runtime performance without compromising the safety and flexibility of the Java language.  ...  Acknowledgement We are grateful to our group's people of Tokyo Research Laboratory for implementing our JIT compiler and for participating in helpful discussion.  ... 
doi:10.1145/304065.304111 dblp:conf/java/IshizakiKYTOSOKN99 fatcat:ivn4nqftznajjj7w3bpks52fme

Verifying a Minimalist Reverse-Mode AD Library [article]

Paulo Emílio de Vilhena, François Pottier
2021 arXiv   pre-print
By exploiting a number of relatively subtle programming language features, including dynamically-allocated mutable state, first-class functions, and effect handlers, reverse-mode automatic differentiation  ...  One outstanding question, however, is: with which logical tools can one specify what this code is expected to compute and verify that it behaves as expected?  ...  The type system tracks effects through rows of effects and also has support for effect polymorphism.  ... 
arXiv:2112.07292v1 fatcat:a3kexzvubfek7l2ivcqpdkm5nu

Asynchronous event handling in the real-time specification for Java

MinSeong Kim, Andy Wellings
2007 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems - JTRES '07  
the lightweightness requirement, without causing side-effects (e.g. priority-inversion).  ...  The primary goal for asynchronous event handlers in the RTSJ is to have a lightweight concurrency mechanism, on top of predictable and bounded behaviour.  ...  The result is a testimony to his professional and affectionate tutorship. It goes without saying that I am greatly indebted to him for his  ... 
doi:10.1145/1288940.1288942 dblp:conf/jtres/KimW07 fatcat:3meiwr5ztncrpm6zukpwnp7t4q

Heuristics Entwined with Handlers Combined

Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen
2014 Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14  
by means of effect handlers, and, in particular, define an unusual entwine handler that allows us to express search heuristics as archetypal search trees much like TOR's merge/2 combinator.  ...  We derive a solution that is both lightweight and principled.  ...  This work has been funded by EPSRC grant number EP/J010995/1, on Unifying Theories of Generic Programming, and by the Flemish Fund for Scientific Research.  ... 
doi:10.1145/2643135.2643145 dblp:conf/ppdp/SchrijversWDD14 fatcat:j7wsvb2oevb6jl24rn3xpfxjv4

Freeze after writing

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
2014 SIGPLAN notices  
Together, handlers and freezing enable an expressive and useful style of parallel programming.  ...  Second, we add the ability to attach event handlers to an LVar, triggering a callback when the LVar's value changes.  ...  Acknowledgments Lindsey Kuper and Ryan Newton's work on this paper was funded by NSF grant CCF-1218375.  ... 
doi:10.1145/2578855.2535842 fatcat:5zq6qcas4nf4vmgu62ng7dplam

Freeze after writing

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
2014 Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14  
Together, handlers and freezing enable an expressive and useful style of parallel programming.  ...  Second, we add the ability to attach event handlers to an LVar, triggering a callback when the LVar's value changes.  ...  Acknowledgments Lindsey Kuper and Ryan Newton's work on this paper was funded by NSF grant CCF-1218375.  ... 
doi:10.1145/2535838.2535842 dblp:conf/popl/KuperTKN14 fatcat:6shfq4hhlnhr5eqpw5xgkeegky

Runtime Code Polymorphism as a Protection Against Side Channel Attacks [chapter]

Damien Couroussé, Thierno Barry, Bruno Robisson, Philippe Jaillon, Olivier Potin, Jean-Louis Lanet
2016 Lecture Notes in Computer Science  
Code polymorphism is defined as the ability to change the observable behaviour of a software component without changing its functional properties.  ...  We evaluate the effectiveness of our framework against correlation power analysis: as compared to an unprotected implementation of AES where the secret key could be recovered in less than 50 traces in  ...  We define polymorphism as the capability to regularly change the behaviour of a secured component at runtime without altering its functional properties.  ... 
doi:10.1007/978-3-319-45931-8_9 fatcat:bcfriyt5szgrfn26t4vxg26hey

The Design of Hume: A High-Level Language for the Real-Time Embedded Systems Domain [chapter]

Kevin Hammond, Greg Michaelson
2004 Lecture Notes in Computer Science  
Hume provides a number of high level features including higher-order functions, polymorphic types, arbitrary but sized user-defined data structures, asynchronous processes, lightweight exception handling  ...  , automatic memory management and domain-specific meta-programming features, whilst seeking to guarantee strong space/time behaviour and maintaining overall determinacy.  ...  Our sized time type-and-effect system is already capable of inferring theoretical costs in terms of reduction steps for higher-order polymorphic definitions [28] .  ... 
doi:10.1007/978-3-540-25935-0_8 fatcat:def6chg7ffctpio67p45swroce


Joshua Sunshine, Jonathan Aldrich
2010 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications - APLWACA '10  
Furthermore, event handlers are guaranteed to receive the page in the state they expect and leave it in the form expected by the next set of handlers-DynXML prevents page-manipulating programs from going  ...  In this paper we propose DynXML, a new language for the web which safely and naturally mutates XML trees.  ...  Acknowledgments We would like to thank theÉric Tanter and the PLAID group for their helpful feedback and suggestions. This research was supported by DARPA grant #HR00110710019.  ... 
doi:10.1145/1810139.1810145 fatcat:wlbq4az6mva6zct2nyggpcwose

Overview of the IBM Java Just-in-Time Compiler

T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito, K. Ishizaki, H. Komatsu, T. Nakatani
2000 IBM Systems Journal  
, such as exception checking.  ...  Finally we report on the performance of the IBM JIT compiler, showing both the effectiveness of the individual optimizations and the competitive overall performance of the JIT compiler in comparison with  ...  Acknowledgments We would like to thank Duc Vianney and Akihiko Togami for their cooperation in measuring performance of several Jvms for SPECjvm98 by SPEC-compliant mode.  ... 
doi:10.1147/sj.391.0175 fatcat:nc7mgu5rsvdrfdh43gezgoekt4

A Generic Approach to Flow-Sensitive Polymorphic Effects (Extended Version) [article]

Colin S. Gordon
2017 arXiv   pre-print
Effect systems are lightweight extensions to type systems that can verify a wide range of important properties with modest developer burden.  ...  We present an abstract polymorphic effect system with singleton effects parameterized by an effect quantale --- an algebraic structure with well-defined properties that can model a range of existing order-sensitive  ...  , constraint-based) effect polymorphism, and unique "lightweight" forms of effect polymorphism [48, 25] with no direct parallel in traditional approaches to polymorphism.  ... 
arXiv:1705.02264v1 fatcat:yofdm75jrncnndb5sihiao27v4
« Previous Showing results 1 — 15 out of 392 results