Lukasz Ziarek

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 57

Top Topics

Garbage Collection

Information Flows

Android Application

Malware Detection

Top Venues

Publications

Amy Rathore, Marina Blanton, Marco Gaboardi, Lukasz Ziarek
A Formal Model for Secure Multiparty Computation. CoRR (2023)
Grant Iraci, Cheng-En Chuang, Raymond Hu, Lukasz Ziarek
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Zheyuan Ma, Xi Tan, Lukasz Ziarek, Ning Zhang, Hongxin Hu, Ziming Zhao
Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. DAC (2023)
Xinyue Liu, Lukasz Ziarek
PTDETECTOR: An Automated JavaScript Front-end Library Detector. ASE (2023)
Sofiya Semenova, Pranay Meshram, Timothy Chase, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
A modular, extensible framework for modern visual SLAM systems. MobiSys (2022)
Sofiya Semenova, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu
A quantitative analysis of system bottlenecks in visual SLAM. HotMobile (2022)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Send to me first: Priority in synchronous message-passing. J. Funct. Program. 32 (2022)
Sean Sanders, Lukasz Ziarek
Developing a Zen Click Fraud Detection Framework Using Smart Contracts. HICSS (2022)
Malte Viering, Raymond Hu, Patrick Eugster, Lukasz Ziarek
A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
Putting gradual types to work. CoRR (2021)
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
Understanding Bounding Functions in Safety-Critical UAV Software. CoRR (2021)
Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek
TreeToaster: Towards an IVM-Optimized Compiler. CoRR (2021)
Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek
TreeToaster: Towards an IVM-Optimized Compiler. SIGMOD Conference (2021)
Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek
Real-time MLton: A Standard ML runtime for real-time functional programs. J. Funct. Program. 31 (2021)
Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu
Understanding Bounding Functions in Safety-Critical UAV Software. ICSE (2021)
Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek
Putting Gradual Types to Work. PADL (2021)
Cheng-En Chuang, Grant Iraci, Lukasz Ziarek
Synchronous Message-Passing with Priority. PADL (2021)
Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek
JCopter: Reliable UAV Software Through Managed Languages. IROS (2021)
Justin Del Vecchio, Steven Y. Ko, Lukasz Ziarek
Representing string computations as graphs for classifying malware. MOBILESoft@ICSE (2020)
Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek
RTMLton: An SML Runtime for Real-Time Systems. PADL (2020)
Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek
Android Malware Detection Using Complex-Flows. IEEE Trans. Mob. Comput. 18 (6) (2019)
Jeffrey C. Murphy, Bhargav Shivkumar, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek
A survey of real-time capabilities in functional languages and compilers. Concurr. Comput. Pract. Exp. 31 (4) (2019)
Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy
Just-in-Time Index Compilation. CoRR (2019)
Carl Nuessle, Oliver Kennedy, Lukasz Ziarek
Benchmarking Pocket-Scale Databases. TPCTC (2019)
Harishankar Vishwanathan, Chang Min Park, Sidharth Kumar Mishra, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications. MobiSys (2019)
Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy
Fluid data structures. DBPL (2019)
Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
OS-Based Energy Accounting for Asynchronous Resources in IoT Devices. IEEE Internet Things J. 6 (3) (2019)
Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek
Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. 17 (6) (2019)
Chang Min Park, Taeyeon Ki, Ali J. Ben Ali, Nikhil Sunil Pawar, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Gesto: Mapping UI Events to Gestures and Voice Commands. Proc. ACM Hum. Comput. Interact. 3 (EICS) (2019)
Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Mimic: UI compatibility testing system for Android apps. ICSE (2019)
Adam Czerniejewski, Karthik Dantu, Lukasz Ziarek
jUAV: A Real-Time Java UAV Autopilot. IRC (2018)
James D. Teresco, Razieh Fathi, Lukasz Ziarek, MariaRose Bamundo, Arjol Pengu, Clarice F. Tarbay
Map-based Algorithm Visualization with METAL Highway Data. SIGCSE (2018)
Yin Yan, Lukasz Ziarek
Application validation on RTDroid. SIGBED Rev. 15 (4) (2018)
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP (2018)
Jennifer Winikus, Lukasz Ziarek, Carl Alphonce, Jesse Hartloff
Improving Retention and Confidence Through Cross-Course Collaborative Project-Based Learning. FIE (2018)
Yu David Liu, Lukasz Ziarek
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE (2017)
Chang Min Park, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Demo: Enabling Dynamic Gesture Mapping with UI Events. MobiSys (2017)
Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
RAINA: Reliability and Adaptability in Android for Fog Computing. IEEE Commun. Mag. 55 (4) (2017)
Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek
Android Malware Detection Using Complex-Flows. ICDCS (2017)
Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek
Making Android Run on Time. RTAS (2017)
Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Poster: RTDroid: A Real-Time Solution with Android. MobiSys (2017)
Taeyeon Ki, Alexander Simeonov, Bhavika Pravin Jain, Chang Min Park, Keshav Sharma, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Reptor: Enabling API Virtualization on Android for Platform Openness. MobiSys (2017)
Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek
Poster: Android Malware Detection using Multi-Flows and API Patterns. MobiSys (2017)
Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Demo: Fully Automated UI Testing System for Large-scale Android Apps Using Multiple Devices. MobiSys (2017)
Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Demo: Reptor: Enabling API Virtualization on Android for Platform Openness. MobiSys (2017)
Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Adding Real-time Capabilities to a SML Compiler. CoRR (2016)
Taeyeon Ki, Alexander Simeonov, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Demo: API Virtualization for Platform Openness in Android. MobiSys (Companion Volume) (2016)
Yin Yan, Chunyu Chen, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Using a Multi-Tasking VM for Mobile Applications. HotMobile (2016)
Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Adding real-time capabilities to a SML compiler. SIGBED Rev. 13 (2) (2016)
Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
Runtime Visualization and Verification in JIVE. RV (2016)
Girish Gokul, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Real Time Sound Processing on Android. JTRES (2016)
Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems. ISLPED (2016)
Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Embedded SML using the MLton compiler. CoRR (2016)
Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE (2016)
Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek
RTDroid: A Design for Real-Time Android. IEEE Trans. Mob. Comput. 15 (10) (2016)
Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek
Real-time capabilities in functional languages. DCPS (2016)
Adam Czerniejewski, Shaun Cosgrove, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
jUAV: A Java Based System for Unmanned Aerial Vehicles. JTRES (2016)
Geoffrey Challen, Jerry Antony Ajay, Nick DiRienzo, Oliver Kennedy, Anudipa Maiti, Anandatirtha Nandugudi, Sriram Shantharam, Jinghao Shi, Guru Prasad Srinivasa, Lukasz Ziarek
maybe We Should Enable More Uncertain Mobile App Programming. HotMobile (2015)
Oliver Kennedy, Lukasz Ziarek
Just-In-Time Data Structures. CIDR (2015)
Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) (2015)
Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek
String Analysis of Android Applications (N). ASE (2015)
Oliver Kennedy, Jerry Antony Ajay, Geoffrey Challen, Lukasz Ziarek
Pocket Data: The Need for TPC-MOBILE. TPCTC (2015)
Lukasz Ziarek, Ethan Blanton
The Fiji MultiVM Architecture. JTRES (2015)
Yu David Liu, Lukasz Ziarek
Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) (2015)
Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek
Information flows as a permission mechanism. ASE (2014)
Yin Yan, Shaun Cosgrove, Ethan Blanton, Steven Y. Ko, Lukasz Ziarek
Real-Time Sensing on Android. JTRES (2014)
Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman
JI.FI: Visual test and debug queries for hard real-time. Concurr. Comput. Pract. Exp. 26 (14) (2014)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
: A Prescription for Safely Relaxing Synchrony. PADL (2014)
Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek
Real-time android with RTDroid. MobiSys (2014)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24 (6) (2014)
Taeyeon Ki, Satyaditya Munipalle, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek
Poster: Retro: an automated, application-layer record and replay for android. MobiSys (2014)
Oliver Kennedy, Lukasz Ziarek
BarQL: Collaborating Through Change CoRR (2013)
K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster
Efficient sessions. Sci. Comput. Program. 78 (2) (2013)
Sumit Agarwal, Daniel Bellinger, Oliver Kennedy, Ankur Upadhyay, Lukasz Ziarek
Monadic Logs for Collaborative Web Applications. WebDB (2013)
Ethan Blanton, Lukasz Ziarek
Non-blocking inter-partition communication with wait-free pair transactions. JTRES (2013)
Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek
Flow Permissions for Android. ASE (2013)
Yin Yan, Sree Harsha Konduri, Amit Kulkarni, Varun Anand, Steven Y. Ko, Lukasz Ziarek
RTDroid: a design for real-time Android. JTRES (2013)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH (2012)
K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan
Eliminating read barriers through procrastination and cleanliness. ISMM (2012)
Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster
Abstracting Context in Event-Based Software. LNCS Trans. Aspect Oriented Softw. Dev. 9 (2012)
Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman
Ji.Fi: visual test and debug queries for hard real-time. JTRES (2012)
Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan
Isolating Determinism in Multi-threaded Programs. RV (2011)
Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster
Putting events in context: aspects for event-based distributed programming. AOSD (2011)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Composable asynchronous events. PLDI (2011)
Lukasz Ziarek
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. JTRES (2010)
Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek
High-level programming of embedded hard real-time devices. EuroSys (2010)
K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan
Lightweight asynchrony using parasitic threads. DAMP (2010)
Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek
Schism: fragmentation-tolerant real-time garbage collection. PLDI (2010)
K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster
Efficient Session Type Guided Distributed Interaction. COORDINATION (2010)
Lukasz Ziarek, Suresh Jagannathan
Lightweight checkpointing for concurrent ML. J. Funct. Program. 20 (2) (2010)
Filip Pizlo, Lukasz Ziarek, Jan Vitek
Real time Java on resource-constrained platforms with Fiji VM. JTRES (2009)
Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar
Speculative N-Way barriers. DAMP (2009)
Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan
Partial memoization of concurrency and communication. ICFP (2009)
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan
A Uniform Transactional Execution Environment for Java. ECOOP (2008)
Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan
Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. 21 (3) (2008)
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
Modular Checkpointing for Atomicity. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Lukasz Ziarek, Philip Schatz, Suresh Jagannathan
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP (2006)