Lukasz Ziarek - RankMe

112 papers A* 9A 21B 2C 8Misc 3Journal 34Unranked 28

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