Personal information

No personal information available

Activities

Works (50 of 209)

Items per page:
Page 1 of 5

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

Proc. ACM Program. Lang.
2024 | Journal article
Contributors: Supun Abeysinghe and Anxhelo Xhebraj and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Proc. ACM Program. Lang.
2024 | Journal article
Contributors: Guannan Wei and Oliver Bracevac and Songlin Jia and Yuyan Bao and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures

PADL
2024 | Conference paper
Contributors: Supun Abeysinghe and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional Logic Metaprogramming

2024 | Book chapter
Contributors: Supun Abeysinghe; Tiark Rompf
Source: check_circle
Crossref

Specializing Data Access in a Distributed File System (Generative Pearl)

2024-10-21 | Conference paper
Contributors: Pratyush Das; Anxhelo Xhebraj; Tiark Rompf
Source: check_circle
Crossref

Program Generators for Exascale and Beyond (Final Technical Report)

2024-06-04 | Report
Contributors: Tiark Rompf; Danielle Tullman-Ercek
Source: check_circle
Crossref

Flan: An Expressive and Efficient Datalog Compiler for Program Analysis

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Supun Abeysinghe; Anxhelo Xhebraj; Tiark Rompf
Source: check_circle
Crossref

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

Proceedings of the ACM on Programming Languages
2024-01-05 | Journal article
Contributors: Guannan Wei; Oliver Bračevac; Songlin Jia; Yuyan Bao; Tiark Rompf
Source: check_circle
Crossref

Architecting Intermediate Layers for Efficient Composition of Data Management and Machine Learning Systems

CoRR
2023 | Journal article
Contributors: Supun Abeysinghe and Fei Wang and Grégory M. Essertel and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Compiling Parallel Symbolic Execution with Continuations

ICSE
2023 | Conference paper
Contributors: Guannan Wei and Songlin Jia and Ruiqi Gao and Haotian Deng and Shangyin Tan and Oliver Bracevac and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Graph IRs for Impure Higher-Order Languages (Technical Report)

CoRR
2023 | Journal article
Contributors: Oliver Bracevac and Guannan Wei and Songlin Jia and Supun Abeysinghe and Yuxuan Jiang and Yuyan Bao and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies

Proc. ACM Program. Lang.
2023 | Journal article
Contributors: Oliver Bracevac and Guannan Wei and Songlin Jia and Supun Abeysinghe and Yuxuan Jiang and Yuyan Bao and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Modeling Reachability Types with Logical Relations

CoRR
2023 | Journal article
Contributors: Yuyan Bao and Guannan Wei and Oliver Bracevac and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs

CoRR
2023 | Journal article
Contributors: Guannan Wei and Oliver Bracevac and Songlin Jia and Yuyan Bao and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Rhyme: A Data-Centric Expressive Query Language for Nested Data Structures

2023 | Book chapter
Contributors: Supun Abeysinghe; Tiark Rompf
Source: check_circle
Crossref

Graph IRs for Impure Higher-Order Languages: Making Aggressive Optimizations Affordable with Precise Effect Dependencies

Proceedings of the ACM on Programming Languages
2023-10-16 | Journal article
Contributors: Oliver Bračevac; Guannan Wei; Songlin Jia; Supun Abeysinghe; Yuxuan Jiang; Yuyan Bao; Tiark Rompf
Source: check_circle
Crossref

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI)

SIGMOD Conference
2022 | Conference paper
Contributors: Supun Abeysinghe and Qiyang He and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Efficient Incrementialization of Correlated Nested Aggregate Queries using Relative Partial Aggregate Indexes (RPAI)

SIGMOD Conference
2022 | Conference paper
Contributors: Supun Abeysinghe; Qiyang He; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

OCTAL: Graph Representation Learning for LTL Model Checking

CoRR
2022 | Journal article
Contributors: Prasita Mukherjee; Haoteng Yin; Susheel Suresh; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

OCTAL: Graph Representation Learning for LTL Model Checking

CoRR
2022 | Journal article
Contributors: Prasita Mukherjee and Haoteng Yin and Susheel Suresh and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

What If We Don't Pop the Stack? The Return of 2nd-Class Values

ECOOP
2022 | Conference paper
Contributors: Anxhelo Xhebraj and Oliver Bracevac and Guannan Wei and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

What If We Don't Pop the Stack? The Return of 2nd-Class Values

ECOOP
2022 | Conference paper
Contributors: Anxhelo Xhebraj; Oliver Bracevac; Guannan Wei; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)

Dagstuhl Artifacts Ser.
2022 | Journal article
Contributors: Anxhelo Xhebraj and Oliver Bracevac and Guannan Wei and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

What If We Don't Pop the Stack? The Return of 2nd-Class Values (Artifact)

Dagstuhl Artifacts Ser.
2022 | Journal article
Contributors: Anxhelo Xhebraj; Oliver Bracevac; Guannan Wei; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

A GNN Based Approach to LTL Model Checking

CoRR
2021 | Journal article
Contributors: Prasita Mukherjee; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

HACCLE: metaprogramming for secure multi-party computation

GPCE
2021 | Conference paper
Contributors: Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Nouraldin Jaber and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoît Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni
Source: Self-asserted source
Tiark Rompf

HACCLE: metaprogramming for secure multi-party computation

GPCE
2021 | Conference paper
Contributors: Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Nouraldin Jaber; Fei Wang; Mohammad Hassan Ameri; Donghang Lu; Alex et al.
Source: Self-asserted source
Tiark Rompf

LLSC: a parallel symbolic execution compiler for LLVM IR

ESEC/SIGSOFT FSE
2021 | Conference paper
Contributors: Guannan Wei and Shangyin Tan and Oliver Bracevac and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

LLSC: a parallel symbolic execution compiler for LLVM IR

ESEC/SIGSOFT FSE
2021 | Conference paper
Contributors: Guannan Wei; Shangyin Tan; Oliver Bracevac; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

On-stack replacement for program generators and source-to-source compilers

GPCE
2021 | Conference paper
Contributors: Grégory M. Essertel; Ruby Y. Tahboub; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

On-stack replacement for program generators and source-to-source compilers

GPCE
2021 | Conference paper
Contributors: Grégory M. Essertel and Ruby Y. Tahboub and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Reachability types: tracking aliasing and separation in higher-order functional programs

Proc. ACM Program. Lang.
2021 | Journal article
Contributors: Yuyan Bao and Guannan Wei and Oliver Bracevac and Yuxuan Jiang and Qiyang He and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Reachability types: tracking aliasing and separation in higher-order functional programs

Proc. ACM Program. Lang.
2021 | Journal article
Contributors: Yuyan Bao; Guannan Wei; Oliver Bracevac; Yuxuan Jiang; Qiyang He; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Architecting a Query Compiler for Spatial Workloads

SIGMOD Conference
2020 | Conference paper
Contributors: Ruby Y. Tahboub and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Architecting a Query Compiler for Spatial Workloads

SIGMOD Conference
2020 | Conference paper
Contributors: Ruby Y. Tahboub; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Compiling symbolic execution with staging and algebraic effects

Proc. ACM Program. Lang.
2020 | Journal article
Contributors: Guannan Wei and Oliver Bracevac and Shangyin Tan and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Compiling symbolic execution with staging and algebraic effects

Proc. ACM Program. Lang.
2020 | Journal article
Contributors: Guannan Wei; Oliver Bracevac; Shangyin Tan; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

HACCLE: An Ecosystem for Building Secure Multi-Party Computations

CoRR
2020 | Journal article
Contributors: Yuyan Bao and Kirshanthan Sundararajah and Raghav Malik and Qianchuan Ye and Christopher Wagner and Fei Wang and Mohammad Hassan Ameri and Donghang Lu and Alexander Seto and Benjamin Delaware and Roopsha Samanta and Aniket Kate and Christina Garman and Jeremiah Blocki and Pierre-David Letourneau and Benoît Meister and Jonathan Springer and Tiark Rompf and Milind Kulkarni
Source: Self-asserted source
Tiark Rompf

HACCLE: An Ecosystem for Building Secure Multi-Party Computations

CoRR
2020 | Journal article
Contributors: Yuyan Bao; Kirshanthan Sundararajah; Raghav Malik; Qianchuan Ye; Christopher Wagner; Fei Wang; Mohammad Hassan Ameri; Donghang Lu; Alex; er Seto et al.
Source: Self-asserted source
Tiark Rompf

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap

CoRR
2020 | Journal article
Contributors: Somali Chaterji and Parinaz Naghizadeh and Muhammad Ashraful Alam and Saurabh Bagchi and Mung Chiang and David Corman and Brian J. Henz and Suman Jana and Na Li and Shaoshuai Mou and Meeko Oishi and Chunyi Peng and Tiark Rompf and Ashutosh Sabharwal and Shreyas Sundaram and James Weimer and Jennifer Weller
Source: Self-asserted source
Tiark Rompf

Resilient Cyberphysical Systems and their Application Drivers: A Technology Roadmap

CoRR
2020 | Journal article
Contributors: Somali Chaterji; Parinaz Naghizadeh; Muhammad Ashraful Alam; Saurabh Bagchi; Mung Chiang; David Corman; Brian J. Henz; Suman Jana; Na Li; Shaoshuai Mou et al.
Source: Self-asserted source
Tiark Rompf

A SQL to C compiler in 500 lines of code

J. Funct. Program.
2019 | Journal article
Contributors: Tiark Rompf and Nada Amin
Source: Self-asserted source
Tiark Rompf

A SQL to C compiler in 500 lines of code

J. Funct. Program.
2019 | Journal article
Contributors: Tiark Rompf; Nada Amin
Source: Self-asserted source
Tiark Rompf

A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions

GPCE
2019 | Conference paper
Contributors: Alen Stojanov and Tiark Rompf and Markus Püschel
Source: Self-asserted source
Tiark Rompf

A stage-polymorphic IR for compiling MATLAB-style dynamic tensor expressions

GPCE
2019 | Conference paper
Contributors: Alen Stojanov; Tiark Rompf; Markus Püschel
Source: Self-asserted source
Tiark Rompf

AutoGraph: Imperative-style Coding with Graph-based Performance

MLSys
2019 | Conference paper
Contributors: Dan Moldovan and James M. Decker and Fei Wang and Andrew A. Johnson and Brian K. Lee and Zachary Nado and D. Sculley and Tiark Rompf and Alexander B. Wiltschko
Source: Self-asserted source
Tiark Rompf

AutoGraph: Imperative-style Coding with Graph-based Performance

MLSys
2019 | Conference paper
Contributors: Dan Moldovan; James M. Decker; Fei Wang; Andrew A. Johnson; Brian K. Lee; Zachary Nado; D. Sculley; Tiark Rompf; Alex; er B. Wiltschko
Source: Self-asserted source
Tiark Rompf

Compiling with continuations, or without? whatever

Proc. ACM Program. Lang.
2019 | Journal article
Contributors: Youyou Cong and Leo Osvald and Grégory M. Essertel and Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Compiling with continuations, or without? whatever

Proc. ACM Program. Lang.
2019 | Journal article
Contributors: Youyou Cong; Leo Osvald; Grégory M. Essertel; Tiark Rompf
Source: Self-asserted source
Tiark Rompf

Demystifying differentiable programming: shift/reset the penultimate backpropagator

Proc. ACM Program. Lang.
2019 | Journal article
Contributors: Fei Wang and Daniel Zheng and James M. Decker and Xilun Wu and Grégory M. Essertel and Tiark Rompf
Source: Self-asserted source
Tiark Rompf
Items per page:
Page 1 of 5