Lukasz Ziarek

According to our database1, Lukasz Ziarek authored at least 66 papers between 2006 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Application validation on RTDroid.
SIGBED Review, 2018

Map-based Algorithm Visualization with METAL Highway Data.
Proceedings of the 49th ACM Technical Symposium on Computer Science Education, 2018

jUAV: A Real-Time Java UAV Autopilot.
Proceedings of the Second IEEE International Conference on Robotic Computing, 2018

A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.
Proceedings of the Programming Languages and Systems, 2018

2017
RAINA: Reliability and Adaptability in Android for Fog Computing.
IEEE Communications Magazine, 2017

Making Android Run on Time.
Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Poster: RTDroid: A Real-Time Solution with Android.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Poster: Android Malware Detection using Multi-Flows and API Patterns.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Demo: Enabling Dynamic Gesture Mapping with UI Events.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Demo: Reptor: Enabling API Virtualization on Android for Platform Openness.
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.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Reptor: Enabling API Virtualization on Android for Platform Openness.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017

Toward Energy-Aware Programming for Unmanned Aerial Vehicles.
Proceedings of the 3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2017

Android Malware Detection Using Complex-Flows.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017

2016
RTDroid: A Design for Real-Time Android.
IEEE Trans. Mob. Comput., 2016

Adding real-time capabilities to a SML compiler.
SIGBED Review, 2016

Embedded SML using the MLton compiler.
CoRR, 2016

Adding Real-time Capabilities to a SML Compiler.
CoRR, 2016

Using a Multi-Tasking VM for Mobile Applications.
Proceedings of the 17th International Workshop on Mobile Computing Systems and Applications, 2016

Runtime Visualization and Verification in JIVE.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Demo: API Virtualization for Platform Openness in Android.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016

Real Time Sound Processing on Android.
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.
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.
Proceedings of the 2016 International Symposium on Low Power Electronics and Design, 2016

A Type Theory for Robust Failure Handling in Distributed Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Real-time capabilities in functional languages.
Proceedings of the 1st CPSWeek Workshop on Declarative Cyber-Physical Systems, 2016

2015
maybe We Should Enable More Uncertain Mobile App Programming.
Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, 2015

Pocket Data: The Need for TPC-MOBILE.
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).
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

Toward a Java based infrastructure for unmanned aerial vehicles.
Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

String Analysis of Android Applications (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

The Fiji MultiVM Architecture.
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, 2015

Just-In-Time Data Structures.
Proceedings of the CIDR 2015, 2015

2014
MultiMLton: A multicore-aware runtime for standard ML.
J. Funct. Program., 2014

JI.FI: Visual test and debug queries for hard real-time.
Concurrency and Computation: Practice and Experience, 2014

RCML: A Prescription for Safely Relaxing Synchrony.
Proceedings of the Practical Aspects of Declarative Languages, 2014

Real-time android with RTDroid.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Poster: Retro: an automated, application-layer record and replay for android.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014

Information flows as a permission mechanism.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

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

2013
Efficient sessions.
Sci. Comput. Program., 2013

BarQL: Collaborating Through Change
CoRR, 2013

Monadic Logs for Collaborative Web Applications.
Proceedings of the 16th International Workshop on the Web and Databases 2013, 2013

Flow Permissions for Android.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

RTDroid: a design for real-time Android.
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.
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems, 2013

2012
Abstracting Context in Event-Based Software.
Trans. Aspect-Oriented Software Development, 2012

A Coherent and Managed Runtime for ML on the SCC.
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.
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems, 2012

Eliminating read barriers through procrastination and cleanliness.
Proceedings of the International Symposium on Memory Management, 2012

2011
Isolating Determinism in Multi-threaded Programs.
Proceedings of the Runtime Verification - Second International Conference, 2011

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

Putting events in context: aspects for event-based distributed programming.
Proceedings of the 10th International Conference on Aspect-Oriented Software Development, 2011

2010
Lightweight checkpointing for concurrent ML.
J. Funct. Program., 2010

Lightweight asynchrony using parasitic threads.
Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, 2010

Schism: fragmentation-tolerant real-time garbage collection.
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.
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.
Proceedings of the European Conference on Computer Systems, 2010

Efficient Session Type Guided Distributed Interaction.
Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009
Speculative N-Way barriers.
Proceedings of the POPL 2009 Workshop on Declarative Aspects of Multicore Programming, 2009

Real time Java on resource-constrained platforms with Fiji VM.
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2009

Partial memoization of concurrency and communication.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Flattening tuples in an SSA intermediate representation.
Higher-Order and Symbolic Computation, 2008

A Uniform Transactional Execution Environment for Java.
Proceedings of the ECOOP 2008, 2008

2007
Modular Checkpointing for Atomicity.
Electr. Notes Theor. Comput. Sci., 2007

2006
Stabilizers: a modular checkpointing abstraction for concurrent functional programs.
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006


  Loading...