Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Lukasz Ziarek
@article{DBLP:journals/pacmpl/IraciCHZ23,
author = {Grant Iraci and
Cheng{-}En Chuang and
Raymond Hu and
Lukasz Ziarek},
title = {Validating IoT Devices with Rate-Based Session Types},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{OOPSLA2}},
pages = {1589--1617},
year = {2023},
url = {https://doi.org/10.1145/3622854},
doi = {10.1145/3622854},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/IraciCHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/MaTZZHZ23,
author = {Zheyuan Ma and
Xi Tan and
Lukasz Ziarek and
Ning Zhang and
Hongxin Hu and
Ziming Zhao},
title = {Return-to-Non-Secure Vulnerabilities on {ARM} Cortex-M TrustZone:
Attack and Defense},
booktitle = {60th {ACM/IEEE} Design Automation Conference, {DAC} 2023, San Francisco,
CA, USA, July 9-13, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/DAC56929.2023.10247972},
doi = {10.1109/DAC56929.2023.10247972},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/MaTZZHZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LiuZ23,
author = {Xinyue Liu and
Lukasz Ziarek},
title = {{PTDETECTOR:} An Automated JavaScript Front-end Library Detector},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023, Luxembourg, September 11-15, 2023},
pages = {649--660},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASE56229.2023.00049},
doi = {10.1109/ASE56229.2023.00049},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LiuZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-00308,
author = {Amy Rathore and
Marina Blanton and
Marco Gaboardi and
Lukasz Ziarek},
title = {A Formal Model for Secure Multiparty Computation},
journal = {CoRR},
volume = {abs/2306.00308},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.00308},
doi = {10.48550/ARXIV.2306.00308},
eprinttype = {arXiv},
eprint = {2306.00308},
timestamp = {Mon, 12 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-00308.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ChuangIZ22,
author = {Cheng{-}En Chuang and
Grant Iraci and
Lukasz Ziarek},
title = {Send to me first: Priority in synchronous message-passing},
journal = {J. Funct. Program.},
volume = {32},
pages = {e16},
year = {2022},
url = {https://doi.org/10.1017/S0956796822000119},
doi = {10.1017/S0956796822000119},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ChuangIZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SandersZ22,
author = {Sean Sanders and
Lukasz Ziarek},
title = {Developing a Zen Click Fraud Detection Framework Using Smart Contracts},
booktitle = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
pages = {1--10},
publisher = {ScholarSpace},
year = {2022},
url = {http://hdl.handle.net/10125/80230},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/SandersZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/SemenovaMCKLZD22,
author = {Sofiya Semenova and
Pranay Meshram and
Timothy Chase and
Steven Y. Ko and
Yu David Liu and
Lukasz Ziarek and
Karthik Dantu},
editor = {Nirupama Bulusu and
Ehsan Aryafar and
Aruna Balasubramanian and
Junehwa Song},
title = {A modular, extensible framework for modern visual {SLAM} systems},
booktitle = {MobiSys '22: The 20th Annual International Conference on Mobile Systems,
Applications and Services, Portland, Oregon, 27 June 2022 - 1 July
2022},
pages = {579--580},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3498361.3538793},
doi = {10.1145/3498361.3538793},
timestamp = {Wed, 22 Jun 2022 14:39:26 +0200},
biburl = {https://dblp.org/rec/conf/mobisys/SemenovaMCKLZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmcsa/SemenovaKLZD22,
author = {Sofiya Semenova and
Steven Y. Ko and
Yu David Liu and
Lukasz Ziarek and
Karthik Dantu},
editor = {Robert LiKamWa and
Urs Hengartner},
title = {A quantitative analysis of system bottlenecks in visual {SLAM}},
booktitle = {HotMobile '22: The 23rd International Workshop on Mobile Computing
Systems and Applications, Tempe, Arizona, USA, March 9 - 10, 2022},
pages = {74--80},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3508396.3512882},
doi = {10.1145/3508396.3512882},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wmcsa/SemenovaKLZD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2022rebls,
editor = {Wolfgang De Meuter and
Patrick Eugster and
Guido Salvaneschi and
Francisco Sant'Anna and
Lukasz Ziarek and
Pascal Weisenburger},
title = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on Reactive
and Event-Based Languages and Systems, {REBLS} 2022, Auckland, New
Zealand, 7 December 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3563837},
doi = {10.1145/3563837},
isbn = {978-1-4503-9911-1},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2022rebls.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ShivkumarMZ21,
author = {Bhargav Shivkumar and
Jeffrey C. Murphy and
Lukasz Ziarek},
title = {Real-time MLton: {A} Standard {ML} runtime for real-time functional
programs},
journal = {J. Funct. Program.},
volume = {31},
pages = {e19},
year = {2021},
url = {https://doi.org/10.1017/S0956796821000174},
doi = {10.1017/S0956796821000174},
timestamp = {Wed, 12 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jfp/ShivkumarMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/VieringHEZ21,
author = {Malte Viering and
Raymond Hu and
Patrick Eugster and
Lukasz Ziarek},
title = {A multiparty session typing discipline for fault-tolerant event-driven
distributed programming},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{OOPSLA}},
pages = {1--30},
year = {2021},
url = {https://doi.org/10.1145/3485501},
doi = {10.1145/3485501},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/VieringHEZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/SandersZ21,
author = {Sean Sanders and
Lukasz Ziarek},
title = {A comparison and contrast of APKTool and Soot for injecting blockchain
calls into Android applications},
booktitle = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
Kauai, Hawaii, USA, January 5, 2021},
pages = {1--9},
publisher = {ScholarSpace},
year = {2021},
url = {https://hdl.handle.net/10125/71441},
timestamp = {Tue, 02 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hicss/SandersZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiangBSDZL21,
author = {Xiaozhou Liang and
John Henry Burns and
Joseph Sanchez and
Karthik Dantu and
Lukasz Ziarek and
Yu David Liu},
title = {Understanding Bounding Functions in Safety-Critical {UAV} Software},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2021, Madrid, Spain, 22-30 May 2021},
pages = {1311--1322},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE43902.2021.00119},
doi = {10.1109/ICSE43902.2021.00119},
timestamp = {Mon, 07 Jun 2021 14:59:31 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiangBSDZL21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iros/CzerniejewskiBG21,
author = {Adam Czerniejewski and
John Henry Burns and
Farshad Ghanei and
Karthik Dantu and
Yu David Liu and
Lukasz Ziarek},
title = {JCopter: Reliable {UAV} Software Through Managed Languages},
booktitle = {{IEEE/RSJ} International Conference on Intelligent Robots and Systems,
{IROS} 2021, Prague, Czech Republic, September 27 - Oct. 1, 2021},
pages = {4282--4289},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IROS51168.2021.9636617},
doi = {10.1109/IROS51168.2021.9636617},
timestamp = {Wed, 22 Dec 2021 12:36:19 +0100},
biburl = {https://dblp.org/rec/conf/iros/CzerniejewskiBG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ChuangIZ21,
author = {Cheng{-}En Chuang and
Grant Iraci and
Lukasz Ziarek},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Synchronous Message-Passing with Priority},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {37--53},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_3},
doi = {10.1007/978-3-030-67438-0\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/ChuangIZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ShivkumarNZ21,
author = {Bhargav Shivkumar and
Enrique Naudon and
Lukasz Ziarek},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {Putting Gradual Types to Work},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {54--70},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_4},
doi = {10.1007/978-3-030-67438-0\_4},
timestamp = {Fri, 29 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ShivkumarNZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BalakrishnanNKZ21,
author = {Darshana Balakrishnan and
Carl Nuessle and
Oliver Kennedy and
Lukasz Ziarek},
editor = {Guoliang Li and
Zhanhuai Li and
Stratos Idreos and
Divesh Srivastava},
title = {TreeToaster: Towards an IVM-Optimized Compiler},
booktitle = {{SIGMOD} '21: International Conference on Management of Data, Virtual
Event, China, June 20-25, 2021},
pages = {155--167},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3448016.3459244},
doi = {10.1145/3448016.3459244},
timestamp = {Mon, 21 Jun 2021 11:48:16 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/BalakrishnanNKZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12299,
author = {Bhargav Shivkumar and
Enrique Naudon and
Lukasz Ziarek},
title = {Putting gradual types to work},
journal = {CoRR},
volume = {abs/2101.12299},
year = {2021},
url = {https://arxiv.org/abs/2101.12299},
eprinttype = {arXiv},
eprint = {2101.12299},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12299.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-07020,
author = {Xiaozhou Liang and
John Henry Burns and
Joseph Sanchez and
Karthik Dantu and
Lukasz Ziarek and
Yu David Liu},
title = {Understanding Bounding Functions in Safety-Critical {UAV} Software},
journal = {CoRR},
volume = {abs/2102.07020},
year = {2021},
url = {https://arxiv.org/abs/2102.07020},
eprinttype = {arXiv},
eprint = {2102.07020},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-07020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01241,
author = {Darshana Balakrishnan and
Carl Nuessle and
Oliver Kennedy and
Lukasz Ziarek},
title = {TreeToaster: Towards an IVM-Optimized Compiler},
journal = {CoRR},
volume = {abs/2104.01241},
year = {2021},
url = {https://arxiv.org/abs/2104.01241},
eprinttype = {arXiv},
eprint = {2104.01241},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01241.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/VecchioKZ20,
author = {Justin Del Vecchio and
Steven Y. Ko and
Lukasz Ziarek},
editor = {David Lo and
Leonardo Mariani and
Ali Mesbah},
title = {Representing string computations as graphs for classifying malware},
booktitle = {MOBILESoft '20: {IEEE/ACM} 7th International Conference on Mobile
Software Engineering and Systems, Seoul, Republic of Korea, July 13-15,
2020},
pages = {120--131},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3387905.3388595},
doi = {10.1145/3387905.3388595},
timestamp = {Thu, 27 Jul 2023 16:07:53 +0200},
biburl = {https://dblp.org/rec/conf/icse/VecchioKZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ShivkumarMZ20,
author = {Bhargav Shivkumar and
Jeffrey C. Murphy and
Lukasz Ziarek},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {RTMLton: An {SML} Runtime for Real-Time Systems},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {113--130},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_8},
doi = {10.1007/978-3-030-39197-3\_8},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/ShivkumarMZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/MurphySPIKKZ19,
author = {Jeffrey C. Murphy and
Bhargav Shivkumar and
Amy Pritchard and
Grant Iraci and
Dhruv Kumar and
Sun Hyoung Kim and
Lukasz Ziarek},
title = {A survey of real-time capabilities in functional languages and compilers},
journal = {Concurr. Comput. Pract. Exp.},
volume = {31},
number = {4},
year = {2019},
url = {https://doi.org/10.1002/cpe.4902},
doi = {10.1002/CPE.4902},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/concurrency/MurphySPIKKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/GhaneiTMDKZ19,
author = {Farshad Ghanei and
Pranav Tipnis and
Kyle Marcus and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
title = {OS-Based Energy Accounting for Asynchronous Resources in IoT Devices},
journal = {{IEEE} Internet Things J.},
volume = {6},
number = {3},
pages = {5841--5852},
year = {2019},
url = {https://doi.org/10.1109/JIOT.2019.2907668},
doi = {10.1109/JIOT.2019.2907668},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/GhaneiTMDKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmhci/ParkKAPDKZ19,
author = {Chang Min Park and
Taeyeon Ki and
Ali J. Ben Ali and
Nikhil Sunil Pawar and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
title = {Gesto: Mapping {UI} Events to Gestures and Voice Commands},
journal = {Proc. {ACM} Hum. Comput. Interact.},
volume = {3},
number = {{EICS}},
pages = {5:1--5:22},
year = {2019},
url = {https://doi.org/10.1145/3300964},
doi = {10.1145/3300964},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmhci/ParkKAPDKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/YanGDKZV19,
author = {Yin Yan and
Girish Gokul and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek and
Jan Vitek},
title = {Can Android Run on Time? Extending and Measuring the Android Platform's
Timeliness},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {17},
number = {6},
pages = {97:1--97:26},
year = {2019},
url = {https://doi.org/10.1145/3289257},
doi = {10.1145/3289257},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/YanGDKZV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/ShenVMKZ19,
author = {Feng Shen and
Justin Del Vecchio and
Aziz Mohaisen and
Steven Y. Ko and
Lukasz Ziarek},
title = {Android Malware Detection Using Complex-Flows},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {18},
number = {6},
pages = {1231--1245},
year = {2019},
url = {https://doi.org/10.1109/TMC.2018.2861405},
doi = {10.1109/TMC.2018.2861405},
timestamp = {Fri, 31 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/ShenVMKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BalakrishnanZK19,
author = {Darshana Balakrishnan and
Lukasz Ziarek and
Oliver Kennedy},
editor = {Alvin Cheung and
Kim Nguyen},
title = {Fluid data structures},
booktitle = {Proceedings of the 17th {ACM} {SIGPLAN} International Symposium on
Database Programming Languages, {DBPL} 2019, Phoenix, AZ, USA, June
23, 2019},
pages = {3--17},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315507.3330197},
doi = {10.1145/3315507.3330197},
timestamp = {Sun, 12 Nov 2023 02:16:34 +0100},
biburl = {https://dblp.org/rec/conf/dbpl/BalakrishnanZK19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KiPDKZ19,
author = {Taeyeon Ki and
Chang Min Park and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Joanne M. Atlee and
Tevfik Bultan and
Jon Whittle},
title = {Mimic: {UI} compatibility testing system for Android apps},
booktitle = {Proceedings of the 41st International Conference on Software Engineering,
{ICSE} 2019, Montreal, QC, Canada, May 25-31, 2019},
pages = {246--256},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://doi.org/10.1109/ICSE.2019.00040},
doi = {10.1109/ICSE.2019.00040},
timestamp = {Tue, 24 May 2022 15:28:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/KiPDKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/VishwanathanPMD19,
author = {Harishankar Vishwanathan and
Chang Min Park and
Sidharth Kumar Mishra and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Junehwa Song and
Minkyong Kim and
Nicholas D. Lane and
Rajesh Krishna Balan and
Fahim Kawsar and
Yunxin Liu},
title = {Partitioning Garbage Collection Between the Secure and Normal Worlds
for Trusted Applications},
booktitle = {Proceedings of the 17th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys 2019, Seoul, Republic
of Korea, June 17-21, 2019},
pages = {610--611},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3307334.3328650},
doi = {10.1145/3307334.3328650},
timestamp = {Mon, 17 Jun 2019 08:39:32 +0200},
biburl = {https://dblp.org/rec/conf/mobisys/VishwanathanPMD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpctc/NuessleKZ19,
author = {Carl Nuessle and
Oliver Kennedy and
Lukasz Ziarek},
editor = {Raghunath Nambiar and
Meikel Poess},
title = {Benchmarking Pocket-Scale Databases},
booktitle = {Performance Evaluation and Benchmarking for the Era of Cloud(s) -
11th {TPC} Technology Conference, {TPCTC} 2019, Los Angeles, CA, USA,
August 26, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12257},
pages = {99--115},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-55024-0\_7},
doi = {10.1007/978-3-030-55024-0\_7},
timestamp = {Fri, 31 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpctc/NuessleKZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2019rebls,
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Francisco Sant'Anna and
Lukasz Ziarek and
Tetsuo Kamina and
Hidehiko Masuhara},
title = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on Reactive
and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens,
Greece, October 21, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3358503},
doi = {10.1145/3358503},
isbn = {978-1-4503-6986-2},
timestamp = {Tue, 26 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/2019rebls.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-07627,
author = {Darshana Balakrishnan and
Lukasz Ziarek and
Oliver Kennedy},
title = {Just-in-Time Index Compilation},
journal = {CoRR},
volume = {abs/1901.07627},
year = {2019},
url = {http://arxiv.org/abs/1901.07627},
eprinttype = {arXiv},
eprint = {1901.07627},
timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-07627.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/YanZ18,
author = {Yin Yan and
Lukasz Ziarek},
title = {Application validation on RTDroid},
journal = {{SIGBED} Rev.},
volume = {15},
number = {4},
pages = {7--14},
year = {2018},
url = {https://doi.org/10.1145/3269482.3269484},
doi = {10.1145/3269482.3269484},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/YanZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/VieringCEHZ18,
author = {Malte Viering and
Tzu{-}Chun Chen and
Patrick Eugster and
Raymond Hu and
Lukasz Ziarek},
editor = {Amal Ahmed},
title = {A Typing Discipline for Statically Verified Crash Failure Handling
in Distributed Systems},
booktitle = {Programming Languages and Systems - 27th European Symposium on Programming,
{ESOP} 2018, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April
14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10801},
pages = {799--826},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89884-1\_28},
doi = {10.1007/978-3-319-89884-1\_28},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/VieringCEHZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/WinikusZAH18,
author = {Jennifer Winikus and
Lukasz Ziarek and
Carl Alphonce and
Jesse Hartloff},
title = {Improving Retention and Confidence Through Cross-Course Collaborative
Project-Based Learning},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
USA, October 3-6, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FIE.2018.8658509},
doi = {10.1109/FIE.2018.8658509},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fie/WinikusZAH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/irc/CzerniejewskiDZ18,
author = {Adam Czerniejewski and
Karthik Dantu and
Lukasz Ziarek},
title = {jUAV: {A} Real-Time Java {UAV} Autopilot},
booktitle = {Second {IEEE} International Conference on Robotic Computing, {IRC}
2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
pages = {258--261},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/IRC.2018.00054},
doi = {10.1109/IRC.2018.00054},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/irc/CzerniejewskiDZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/TerescoFZBPT18,
author = {James D. Teresco and
Razieh Fathi and
Lukasz Ziarek and
MariaRose Bamundo and
Arjol Pengu and
Clarice F. Tarbay},
editor = {Tiffany Barnes and
Daniel D. Garcia and
Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
title = {Map-based Algorithm Visualization with {METAL} Highway Data},
booktitle = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
pages = {550--555},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3159450.3159583},
doi = {10.1145/3159450.3159583},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/TerescoFZBPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2018rebls,
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Lukasz Ziarek and
Francisco Sant'Anna},
title = {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},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3281278},
doi = {10.1145/3281278},
isbn = {978-1-4503-6070-8},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2018rebls.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cm/DantuKZ17,
author = {Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
title = {{RAINA:} Reliability and Adaptability in Android for Fog Computing},
journal = {{IEEE} Commun. Mag.},
volume = {55},
number = {4},
pages = {41--45},
year = {2017},
url = {https://doi.org/10.1109/MCOM.2017.1600901},
doi = {10.1109/MCOM.2017.1600901},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cm/DantuKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/ShenVMKZ17,
author = {Feng Shen and
Justin Del Vecchio and
Aziz Mohaisen and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Kisung Lee and
Ling Liu},
title = {Android Malware Detection Using Complex-Flows},
booktitle = {37th {IEEE} International Conference on Distributed Computing Systems,
{ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
pages = {2430--2437},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICDCS.2017.190},
doi = {10.1109/ICDCS.2017.190},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/ShenVMKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LiuZ17,
author = {Yu David Liu and
Lukasz Ziarek},
title = {Toward Energy-Aware Programming for Unmanned Aerial Vehicles},
booktitle = {3rd {IEEE/ACM} International Workshop on Software Engineering for
Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina,
May 21, 2017},
pages = {30--33},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SEsCPS.2017.8},
doi = {10.1109/SESCPS.2017.8},
timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
biburl = {https://dblp.org/rec/conf/icse/LiuZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/YanDKZ17,
author = {Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Poster: RTDroid: {A} Real-Time Solution with Android},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {168},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3089312},
doi = {10.1145/3081333.3089312},
timestamp = {Fri, 10 Dec 2021 17:15:01 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/YanDKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/ShenVMKZ17,
author = {Feng Shen and
Justin Del Vecchio and
Aziz Mohaisen and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Poster: Android Malware Detection using Multi-Flows and {API} Patterns},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {171},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3089315},
doi = {10.1145/3081333.3089315},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/ShenVMKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KiSPDKZ17,
author = {Taeyeon Ki and
Alexander Simeonov and
Chang Min Park and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Demo: Fully Automated {UI} Testing System for Large-scale Android
Apps Using Multiple Devices},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {185},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3089330},
doi = {10.1145/3081333.3089330},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/KiSPDKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/ParkKDKZ17,
author = {Chang Min Park and
Taeyeon Ki and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Demo: Enabling Dynamic Gesture Mapping with {UI} Events},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {191},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3089336},
doi = {10.1145/3081333.3089336},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/ParkKDKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KiSPDKZ17a,
author = {Taeyeon Ki and
Alexander Simeonov and
Chang Min Park and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Demo: Reptor: Enabling {API} Virtualization on Android for Platform
Openness},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {193},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3089338},
doi = {10.1145/3081333.3089338},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/KiSPDKZ17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KiSJPSDKZ17,
author = {Taeyeon Ki and
Alexander Simeonov and
Bhavika Pravin Jain and
Chang Min Park and
Keshav Sharma and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Tanzeem Choudhury and
Steven Y. Ko and
Andrew Campbell and
Deepak Ganesan},
title = {Reptor: Enabling {API} Virtualization on Android for Platform Openness},
booktitle = {Proceedings of the 15th Annual International Conference on Mobile
Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
USA, June 19-23, 2017},
pages = {399--412},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3081333.3081341},
doi = {10.1145/3081333.3081341},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/KiSJPSDKZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/YanDKVZ17,
author = {Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Jan Vitek and
Lukasz Ziarek},
editor = {Gabriel Parmer},
title = {Making Android Run on Time},
booktitle = {2017 {IEEE} Real-Time and Embedded Technology and Applications Symposium,
{RTAS} 2017, Pittsburg, PA, USA, April 18-21, 2017},
pages = {25--36},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/RTAS.2017.38},
doi = {10.1109/RTAS.2017.38},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/YanDKVZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2017rebls,
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Lukasz Ziarek},
title = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on Reactive
and Event-Based Languages and Systems, Vancouver, BC, Canada, October
23, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3141858},
doi = {10.1145/3141858},
isbn = {978-1-4503-5515-5},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2017rebls.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigbed/LiMMSZ16,
author = {Muyuan Li and
Daniel E. McArdle and
Jeffrey C. Murphy and
Bhargav Shivkumar and
Lukasz Ziarek},
title = {Adding real-time capabilities to a {SML} compiler},
journal = {{SIGBED} Rev.},
volume = {13},
number = {2},
pages = {8--13},
year = {2016},
url = {https://doi.org/10.1145/2930957.2930958},
doi = {10.1145/2930957.2930958},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigbed/LiMMSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmc/YanCAKKKZ16,
author = {Yin Yan and
Shaun Cosgrove and
Varun Anand and
Amit Kulkarni and
Sree Harsha Konduri and
Steven Y. Ko and
Lukasz Ziarek},
title = {RTDroid: {A} Design for Real-Time Android},
journal = {{IEEE} Trans. Mob. Comput.},
volume = {15},
number = {10},
pages = {2564--2584},
year = {2016},
url = {https://doi.org/10.1109/TMC.2015.2499187},
doi = {10.1109/TMC.2015.2499187},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmc/YanCAKKKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MurphySZ16,
author = {Jeffrey C. Murphy and
Bhargav Shivkumar and
Lukasz Ziarek},
title = {Real-time capabilities in functional languages},
booktitle = {1st CPSWeek Workshop on Declarative Cyber-Physical Systems, {DCPS}
2016, Vienna, Austria, April 12, 2016},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/DCPS.2016.7588296},
doi = {10.1109/DCPS.2016.7588296},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/MurphySZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ChenVBZE16,
author = {Tzu{-}Chun Chen and
Malte Viering and
Andi Bejleri and
Lukasz Ziarek and
Patrick Eugster},
editor = {Elvira Albert and
Ivan Lanese},
title = {A Type Theory for Robust Failure Handling in Distributed Systems},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 36th {IFIP} {WG} 6.1 International Conference, {FORTE} 2016, Held
as Part of the 11th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June
6-9, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9688},
pages = {96--113},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39570-8\_7},
doi = {10.1007/978-3-319-39570-8\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/ChenVBZE16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/islped/GhaneiTMDKZ16,
author = {Farshad Ghanei and
Pranav Tipnis and
Kyle Marcus and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
title = {OS-based Resource Accounting for Asynchronous Resource Use in Mobile
Systems},
booktitle = {Proceedings of the 2016 International Symposium on Low Power Electronics
and Design, {ISLPED} 2016, San Francisco Airport, CA, USA, August
08 - 10, 2016},
pages = {296--301},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2934583.2934639},
doi = {10.1145/2934583.2934639},
timestamp = {Tue, 06 Nov 2018 16:59:21 +0100},
biburl = {https://dblp.org/rec/conf/islped/GhaneiTMDKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/CzerniejewskiCY16,
author = {Adam Czerniejewski and
Shaun Cosgrove and
Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Martin Schoeberl},
title = {jUAV: {A} Java Based System for Unmanned Aerial Vehicles},
booktitle = {Proceedings of the 14th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2016, Lugano, Switzerland,
August 29 - September 2, 2016},
pages = {2:1--2:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2990509.2990511},
doi = {10.1145/2990509.2990511},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/jtres/CzerniejewskiCY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/GokulYDKZ16,
author = {Girish Gokul and
Yin Yan and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Martin Schoeberl},
title = {Real Time Sound Processing on Android},
booktitle = {Proceedings of the 14th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2016, Lugano, Switzerland,
August 29 - September 2, 2016},
pages = {3:1--3:10},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2990509.2990512},
doi = {10.1145/2990509.2990512},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/GokulYDKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KiSDKZ16,
author = {Taeyeon Ki and
Alexander Simeonov and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Rajesh Krishna Balan and
Archan Misra and
Landon P. Cox and
Yutaka Arakawa and
Xia Zhou and
Robert LiKamWa},
title = {Demo: {API} Virtualization for Platform Openness in Android},
booktitle = {Proceedings of the 14th Annual International Conference on Mobile
Systems, Applications, and Services Companion, Singapore, Singapore,
June 25-30, 2016},
pages = {107},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2938559.2948646},
doi = {10.1145/2938559.2948646},
timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/KiSDKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZiarekJLJ16,
author = {Lukasz Ziarek and
Bharat Jayaraman and
Demian Lessa and
Swaminathan Jayaraman},
editor = {Yli{\`{e}}s Falcone and
C{\'{e}}sar S{\'{a}}nchez},
title = {Runtime Visualization and Verification in {JIVE}},
booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
Spain, September 23-30, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10012},
pages = {493--497},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46982-9\_33},
doi = {10.1007/978-3-319-46982-9\_33},
timestamp = {Wed, 28 Dec 2022 16:42:42 +0100},
biburl = {https://dblp.org/rec/conf/rv/ZiarekJLJ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmcsa/YanCDKZ16,
author = {Yin Yan and
Chunyu Chen and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {David Chu and
Prabal Dutta},
title = {Using a Multi-Tasking {VM} for Mobile Applications},
booktitle = {Proceedings of the 17th International Workshop on Mobile Computing
Systems and Applications, HotMobile 2016, St. Augustine, FL, USA,
February 23-24, 2016},
pages = {93--98},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2873587.2873596},
doi = {10.1145/2873587.2873596},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wmcsa/YanCDKZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2016rebls,
editor = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Lukasz Ziarek},
title = {Proceedings of the 3rd International Workshop on Reactive and Event-Based
Languages and Systems, Amsterdam, Netherlands, November 1, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/3001929},
doi = {10.1145/3001929},
isbn = {978-1-4503-4644-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/oopsla/2016rebls.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2016-1,
editor = {Shigeru Chiba and
Mario S{\"{u}}dholt and
Patrick Eugster and
Lukasz Ziarek and
Gary T. Leavens},
title = {Transactions on Modularity and Composition {I}},
series = {Lecture Notes in Computer Science},
volume = {9800},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46969-0},
doi = {10.1007/978-3-319-46969-0},
isbn = {978-3-319-46968-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/2016-1.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiMMSZ16,
author = {Muyuan Li and
Daniel E. McArdle and
Jeffrey C. Murphy and
Bhargav Shivkumar and
Lukasz Ziarek},
title = {Adding Real-time Capabilities to a {SML} Compiler},
journal = {CoRR},
volume = {abs/1601.03116},
year = {2016},
url = {http://arxiv.org/abs/1601.03116},
eprinttype = {arXiv},
eprint = {1601.03116},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiMMSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MurphySZ16,
author = {Jeffrey C. Murphy and
Bhargav Shivkumar and
Lukasz Ziarek},
title = {Embedded {SML} using the MLton compiler},
journal = {CoRR},
volume = {abs/1608.07206},
year = {2016},
url = {http://arxiv.org/abs/1608.07206},
eprinttype = {arXiv},
eprint = {1608.07206},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MurphySZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cidr/KennedyZ15,
author = {Oliver Kennedy and
Lukasz Ziarek},
title = {Just-In-Time Data Structures},
booktitle = {Seventh Biennial Conference on Innovative Data Systems Research, {CIDR}
2015, Asilomar, CA, USA, January 4-7, 2015, Online Proceedings},
publisher = {www.cidrdb.org},
year = {2015},
url = {http://cidrdb.org/cidr2015/Papers/CIDR15\_Paper9.pdf},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/cidr/KennedyZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ZiarekB15,
author = {Lukasz Ziarek and
Ethan Blanton},
editor = {Lukasz Ziarek},
title = {The Fiji MultiVM Architecture},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {9:1--9:10},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822312},
doi = {10.1145/2822304.2822312},
timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
biburl = {https://dblp.org/rec/conf/jtres/ZiarekB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/VecchioSYWKZ15,
author = {Justin Del Vecchio and
Feng Shen and
Kenny M. Yee and
Boyu Wang and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
title = {String Analysis of Android Applications {(N)}},
booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
pages = {680--685},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.20},
doi = {10.1109/ASE.2015.20},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/VecchioSYWKZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuZ15,
author = {Yu David Liu and
Lukasz Ziarek},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Toward a Java based infrastructure for unmanned aerial vehicles},
booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages and Applications: Software for
Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {56--57},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814189.2817276},
doi = {10.1145/2814189.2817276},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/LiuZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SalvaneschiMEZ15,
author = {Guido Salvaneschi and
Wolfgang De Meuter and
Patrick Eugster and
Lukasz Ziarek},
editor = {Jonathan Aldrich and
Patrick Eugster},
title = {Workshop preview of the 2015 workshop on reactive and event-based
languages {\&} systems {(REBLS} 2015)},
booktitle = {Companion Proceedings of the 2015 {ACM} {SIGPLAN} International Conference
on Systems, Programming, Languages and Applications: Software for
Humanity, {SPLASH} 2015, Pittsburgh, PA, USA, October 25-30, 2015},
pages = {109--110},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2814189.2833210},
doi = {10.1145/2814189.2833210},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SalvaneschiMEZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpctc/KennedyACZ15,
author = {Oliver Kennedy and
Jerry Antony Ajay and
Geoffrey Challen and
Lukasz Ziarek},
editor = {Raghunath Nambiar and
Meikel Poess},
title = {Pocket Data: The Need for {TPC-MOBILE}},
booktitle = {Performance Evaluation and Benchmarking: Traditional to Big Data to
Internet of Things - 7th {TPC} Technology Conference, {TPCTC} 2015,
Kohala Coast, HI, USA, August 31 - September 4, 2015. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9508},
pages = {8--25},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-31409-9\_2},
doi = {10.1007/978-3-319-31409-9\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tpctc/KennedyACZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wmcsa/ChallenADKMNSSSZ15,
author = {Geoffrey Challen and
Jerry Antony Ajay and
Nick DiRienzo and
Oliver Kennedy and
Anudipa Maiti and
Anandatirtha Nandugudi and
Sriram Shantharam and
Jinghao Shi and
Guru Prasad Srinivasa and
Lukasz Ziarek},
editor = {Justin Manweiler and
Romit Roy Choudhury},
title = {maybe We Should Enable More Uncertain Mobile App Programming},
booktitle = {Proceedings of the 16th International Workshop on Mobile Computing
Systems and Applications, HotMobile 2015, Santa Fe, NM, USA, February
12-13, 2015},
pages = {105--110},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2699343.2699361},
doi = {10.1145/2699343.2699361},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wmcsa/ChallenADKMNSSSZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2015,
editor = {Lukasz Ziarek},
title = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304},
doi = {10.1145/2822304},
isbn = {978-1-4503-3644-4},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/BlantonLAZJ14,
author = {Ethan Blanton and
Demian Lessa and
Puneet Arora and
Lukasz Ziarek and
Bharat Jayaraman},
title = {{JI.FI:} Visual test and debug queries for hard real-time},
journal = {Concurr. Comput. Pract. Exp.},
volume = {26},
number = {14},
pages = {2456--2487},
year = {2014},
url = {https://doi.org/10.1002/cpe.3156},
doi = {10.1002/CPE.3156},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/BlantonLAZJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/SivaramakrishnanZJ14,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
title = {MultiMLton: {A} multicore-aware runtime for standard {ML}},
journal = {J. Funct. Program.},
volume = {24},
number = {6},
pages = {613--674},
year = {2014},
url = {https://doi.org/10.1017/S0956796814000161},
doi = {10.1017/S0956796814000161},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SivaramakrishnanZJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/YanCBKZ14,
author = {Yin Yan and
Shaun Cosgrove and
Ethan Blanton and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Wolfgang Puffitsch},
title = {Real-Time Sensing on Android},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {67},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661026},
doi = {10.1145/2661020.2661026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/YanCBKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShenVTADLKZ14,
author = {Feng Shen and
Namita Vishnubhotla and
Chirag Todarka and
Mohit Arora and
Babu Dhandapani and
Eric John Lehner and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Information flows as a permission mechanism},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {515--526},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643018},
doi = {10.1145/2642937.2643018},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ShenVTADLKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/YanCAKKKZ14,
author = {Yin Yan and
Shaun Cosgrove and
Varun Anand and
Amit Kulkarni and
Sree Harsha Konduri and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Andrew T. Campbell and
David Kotz and
Landon P. Cox and
Zhuoqing Morley Mao},
title = {Real-time android with RTDroid},
booktitle = {The 12th Annual International Conference on Mobile Systems, Applications,
and Services, MobiSys'14, Bretton Woods, NH, USA, June 16-19, 2014},
pages = {273--286},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594368.2594381},
doi = {10.1145/2594368.2594381},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/YanCAKKKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobisys/KiMDKZ14,
author = {Taeyeon Ki and
Satyaditya Munipalle and
Karthik Dantu and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Andrew T. Campbell and
David Kotz and
Landon P. Cox and
Zhuoqing Morley Mao},
title = {Poster: Retro: an automated, application-layer record and replay for
android},
booktitle = {The 12th Annual International Conference on Mobile Systems, Applications,
and Services, MobiSys'14, Bretton Woods, NH, USA, June 16-19, 2014},
pages = {373},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2594368.2601453},
doi = {10.1145/2594368.2601453},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mobisys/KiMDKZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SivaramakrishnanZJ14,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {R\({}^{\mbox{CML}}\): {A} Prescription for Safely Relaxing Synchrony},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
pages = {1--16},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_1},
doi = {10.1007/978-3-319-04132-2\_1},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/SivaramakrishnanZJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SivaramakrishnanQZNE13,
author = {K. C. Sivaramakrishnan and
Mohammad Qudeisat and
Lukasz Ziarek and
Karthik Nagaraj and
Patrick Eugster},
title = {Efficient sessions},
journal = {Sci. Comput. Program.},
volume = {78},
number = {2},
pages = {147--167},
year = {2013},
url = {https://doi.org/10.1016/j.scico.2012.03.004},
doi = {10.1016/J.SCICO.2012.03.004},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/SivaramakrishnanQZNE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BlantonZ13,
author = {Ethan Blanton and
Lukasz Ziarek},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {Non-blocking inter-partition communication with wait-free pair transactions},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {58--67},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512994},
doi = {10.1145/2512989.2512994},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/BlantonZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/YanKKAKZ13,
author = {Yin Yan and
Sree Harsha Konduri and
Amit Kulkarni and
Varun Anand and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {RTDroid: a design for real-time Android},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {98--107},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512990},
doi = {10.1145/2512989.2512990},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/YanKKAKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HolavanalliMNRSKZ13,
author = {Shashank Holavanalli and
Don Manuel and
Vishwas Nanjundaswamy and
Brian Rosenberg and
Feng Shen and
Steven Y. Ko and
Lukasz Ziarek},
editor = {Ewen Denney and
Tevfik Bultan and
Andreas Zeller},
title = {Flow Permissions for Android},
booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
2013},
pages = {652--657},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ASE.2013.6693128},
doi = {10.1109/ASE.2013.6693128},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/kbse/HolavanalliMNRSKZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webdb/AgarwalBKUZ13,
author = {Sumit Agarwal and
Daniel Bellinger and
Oliver Kennedy and
Ankur Upadhyay and
Lukasz Ziarek},
editor = {Angela Bonifati and
Cong Yu},
title = {Monadic Logs for Collaborative Web Applications},
booktitle = {Proceedings of the 16th International Workshop on the Web and Databases
2013, WebDB 2013, New York, NY, USA, June 23, 2013},
pages = {37--42},
year = {2013},
url = {http://webdb2013.lille.inria.fr/Paper\%2034.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webdb/AgarwalBKUZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-4471,
author = {Oliver Kennedy and
Lukasz Ziarek},
title = {BarQL: Collaborating Through Change},
journal = {CoRR},
volume = {abs/1303.4471},
year = {2013},
url = {http://arxiv.org/abs/1303.4471},
eprinttype = {arXiv},
eprint = {1303.4471},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-4471.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/HolzerZJE12,
author = {Adrian Holzer and
Lukasz Ziarek and
K. R. Jayaram and
Patrick Eugster},
title = {Abstracting Context in Event-Based Software},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {9},
pages = {123--167},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35551-6\_4},
doi = {10.1007/978-3-642-35551-6\_4},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/HolzerZJE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SivaramakrishnanZJ12,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Martin T. Vechev and
Kathryn S. McKinley},
title = {Eliminating read barriers through procrastination and cleanliness},
booktitle = {International Symposium on Memory Management, {ISMM} '12, Beijing,
China, June 15-16, 2012},
pages = {49--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2258996.2259005},
doi = {10.1145/2258996.2259005},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/SivaramakrishnanZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BlantonLZJ12,
author = {Ethan Blanton and
Demian Lessa and
Lukasz Ziarek and
Bharat Jayaraman},
editor = {Martin Schoeberl and
Andy J. Wellings},
title = {Ji.Fi: visual test and debug queries for hard real-time},
booktitle = {The 10th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
2012},
pages = {155--164},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2388936.2388962},
doi = {10.1145/2388936.2388962},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/BlantonLZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/SivaramakrishnanZJ12,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Suresh Jagannathan},
editor = {Stefan Lankes and
Carsten Clauss},
title = {A Coherent and Managed Runtime for {ML} on the {SCC}},
booktitle = {Many-core Applications Research Community {(MARC)} Symposium at {RWTH}
Aachen University, November 29th-30th 2012, Aachen, Germany},
pages = {20--35},
publisher = {{RWTH} Aachen University},
year = {2012},
timestamp = {Thu, 12 Mar 2020 11:37:09 +0100},
biburl = {https://dblp.org/rec/conf/marc/SivaramakrishnanZJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/HolzerZJE11,
author = {Adrian Holzer and
Lukasz Ziarek and
K. R. Jayaram and
Patrick Eugster},
editor = {Paulo Borba and
Shigeru Chiba},
title = {Putting events in context: aspects for event-based distributed programming},
booktitle = {Proceedings of the 10th International Conference on Aspect-Oriented
Software Development, {AOSD} 2011, Porto de Galinhas, Brazil, March
21-25, 2011},
pages = {241--252},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1960275.1960304},
doi = {10.1145/1960275.1960304},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aosd/HolzerZJE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZiarekSJ11,
author = {Lukasz Ziarek and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Mary W. Hall and
David A. Padua},
title = {Composable asynchronous events},
booktitle = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
June 4-8, 2011},
pages = {628--639},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1993498.1993572},
doi = {10.1145/1993498.1993572},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ZiarekSJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZiarekTJ11,
author = {Lukasz Ziarek and
Siddharth Tiwary and
Suresh Jagannathan},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Isolating Determinism in Multi-threaded Programs},
booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7186},
pages = {63--77},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_6},
doi = {10.1007/978-3-642-29860-8\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZiarekTJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/ZiarekJ10,
author = {Lukasz Ziarek and
Suresh Jagannathan},
title = {Lightweight checkpointing for concurrent {ML}},
journal = {J. Funct. Program.},
volume = {20},
number = {2},
pages = {137--173},
year = {2010},
url = {https://doi.org/10.1017/S0956796810000067},
doi = {10.1017/S0956796810000067},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/ZiarekJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SivaramakrishnanNZE10,
author = {K. C. Sivaramakrishnan and
Karthik Nagaraj and
Lukasz Ziarek and
Patrick Eugster},
editor = {Dave Clarke and
Gul A. Agha},
title = {Efficient Session Type Guided Distributed Interaction},
booktitle = {Coordination Models and Languages, 12th International Conference,
{COORDINATION} 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6116},
pages = {152--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13414-2\_11},
doi = {10.1007/978-3-642-13414-2\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SivaramakrishnanNZE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PizloZBMV10,
author = {Filip Pizlo and
Lukasz Ziarek and
Ethan Blanton and
Petr Maj and
Jan Vitek},
editor = {Christine Morin and
Gilles Muller},
title = {High-level programming of embedded hard real-time devices},
booktitle = {European Conference on Computer Systems, Proceedings of the 5th European
conference on Computer systems, EuroSys 2010, Paris, France, April
13-16, 2010},
pages = {69--82},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1755913.1755922},
doi = {10.1145/1755913.1755922},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/PizloZBMV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/Ziarek10,
author = {Lukasz Ziarek},
editor = {Tomas Kalibera and
Jan Vitek},
title = {{PRP:} priority rollback protocol -- a {PIP} extension for mixed criticality
systems: short paper},
booktitle = {Proceedings of the 8th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2010, Prague, Czech Republic,
August 19-21, 2010},
series = {{ACM} International Conference Proceeding Series},
pages = {82--84},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1850771.1850784},
doi = {10.1145/1850771.1850784},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/Ziarek10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PizloZMHBV10,
author = {Filip Pizlo and
Lukasz Ziarek and
Petr Maj and
Antony L. Hosking and
Ethan Blanton and
Jan Vitek},
editor = {Benjamin G. Zorn and
Alexander Aiken},
title = {Schism: fragmentation-tolerant real-time garbage collection},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
Canada, June 5-10, 2010},
pages = {146--159},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1806596.1806615},
doi = {10.1145/1806596.1806615},
timestamp = {Tue, 22 Jun 2021 17:10:56 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PizloZMHBV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SivaramakrishnanZPJ10,
author = {K. C. Sivaramakrishnan and
Lukasz Ziarek and
Raghavendra Prasad and
Suresh Jagannathan},
editor = {Leaf Petersen and
Enrico Pontelli},
title = {Lightweight asynchrony using parasitic threads},
booktitle = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
pages = {63--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1708046.1708059},
doi = {10.1145/1708046.1708059},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/SivaramakrishnanZPJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ09,
author = {Lukasz Ziarek and
K. C. Sivaramakrishnan and
Suresh Jagannathan},
editor = {Graham Hutton and
Andrew P. Tolmach},
title = {Partial memoization of concurrency and communication},
booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
31 - September 2, 2009},
pages = {161--172},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596550.1596575},
doi = {10.1145/1596550.1596575},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/icfp/ZiarekSJ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/PizloZV09,
author = {Filip Pizlo and
Lukasz Ziarek and
Jan Vitek},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {Real time Java on resource-constrained platforms with Fiji {VM}},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {110--119},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620421},
doi = {10.1145/1620405.1620421},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/PizloZV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/ZiarekJFA09,
author = {Lukasz Ziarek and
Suresh Jagannathan and
Matthew Fluet and
Umut A. Acar},
editor = {Leaf Petersen and
Manuel M. T. Chakravarty},
title = {Speculative N-Way barriers},
booktitle = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
2009},
pages = {1--12},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1481839.1481841},
doi = {10.1145/1481839.1481841},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/popl/ZiarekJFA09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ZiarekWJ08,
author = {Lukasz Ziarek and
Stephen Weeks and
Suresh Jagannathan},
title = {Flattening tuples in an {SSA} intermediate representation},
journal = {High. Order Symb. Comput.},
volume = {21},
number = {3},
pages = {333--358},
year = {2008},
url = {https://doi.org/10.1007/s10990-008-9035-3},
doi = {10.1007/S10990-008-9035-3},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/ZiarekWJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/ZiarekWAMSJ08,
author = {Lukasz Ziarek and
Adam Welc and
Ali{-}Reza Adl{-}Tabatabai and
Vijay Menon and
Tatiana Shpeisman and
Suresh Jagannathan},
editor = {Jan Vitek},
title = {A Uniform Transactional Execution Environment for Java},
booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
Paphos, Cyprus, July 7-11, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5142},
pages = {129--154},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70592-5\_7},
doi = {10.1007/978-3-540-70592-5\_7},
timestamp = {Thu, 03 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/ZiarekWAMSJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ06,
author = {Lukasz Ziarek and
Philip Schatz and
Suresh Jagannathan},
editor = {John H. Reppy and
Julia Lawall},
title = {Stabilizers: a modular checkpointing abstraction for concurrent functional
programs},
booktitle = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
16-21, 2006},
pages = {136--147},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1159803.1159822},
doi = {10.1145/1159803.1159822},
timestamp = {Mon, 17 Jan 2022 15:20:18 +0100},
biburl = {https://dblp.org/rec/conf/icfp/ZiarekSJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ZiarekSJ07,
author = {Lukasz Ziarek and
Philip Schatz and
Suresh Jagannathan},
editor = {Ganesh Gopalakrishnan and
John O'Leary},
title = {Modular Checkpointing for Atomicity},
booktitle = {Proceedings of the Thread Verification Workshop, TV@FLoC 2006, Seattle,
WA, USA, August 21-22, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {9},
pages = {85--115},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.008},
doi = {10.1016/J.ENTCS.2007.04.008},
timestamp = {Fri, 27 Jan 2023 14:19:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ZiarekSJ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 18:04 CEST 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:
