Lukasz Ziarek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
43
Venues
22
Active years
2006–2023
Best venue rank
A*
Where they publish
Papers
43 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DAC | 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 |
| 2022 | Mobisys | A modular, extensible framework for modern visual SLAM systems. | Sofiya Semenova, Pranay Meshram, Timothy Chase Jr., Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu |
| 2021 | IROS | JCopter: Reliable UAV Software Through Managed Languages. | Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek |
| 2021 | ICSE | Understanding Bounding Functions in Safety-Critical UAV Software. | Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu |
| 2021 | PADL | Synchronous Message-Passing with Priority. | Cheng-En Chuang, Grant Iraci, Lukasz Ziarek |
| 2021 | PADL | Putting Gradual Types to Work. | Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek |
| 2021 | SIGMOD | TreeToaster: Towards an IVM-Optimized Compiler. | Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek |
| 2020 | ICSE | Representing string computations as graphs for classifying malware. | Justin Del Vecchio, Steven Y. Ko, Lukasz Ziarek |
| 2020 | PADL | RTMLton: An SML Runtime for Real-Time Systems. | Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek |
| 2019 | ICSE | Mimic: UI compatibility testing system for Android apps. | Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2019 | Mobisys | 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 |
| 2018 | ESOP | A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. | Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek |
| 2018 | FIE | Improving Retention and Confidence Through Cross-Course Collaborative Project-Based Learning. | Jennifer Winikus, Lukasz Ziarek, Carl Alphonce, Jesse Hartloff |
| 2018 | SIGCSE | Map-based Algorithm Visualization with METAL Highway Data. | James D. Teresco, Razieh Fathi, Lukasz Ziarek, MariaRose Bamundo, Arjol Pengu, Clarice F. Tarbay |
| 2017 | ICDCS | Android Malware Detection Using Complex-Flows. | Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek |
| 2017 | ICSE | Toward Energy-Aware Programming for Unmanned Aerial Vehicles. | Yu David Liu, Lukasz Ziarek |
| 2017 | Mobisys | 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 |
| 2017 | Mobisys | 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 |
| 2017 | Mobisys | Demo: Reptor: Enabling API Virtualization on Android for Platform Openness. | Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2017 | Mobisys | Demo: Enabling Dynamic Gesture Mapping with UI Events. | Chang Min Park, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2017 | Mobisys | Poster: Android Malware Detection using Multi-Flows and API Patterns. | Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek |
| 2017 | Mobisys | Poster: RTDroid: A Real-Time Solution with Android. | Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2017 | RTAS | Making Android Run on Time. | Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek |
| 2016 | FORTE | A Type Theory for Robust Failure Handling in Distributed Systems. | Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster |
| 2016 | ISLPED | OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems. | Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2016 | Mobisys | Demo: API Virtualization for Platform Openness in Android. | Taeyeon Ki, Alexander Simeonov, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2016 | RV | Runtime Visualization and Verification in JIVE. | Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman |
| 2015 | CIDR | Just-In-Time Data Structures. | Oliver Kennedy, Lukasz Ziarek |
| 2015 | OOPSLA | Toward a Java based infrastructure for unmanned aerial vehicles. | Yu David Liu, Lukasz Ziarek |
| 2015 | OOPSLA | Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). | Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek |
| 2014 | Mobisys | Poster: Retro: an automated, application-layer record and replay for android. | Taeyeon Ki, Satyaditya Munipalle, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek |
| 2014 | Mobisys | Real-time android with RTDroid. | Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek |
| 2014 | PADL | R | K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan |
| 2011 | PLDI | Composable asynchronous events. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2011 | RV | Isolating Determinism in Multi-threaded Programs. | Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan |
| 2010 | Coordination | Efficient Session Type Guided Distributed Interaction. | K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster |
| 2010 | EuroSys | High-level programming of embedded hard real-time devices. | Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek |
| 2010 | PLDI | Schism: fragmentation-tolerant real-time garbage collection. | Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking, Ethan Blanton, Jan Vitek |
| 2010 | POPL | Lightweight asynchrony using parasitic threads. | K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan |
| 2009 | ICFP | Partial memoization of concurrency and communication. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2009 | POPL | Speculative N-Way barriers. | Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar |
| 2008 | ECOOP | A Uniform Transactional Execution Environment for Java. | Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan |
| 2006 | ICFP | Stabilizers: a modular checkpointing abstraction for concurrent functional programs. | Lukasz Ziarek, Philip Schatz, Suresh Jagannathan |