Tomas Petricek

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 31

Top Topics

Denotational Semantics

Programming Language

Data Exploration

Top Venues

Art Sci. Eng. Program.

Publications

Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Technical Dimensions of Programming Systems. CoRR (2023)
Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz, Christopher K. I. Williams
AI Assistants: A Framework for Semi-Automated Data Wrangling. IEEE Trans. Knowl. Data Eng. 35 (9) (2023)
Jonathan Edwards, Tomas Petricek, Tijs van der Storm
Live & Local Schema Change: Challenge Problems. CoRR (2023)
Joel Jakubovic, Jonathan Edwards, Tomas Petricek
Technical Dimensions of Programming Systems. Art Sci. Eng. Program. 7 (3) (2023)
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Linked visualisations via Galois dependencies. Proc. ACM Program. Lang. 6 (POPL) (2022)
Tomas Petricek, Gerrit J. J. van den Burg, Alfredo Nazábal, Taha Ceritli, Ernesto Jiménez-Ruiz, Christopher K. I. Williams
AI Assistants: A Framework for Semi-Automated Data Wrangling. CoRR (2022)
Tomas Petricek
The Gamma: Programmatic Data Exploration for Non-programmers. VL/HCC (2022)
Joel Jakubovic, Tomas Petricek
Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System. Onward! (2022)
Jonathan Edwards, Tomas Petricek
Interaction vs. Abstraction: Managed Copy and Paste. PAINT@SPLASH (2022)
Tomas Petricek
Programming as architecture, design, and urban planning. Onward! (2021)
Mark Priestley, Tomas Petricek, David Hemmendinger
Report on HOPL IV - ACM SIGPLAN History of Programming Languages Conference. IEEE Ann. Hist. Comput. 43 (3) (2021)
Roly Perera, Minh Nguyen, Tomas Petricek, Meng Wang
Linked visualisations via Galois dependencies. CoRR (2021)
Tomas Petricek
Composable data visualizations. J. Funct. Program. 31 (2021)
Jonathan Edwards, Tomas Petricek
Typed Image-based Programming with Structure Editing. CoRR (2021)
Tomas Petricek
Foundations of a live data exploration environment. CoRR (2020)
Tomas Petricek
Foundations of a live data exploration environment. Art Sci. Eng. Program. 4 (3) (2020)
Alan F. Blackwell, Luke Church, Martin Erwig, James Geddes, Andy Gordon, Maria I. Gorinova, Atilim Gunes Baydin, Bradley Gram-Hansen, Tobias Kohn, Neil Lawrence, Vikash Mansinghka, Brooks Paige, Tomas Petricek, Diana Robinson, Advait Sarkar, Oliver Strickson
Usability of Probabilistic Programming Languages. PPIG (2019)
Jonathan Edwards, Stephen Kell, Tomas Petricek, Luke Church
Evaluating programming systems design. PPIG (2019)
Tomas Petricek
What we talk about when we talk about monads. Art Sci. Eng. Program. 2 (3) (2018)
Tomas Petricek, James Geddes, Charles Sutton
Wrattler: Reproducible, live and polyglot notebooks. TaPP (2018)
Tomas Petricek
Critique of 'an anatomy of interaction: co-occurrences and entanglements'. Programming (2018)
Tomas Petricek
What we talk about when we talk about monads. CoRR (2018)
Tomas Petricek
Miscomputation in software: Learning to live with errors. Art Sci. Eng. Program. 1 (2) (2017)
Tomas Petricek
Data Exploration through Dot-driven Development (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Tomas Petricek
Data Exploration through Dot-driven Development. ECOOP (2017)
Tomas Petricek
Miscomputation in software: Learning to live with errors. CoRR (2017)
Tomas Petricek
Tools for open, transparent and engaging storytelling. Programming (2017)
Alan Mycroft, Dominic A. Orchard, Tomas Petricek
Effect Systems Revisited - Control-Flow Algebra and Semantics. Semantics, Logics, and Calculi (2016)
Tomas Petricek, Gustavo Guerra, Don Syme
Types from data: Making structured data first-class citizens in F#. CoRR (2016)
Tomas Petricek
Programming language theory: Thinking the unthinkable. PPIG (2016)
Tomas Petricek, Gustavo Guerra, Don Syme
Types from data: making structured data first-class citizens in F#. PLDI (2016)
Tomas Petricek
Against a universal definition of 'Type'. Onward! (2015)
Dominic A. Orchard, Tomas Petricek
Embedding effect systems in Haskell. Haskell (2014)
Dominic A. Orchard, Tomas Petricek, Alan Mycroft
The semantic marriage of monads and effects. CoRR (2014)
Tomas Petricek, Don Syme, Zach Bray
In the Age of Web: Typed Functional-First Programming Revisited. ML/OCaml (2014)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: a calculus of context-dependent computation. ICFP (2014)
Tomas Petricek, Don Syme
The F# Computation Expression Zoo. PADL (2014)
Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri, Tomas Petricek
Themes in information-rich functional programming for internet-scale data sources. DDFP (2013)
Tomas Petricek, Dominic A. Orchard, Alan Mycroft
Coeffects: Unified Static Analysis of Context-Dependence. ICALP (2) (2013)
Tomas Petricek
Evaluation strategies for monadic computations MSFP (2012)
Tomas Petricek, Don Syme
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming. PADL (2011)
Don Syme, Tomas Petricek, Dmitry Lomov
The F# Asynchronous Programming Model. PADL (2011)
Tomas Petricek, Alan Mycroft, Don Syme
Extending monads with pattern matching. Haskell (2011)
Tomas Petricek, Don Syme
Collecting hollywood's garbage: avoiding space-leaks in composite events. ISMM (2010)
Tomas Petricek
Encoding Monadic Computations in C# Using Iterators. ITAT (2009)