### Top 4 Arxiv Papers Today in Programming Languages

##### #1. Profunctor optics, a categorical update
###### Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román
Profunctor optics are bidirectional data accessors that capture data transformation patterns such as accessing subfields or iterating over containers. They are modular, meaning that we can construct accessors for complex structures by combining simpler ones. Profunctor optics have been studied only using $\mathbf{Sets}$ as the enriching category and in the non-mixed case. However, functional programming languages are arguably better described by enriched categories and we have found that some structures in the literature are actually mixed optics. Our work generalizes a classic result by Pastro and Street on Tambara theory and uses it to describe mixed V-enriched profunctor optics and to endow them with V-category structure. We provide some original families of optics and derivations, including an elementary one for traversals that solves an open problem posed by Milewski. Finally, we discuss a Haskell implementation.
more | pdf | html
None.
###### Tweets
pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Thanks to everyone involved, especially @mroman42 @BartoszMilewski @ququ7 @8ryceClarke @jer_gib And everyone else who made it happen!
mathCTbot: Bryce Clarke, Derek Elkins, Jeremy Gibbons, Fosco Loregian, Bartosz Milewski, Emily Pillmore, Mario Román : Profunctor optics, a categorical update https://t.co/Fv2iagfOrk https://t.co/q2PV310ahu
ReinH: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
JadeMasterMath: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
acid2: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
jasdev: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
mstk: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
jer_gib: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
alan_zimm: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
jneira: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
leostera: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
tangled_zans: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
_pjrt: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
8ryceClarke: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
babui_: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
amarrella: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
gustavofranke: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
mimi1vx: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
urosn: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
ghisvail: RT @pitopos: I'm extremely proud to announce that the profunctor optics paper from Adjoint 2019 has come out: https://t.co/sSCqwjjKif! Tha…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 7
Total Words: 0
Unqiue Words: 0

##### #2. Probabilistic Output Analyses for Deterministic Programs --- Reusing Existing Non-probabilistic Analyses
###### Maja Hanne Kirkeby
We consider reusing established non-probabilistic output analyses (either forward or backwards) that yield over-approximations of a program's pre-image or image relation, e.g., interval analyses. We assume a probability measure over the program input and present two techniques (one for forward and one for backward analyses) that both derive upper and lower probability bounds for the output events. We demonstrate the most involved technique, namely the forward technique, for two examples and compare their results to a cutting-edge probabilistic output analysis.
more | pdf | html
None.
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #3. Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond
###### Alessandro Aldini
Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security. They are essential in characterizing the behaviour of many critical systems and in estimating their properties. Hence, they need to be integrated both at the level of system modeling and within the verification methodologies and tools. Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community. In the same period, they represented the central theme of the series of workshops entitled Quantitative Aspects of Programming Languages and Systems (QAPL) and born in 2001. The aim of this survey is to revisit such achievements and results from the standpoint of QAPL and its community.
more | pdf | html
None.
###### Tweets
arxiv_cslo: Quantitative Aspects of Programming Languages and Systems over the past $2^4$ years and beyond https://t.co/NIfO4d2zWI
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

##### #4. Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems
###### Alessandro Aldini, Herbert Wiklicky
This EPTCS volume contains the proceedings of the 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019) held in Prague, Czech Republic, on Sunday 7 April 2019. QAPL 2019 was a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2019). QAPL focuses on quantitative aspects of computations, which may refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (e.g., probabilities) for the characterisation of the behaviour and for determining the properties of systems. Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of the QAPL workshop series is to discuss the explicit use of time and probability and general quantities either directly in the model or as a tool for the analysis or synthesis of systems. The 16th edition of QAPL also focuses on discussing the...
more | pdf | html
None.
###### Tweets
DO: Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems. https://t.co/VJcNIgc5yW
arxiv_cslo: Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems https://t.co/O3EryUwJwr
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 256,574 papers.

###### Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
###### Stats
Tracking 256,574 papers.