default search action
Lukasz Ziarek
Luke Ziarek
Person information
- affiliation: University at Buffalo, NY, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j19]Grant Iraci
, Cheng-En Chuang
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7(OOPSLA2): 1589-1617 (2023) - [c71]Zheyuan Ma
Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. DAC 2023: 1-6 - [c70]Xinyue Liu, Lukasz Ziarek:
PTDETECTOR: An Automated JavaScript Front-end Library Detector. ASE 2023: 649-660 - [i8]Amy Rathore, Marina Blanton
A Formal Model for Secure Multiparty Computation. CoRR abs/2306.00308 (2023) - 2022
- [j18]Cheng-En Chuang
Send to me first: Priority in synchronous message-passing. J. Funct. Program. 32: e16 (2022) - [c69]Sean Sanders, Lukasz Ziarek:
Developing a Zen Click Fraud Detection Framework Using Smart Contracts. HICSS 2022: 1-10 - [c68]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: 579-580 - [c67]Sofiya Semenova
A quantitative analysis of system bottlenecks in visual SLAM. HotMobile 2022: 74-80 - [e7]Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger:
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9911-1 [contents] - 2021
- [j17]Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek:
Real-time MLton: A Standard ML runtime for real-time functional programs. J. Funct. Program. 31: e19 (2021) - [j16]Malte Viering, Raymond Hu
A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c66]Sean Sanders, Lukasz Ziarek:
A comparison and contrast of APKTool and Soot for injecting blockchain calls into Android applications. HICSS 2021: 1-9 - [c65]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. ICSE 2021: 1311-1322 - [c64]Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek:
JCopter: Reliable UAV Software Through Managed Languages. IROS 2021: 4282-4289 - [c63]Cheng-En Chuang, Grant Iraci
Synchronous Message-Passing with Priority. PADL 2021: 37-53 - [c62]Bhargav Shivkumar
Putting Gradual Types to Work. PADL 2021: 54-70 - [c61]Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek:
TreeToaster: Towards an IVM-Optimized Compiler. SIGMOD Conference 2021: 155-167 - [i7]Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek:
Putting gradual types to work. CoRR abs/2101.12299 (2021) - [i6]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. CoRR abs/2102.07020 (2021) - [i5]Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek:
TreeToaster: Towards an IVM-Optimized Compiler. CoRR abs/2104.01241 (2021) - 2020
- [c60]Justin Del Vecchio, Steven Y. Ko, Lukasz Ziarek:
Representing string computations as graphs for classifying malware. MOBILESoft@ICSE 2020: 120-131 - [c59]Bhargav Shivkumar
RTMLton: An SML Runtime for Real-Time Systems. PADL 2020: 113-130
2010 – 2019
- 2019
- [j15]Jeffrey C. Murphy, Bhargav Shivkumar
A survey of real-time capabilities in functional languages and compilers. Concurr. Comput. Pract. Exp. 31(4) (2019) - [j14]Farshad Ghanei
OS-Based Energy Accounting for Asynchronous Resources in IoT Devices. IEEE Internet Things J. 6(3): 5841-5852 (2019) - [j13]Chang Min Park, Taeyeon Ki, Ali J. Ben Ali
Gesto: Mapping UI Events to Gestures and Voice Commands. Proc. ACM Hum. Comput. Interact. 3(EICS): 5:1-5:22 (2019) - [j12]Yin Yan
Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. 17(6): 97:1-97:26 (2019) - [j11]Feng Shen
Android Malware Detection Using Complex-Flows. IEEE Trans. Mob. Comput. 18(6): 1231-1245 (2019) - [c58]Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy:
Fluid data structures. DBPL 2019: 3-17 - [c57]Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Mimic: UI compatibility testing system for Android apps. ICSE 2019: 246-256 - [c56]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: 610-611 - [c55]Carl Nuessle
Benchmarking Pocket-Scale Databases. TPCTC 2019: 99-115 - [e6]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant'Anna, Lukasz Ziarek, Tetsuo Kamina, Hidehiko Masuhara:
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019. ACM 2019, ISBN 978-1-4503-6986-2 [contents] - [i4]Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy:
Just-in-Time Index Compilation. CoRR abs/1901.07627 (2019) - 2018
- [j10]Yin Yan, Lukasz Ziarek:
Application validation on RTDroid. SIGBED Rev. 15(4): 7-14 (2018) - [c54]Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP 2018: 799-826 - [c53]Jennifer Winikus
Improving Retention and Confidence Through Cross-Course Collaborative Project-Based Learning. FIE 2018: 1-5 - [c52]Adam Czerniejewski, Karthik Dantu, Lukasz Ziarek:
jUAV: A Real-Time Java UAV Autopilot. IRC 2018: 258-261 - [c51]James D. Teresco
Map-based Algorithm Visualization with METAL Highway Data. SIGCSE 2018: 550-555 - [e5]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna:
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. ACM 2018, ISBN 978-1-4503-6070-8 [contents] - 2017
- [j9]Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
RAINA: Reliability and Adaptability in Android for Fog Computing. IEEE Commun. Mag. 55(4): 41-45 (2017) - [c50]Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek:
Android Malware Detection Using Complex-Flows. ICDCS 2017: 2430-2437 - [c49]Yu David Liu, Lukasz Ziarek:
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE 2017: 30-33 - [c48]Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Poster: RTDroid: A Real-Time Solution with Android. MobiSys 2017: 168 - [c47]Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek:
Poster: Android Malware Detection using Multi-Flows and API Patterns. MobiSys 2017: 171 - [c46]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: 185 - [c45]Chang Min Park, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: Enabling Dynamic Gesture Mapping with UI Events. MobiSys 2017: 191 - [c44]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: 193 - [c43]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: 399-412 - [c42]Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek:
Making Android Run on Time. RTAS 2017: 25-36 - [e4]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017. ACM 2017, ISBN 978-1-4503-5515-5 [contents] - 2016
- [j8]Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Adding real-time capabilities to a SML compiler. SIGBED Rev. 13(2): 8-13 (2016) - [j7]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): 2564-2584 (2016) - [c41]Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Real-time capabilities in functional languages. DCPS 2016: 1-10 - [c40]Tzu-Chun Chen
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE 2016: 96-113 - [c39]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: 296-301 - [c38]Adam Czerniejewski, Shaun Cosgrove, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
jUAV: A Java Based System for Unmanned Aerial Vehicles. JTRES 2016: 2:1-2:10 - [c37]Girish Gokul, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Real Time Sound Processing on Android. JTRES 2016: 3:1-3:10 - [c36]Taeyeon Ki, Alexander Simeonov, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: API Virtualization for Platform Openness in Android. MobiSys (Companion Volume) 2016: 107 - [c35]Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
Runtime Visualization and Verification in JIVE. RV 2016: 493-497 - [c34]Yin Yan, Chunyu Chen, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Using a Multi-Tasking VM for Mobile Applications. HotMobile 2016: 93-98 - [e3]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016. ACM 2016, ISBN 978-1-4503-4644-3 [contents] - [e2]Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens:
Transactions on Modularity and Composition I. Lecture Notes in Computer Science 9800, 2016, ISBN 978-3-319-46968-3 [contents] - [i3]Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Adding Real-time Capabilities to a SML Compiler. CoRR abs/1601.03116 (2016) - [i2]Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Embedded SML using the MLton compiler. CoRR abs/1608.07206 (2016) - 2015
- [c33]Oliver Kennedy, Lukasz Ziarek:
Just-In-Time Data Structures. CIDR 2015 - [c32]Lukasz Ziarek, Ethan Blanton:
The Fiji MultiVM Architecture. JTRES 2015: 9:1-9:10 - [c31]Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek:
String Analysis of Android Applications (N). ASE 2015: 680-685 - [c30]Yu David Liu, Lukasz Ziarek:
Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) 2015: 56-57 - [c29]Guido Salvaneschi
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) 2015: 109-110 - [c28]Oliver Kennedy, Jerry Antony Ajay, Geoffrey Challen, Lukasz Ziarek:
Pocket Data: The Need for TPC-MOBILE. TPCTC 2015: 8-25 - [c27]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: 105-110 - [e1]Lukasz Ziarek:
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2015, Paris, France, October 7-8, 2015. ACM 2015, ISBN 978-1-4503-3644-4 [contents] - 2014
- [j6]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): 2456-2487 (2014) - [j5]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24(6): 613-674 (2014) - [c26]Yin Yan, Shaun Cosgrove, Ethan Blanton, Steven Y. Ko, Lukasz Ziarek:
Real-Time Sensing on Android. JTRES 2014: 67 - [c25]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: 515-526 - [c24]Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek:
Real-time android with RTDroid. MobiSys 2014: 273-286 - [c23]Taeyeon Ki, Satyaditya Munipalle, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Poster: Retro: an automated, application-layer record and replay for android. MobiSys 2014: 373 - [c22]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
RCML: A Prescription for Safely Relaxing Synchrony. PADL 2014: 1-16 - 2013
- [j4]K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster:
Efficient sessions. Sci. Comput. Program. 78(2): 147-167 (2013) - [c21]Ethan Blanton, Lukasz Ziarek:
Non-blocking inter-partition communication with wait-free pair transactions. JTRES 2013: 58-67 - [c20]Yin Yan, Sree Harsha Konduri, Amit Kulkarni, Varun Anand, Steven Y. Ko, Lukasz Ziarek:
RTDroid: a design for real-time Android. JTRES 2013: 98-107 - [c19]Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek:
Flow Permissions for Android. ASE 2013: 652-657 - [c18]Sumit Agarwal, Daniel Bellinger, Oliver Kennedy, Ankur Upadhyay, Lukasz Ziarek:
Monadic Logs for Collaborative Web Applications. WebDB 2013: 37-42 - [i1]Oliver Kennedy, Lukasz Ziarek:
BarQL: Collaborating Through Change. CoRR abs/1303.4471 (2013) - 2012
- [j3]Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster:
Abstracting Context in Event-Based Software. LNCS Trans. Aspect Oriented Softw. Dev. 9: 123-167 (2012) - [c17]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
Eliminating read barriers through procrastination and cleanliness. ISMM 2012: 49-60 - [c16]Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman:
Ji.Fi: visual test and debug queries for hard real-time. JTRES 2012: 155-164 - [c15]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH 2012: 20-35 - 2011
- [c14]Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster:
Putting events in context: aspects for event-based distributed programming. AOSD 2011: 241-252 - [c13]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Composable asynchronous events. PLDI 2011: 628-639 - [c12]Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan:
Isolating Determinism in Multi-threaded Programs. RV 2011: 63-77 - 2010
- [j2]Lukasz Ziarek, Suresh Jagannathan:
Lightweight checkpointing for concurrent ML. J. Funct. Program. 20(2): 137-173 (2010) - [c11]K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster:
Efficient Session Type Guided Distributed Interaction. COORDINATION 2010: 152-167 - [c10]Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek:
High-level programming of embedded hard real-time devices. EuroSys 2010: 69-82 - [c9]Lukasz Ziarek:
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. JTRES 2010: 82-84 - [c8]Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking
Schism: fragmentation-tolerant real-time garbage collection. PLDI 2010: 146-159 - [c7]K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan:
Lightweight asynchrony using parasitic threads. DAMP 2010: 63-72
2000 – 2009
- 2009
- [c6]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Partial memoization of concurrency and communication. ICFP 2009: 161-172 - [c5]Filip Pizlo, Lukasz Ziarek, Jan Vitek:
Real time Java on resource-constrained platforms with Fiji VM. JTRES 2009: 110-119 - [c4]Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. DAMP 2009: 1-12 - 2008
- [j1]Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. 21(3): 333-358 (2008) - [c3]Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154 - 2006
- [c2]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147 - [c1]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Modular Checkpointing for Atomicity. TV@FLoC 2006: 85-115
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 21:42 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: