Lukasz Ziarek

According to our database, Lukasz Ziarek authored at least 93 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Validating IoT Devices with Rate-Based Session Types.

Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek

Proc. ACM Program. Lang., October, 2023

A Formal Model for Secure Multiparty Computation.

Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek

CoRR, 2023

PTDETECTOR: An Automated JavaScript Front-end Library Detector.

Xinyue Liu, Lukasz Ziarek

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense.

Zheyuan Ma, Xi Tan, Lukasz Ziarek, Ning Zhang, Hongxin Hu, Ziming Zhao

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Send to me first: Priority in synchronous message-passing.

Cheng-En Chuang, Grant Iraci, Lukasz Ziarek

J. Funct. Program., 2022

A quantitative analysis of system bottlenecks in visual SLAM.

Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu

Proceedings of the HotMobile '22: The 23rd International Workshop on Mobile Computing Systems and Applications, Tempe, Arizona, USA, March 9, 2022

A modular, extensible framework for modern visual SLAM systems.

Sofiya Semenova, Pranay Meshram, Timothy Chase, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu

Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022

Developing a Zen Click Fraud Detection Framework Using Smart Contracts.

Sean Sanders, Lukasz Ziarek

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

2021

A multiparty session typing discipline for fault-tolerant event-driven distributed programming.

Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek

Proc. ACM Program. Lang., 2021

Real-time MLton: A Standard ML runtime for real-time functional programs.

Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek

J. Funct. Program., 2021

TreeToaster: Towards an IVM-Optimized Compiler.

Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek

Proceedings of the SIGMOD '21: International Conference on Management of Data, 2021

Putting Gradual Types to Work.

Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2021

Synchronous Message-Passing with Priority.

Cheng-En Chuang, Grant Iraci, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2021

JCopter: Reliable UAV Software Through Managed Languages.

Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Understanding Bounding Functions in Safety-Critical UAV Software.

Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

A comparison and contrast of APKTool and Soot for injecting blockchain calls into Android applications.

Sean Sanders, Lukasz Ziarek

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2020

RTMLton: An SML Runtime for Real-Time Systems.

Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek

Proceedings of the Practical Aspects of Declarative Languages, 2020

Representing string computations as graphs for classifying malware.

Justin Del Vecchio, Steven Y. Ko, Lukasz Ziarek

Proceedings of the MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, 2020

2019

Android Malware Detection Using Complex-Flows.

Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek

IEEE Trans. Mob. Comput., 2019

Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness.

Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek

ACM Trans. Embed. Comput. Syst., 2019

Gesto: Mapping UI Events to Gestures and Voice Commands.

Chang Min Park, Taeyeon Ki, Ali J. Ben Ali, Nikhil Sunil Pawar, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proc. ACM Hum. Comput. Interact., 2019

OS-Based Energy Accounting for Asynchronous Resources in IoT Devices.

Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

IEEE Internet Things J., 2019

Just-in-Time Index Compilation.

Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy

CoRR, 2019

A survey of real-time capabilities in functional languages and compilers.

Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek

Concurr. Comput. Pract. Exp., 2019

Benchmarking Pocket-Scale Databases.

Carl Nuessle, Oliver Kennedy, Lukasz Ziarek

Proceedings of the Performance Evaluation and Benchmarking for the Era of Cloud(s), 2019

Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications.

Harishankar Vishwanathan, Chang Min Park, Sidharth Kumar Mishra, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 17th Annual International Conference on Mobile Systems, 2019

Mimic: UI compatibility testing system for Android apps.

Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 41st International Conference on Software Engineering, 2019

Fluid data structures.

Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy

Proceedings of the 17th ACM SIGPLAN International Symposium on Database Programming Languages, 2019

2018

Application validation on RTDroid.

Yin Yan, Lukasz Ziarek

SIGBED Rev., 2018

Map-based Algorithm Visualization with METAL Highway Data.

James D. Teresco, Razieh Fathi, Lukasz Ziarek, MariaRose Bamundo, Arjol Pengu, Clarice F. Tarbay

Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

jUAV: A Real-Time Java UAV Autopilot.

Adam Czerniejewski, Karthik Dantu, Lukasz Ziarek

Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

Improving Retention and Confidence Through Cross-Course Collaborative Project-Based Learning.

Jennifer Winikus, Lukasz Ziarek, Carl Alphonce, Jesse Hartloff

Proceedings of the IEEE Frontiers in Education Conference, 2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.

Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek

Proceedings of the Programming Languages and Systems, 2018

2017

RAINA: Reliability and Adaptability in Android for Fog Computing.

Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

IEEE Commun. Mag., 2017

Making Android Run on Time.

Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Poster: RTDroid: A Real-Time Solution with Android.

Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Poster: Android Malware Detection using Multi-Flows and API Patterns.

Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Demo: Enabling Dynamic Gesture Mapping with UI Events.

Chang Min Park, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Demo: Reptor: Enabling API Virtualization on Android for Platform Openness.

Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Demo: Fully Automated UI Testing System for Large-scale Android Apps Using Multiple Devices.

Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Reptor: Enabling API Virtualization on Android for Platform Openness.

Taeyeon Ki, Alexander Simeonov, Bhavika Pravin Jain, Chang Min Park, Keshav Sharma, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Toward Energy-Aware Programming for Unmanned Aerial Vehicles.

Yu David Liu, Lukasz Ziarek

Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

2016

RTDroid: A Design for Real-Time Android.

Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek

IEEE Trans. Mob. Comput., 2016

Adding real-time capabilities to a SML compiler.

Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

SIGBED Rev., 2016

Embedded SML using the MLton compiler.

Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

CoRR, 2016

Using a Multi-Tasking VM for Mobile Applications.

Yin Yan, Chunyu Chen, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 17th International Workshop on Mobile Computing Systems and Applications, 2016

Runtime Visualization and Verification in JIVE.

Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman

Proceedings of the Runtime Verification - 16th International Conference, 2016

Demo: API Virtualization for Platform Openness in Android.

Taeyeon Ki, Alexander Simeonov, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Real Time Sound Processing on Android.

Girish Gokul, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2016

jUAV: A Java Based System for Unmanned Aerial Vehicles.

Adam Czerniejewski, Shaun Cosgrove, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 14th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2016

OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems.

Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 2016 International Symposium on Low Power Electronics and Design, 2016

A Type Theory for Robust Failure Handling in Distributed Systems.

Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Real-time capabilities in functional languages.

Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek

Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016

2015

maybe We Should Enable More Uncertain Mobile App Programming.

Geoffrey Challen, Jerry Antony Ajay, Nick DiRienzo, Oliver Kennedy, Anudipa Maiti, Anandatirtha Nandugudi, Sriram Shantharam, Jinghao Shi, Guru Prasad Srinivasa, Lukasz Ziarek

Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, 2015

Pocket Data: The Need for TPC-MOBILE.

Oliver Kennedy, Jerry Antony Ajay, Geoffrey Challen, Lukasz Ziarek

Proceedings of the Performance Evaluation and Benchmarking: Traditional to Big Data to Internet of Things, 2015

Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015).

Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Toward a Java based infrastructure for unmanned aerial vehicles.

Yu David Liu, Lukasz Ziarek

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

String Analysis of Android Applications (N).

Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

The Fiji MultiVM Architecture.

Lukasz Ziarek, Ethan Blanton

Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Just-In-Time Data Structures.

Oliver Kennedy, Lukasz Ziarek

Proceedings of the Seventh Biennial Conference on Innovative Data Systems Research, 2015

2014

MultiMLton: A multicore-aware runtime for standard ML.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

J. Funct. Program., 2014

JI.FI: Visual test and debug queries for hard real-time.

Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman

Concurr. Comput. Pract. Exp., 2014

R^CML: A Prescription for Safely Relaxing Synchrony.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Practical Aspects of Declarative Languages, 2014

Real-time android with RTDroid.

Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Poster: Retro: an automated, application-layer record and replay for android.

Taeyeon Ki, Satyaditya Munipalle, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Information flows as a permission mechanism.

Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Real-Time Sensing on Android.

Yin Yan, Shaun Cosgrove, Ethan Blanton, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems, 2014

2013

Efficient sessions.

K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster

Sci. Comput. Program., 2013

BarQL: Collaborating Through Change

Oliver Kennedy, Lukasz Ziarek

CoRR, 2013

Monadic Logs for Collaborative Web Applications.

Sumit Agarwal, Daniel Bellinger, Oliver Kennedy, Ankur Upadhyay, Lukasz Ziarek

Proceedings of the 16th International Workshop on the Web and Databases 2013, 2013

Flow Permissions for Android.

Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

RTDroid: a design for real-time Android.

Yin Yan, Sree Harsha Konduri, Amit Kulkarni, Varun Anand, Steven Y. Ko, Lukasz Ziarek

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

Non-blocking inter-partition communication with wait-free pair transactions.

Ethan Blanton, Lukasz Ziarek

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012

Abstracting Context in Event-Based Software.

Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster

LNCS Trans. Aspect Oriented Softw. Dev., 2012

A Coherent and Managed Runtime for ML on the SCC.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the Many-core Applications Research Community (MARC) Symposium at RWTH Aachen University, 2012

Ji.Fi: visual test and debug queries for hard real-time.

Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Eliminating read barriers through procrastination and cleanliness.

K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan

Proceedings of the International Symposium on Memory Management, 2012

2011

Isolating Determinism in Multi-threaded Programs.

Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan

Proceedings of the Runtime Verification - Second International Conference, 2011

Composable asynchronous events.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Putting events in context: aspects for event-based distributed programming.

Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster

Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010

Lightweight checkpointing for concurrent ML.

Lukasz Ziarek, Suresh Jagannathan

J. Funct. Program., 2010

Lightweight asynchrony using parasitic threads.

K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan

Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Schism: fragmentation-tolerant real-time garbage collection.

Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper.

Lukasz Ziarek

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

High-level programming of embedded hard real-time devices.

Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek

Proceedings of the European Conference on Computer Systems, 2010

Efficient Session Type Guided Distributed Interaction.

K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

Speculative N-Way barriers.

Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar

Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Real time Java on resource-constrained platforms with Fiji VM.

Filip Pizlo, Lukasz Ziarek, Jan Vitek

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Partial memoization of concurrency and communication.

Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Flattening tuples in an SSA intermediate representation.

Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan

High. Order Symb. Comput., 2008

A Uniform Transactional Execution Environment for Java.

Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan

Proceedings of the ECOOP 2008, 2008

2006

Modular Checkpointing for Atomicity.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the Thread Verification Workshop, 2006

Stabilizers: a modular checkpointing abstraction for concurrent functional programs.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006