BibTeX records: Lukasz Ziarek

download as .bib file

@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   = {Concurrency and Computation: Practice and Experience},
  volume    = {31},
  number    = {4},
  year      = {2019},
  url       = {https://doi.org/10.1002/cpe.4902},
  doi       = {10.1002/cpe.4902},
  timestamp = {Wed, 13 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/MurphySPIKKZ19},
  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. Embedded Comput. Syst.},
  volume    = {17},
  number    = {6},
  pages     = {97:1--97:26},
  year      = {2019},
  url       = {https://dl.acm.org/citation.cfm?id=3289257},
  timestamp = {Wed, 23 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tecs/YanGDKZV19},
  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},
  archivePrefix = {arXiv},
  eprint    = {1901.07627},
  timestamp = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1901-07627},
  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} Review},
  volume    = {15},
  number    = {4},
  pages     = {7--14},
  year      = {2018},
  url       = {https://doi.org/10.1145/3269482.3269484},
  doi       = {10.1145/3269482.3269484},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigbed/YanZ18},
  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},
  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},
  pages     = {799--826},
  year      = {2018},
  crossref  = {DBLP:conf/esop/2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1\_28},
  doi       = {10.1007/978-3-319-89884-1\_28},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/VieringCEHZ18},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/irc/2018},
  url       = {https://doi.org/10.1109/IRC.2018.00054},
  doi       = {10.1109/IRC.2018.00054},
  timestamp = {Fri, 11 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/irc/CzerniejewskiDZ18},
  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},
  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},
  year      = {2018},
  crossref  = {DBLP:conf/sigcse/2018},
  url       = {https://doi.org/10.1145/3159450.3159583},
  doi       = {10.1145/3159450.3159583},
  timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/TerescoFZBPT18},
  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/bib/conf/oopsla/2018rebls},
  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} Communications Magazine},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cm/DantuKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/icdcs/2017},
  url       = {https://doi.org/10.1109/ICDCS.2017.190},
  doi       = {10.1109/ICDCS.2017.190},
  timestamp = {Wed, 11 Apr 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/ShenVMKZ17},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017sescps},
  url       = {https://doi.org/10.1109/SEsCPS.2017.8},
  doi       = {10.1109/SEsCPS.2017.8},
  timestamp = {Tue, 18 Jul 2017 08:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/LiuZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3089312},
  doi       = {10.1145/3081333.3089312},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/YanDKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3089315},
  doi       = {10.1145/3081333.3089315},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/ShenVMKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3089330},
  doi       = {10.1145/3081333.3089330},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/KiSPDKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3089336},
  doi       = {10.1145/3081333.3089336},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/ParkKDKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3089338},
  doi       = {10.1145/3081333.3089338},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/KiSPDKZ17a},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/mobisys/2017},
  url       = {https://doi.org/10.1145/3081333.3081341},
  doi       = {10.1145/3081333.3081341},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/KiSJPSDKZ17},
  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},
  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},
  year      = {2017},
  crossref  = {DBLP:conf/rtas/2017},
  url       = {https://doi.org/10.1109/RTAS.2017.38},
  doi       = {10.1109/RTAS.2017.38},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/YanDKVZ17},
  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/bib/conf/oopsla/2017rebls},
  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} Review},
  volume    = {13},
  number    = {2},
  pages     = {8--13},
  year      = {2016},
  url       = {https://doi.org/10.1145/2930957.2930958},
  doi       = {10.1145/2930957.2930958},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigbed/LiMMSZ16},
  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/bib/journals/tmc/YanCAKKKZ16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/cpsweek/2016dcps},
  url       = {https://doi.org/10.1109/DCPS.2016.7588296},
  doi       = {10.1109/DCPS.2016.7588296},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/MurphySZ16},
  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},
  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},
  pages     = {96--113},
  year      = {2016},
  crossref  = {DBLP:conf/forte/2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8\_7},
  doi       = {10.1007/978-3-319-39570-8\_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ChenVBZE16},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/islped/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/bib/conf/islped/GhaneiTMDKZ16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/CzerniejewskiCY16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/jtres/2016},
  url       = {https://doi.org/10.1145/2990509.2990512},
  doi       = {10.1145/2990509.2990512},
  timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/GokulYDKZ16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/mobisys/2016c},
  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/bib/conf/mobisys/KiSDKZ16},
  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},
  title     = {Runtime Visualization and Verification in {JIVE}},
  booktitle = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
               Spain, September 23-30, 2016, Proceedings},
  pages     = {493--497},
  year      = {2016},
  crossref  = {DBLP:conf/rv/2016},
  url       = {https://doi.org/10.1007/978-3-319-46982-9\_33},
  doi       = {10.1007/978-3-319-46982-9\_33},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rv/ZiarekJLJ16},
  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},
  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},
  year      = {2016},
  crossref  = {DBLP:conf/wmcsa/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/bib/conf/wmcsa/YanCDKZ16},
  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/bib/conf/oopsla/2016rebls},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/taosd/2016-1},
  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},
  archivePrefix = {arXiv},
  eprint    = {1601.03116},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/LiMMSZ16},
  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},
  archivePrefix = {arXiv},
  eprint    = {1608.07206},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/MurphySZ16},
  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 = {{CIDR} 2015, Seventh Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 4-7, 2015, Online Proceedings},
  year      = {2015},
  crossref  = {DBLP:conf/cidr/2015},
  url       = {http://cidrdb.org/cidr2015/Papers/CIDR15\_Paper9.pdf},
  timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/KennedyZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ZiarekB15,
  author    = {Lukasz Ziarek and
               Ethan Blanton},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/ZiarekB15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.20},
  doi       = {10.1109/ASE.2015.20},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/VecchioSYWKZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/LiuZ15,
  author    = {Yu David Liu and
               Lukasz Ziarek},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015c},
  url       = {https://doi.org/10.1145/2814189.2817276},
  doi       = {10.1145/2814189.2817276},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/LiuZ15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/oopsla/2015c},
  url       = {https://doi.org/10.1145/2814189.2833210},
  doi       = {10.1145/2814189.2833210},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/SalvaneschiMEZ15},
  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},
  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},
  pages     = {8--25},
  year      = {2015},
  crossref  = {DBLP:conf/tpctc/2015},
  url       = {https://doi.org/10.1007/978-3-319-31409-9\_2},
  doi       = {10.1007/978-3-319-31409-9\_2},
  timestamp = {Tue, 23 May 2017 01:12:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tpctc/KennedyACZ15},
  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},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/wmcsa/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/bib/conf/wmcsa/ChallenADKMNSSSZ15},
  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/bib/conf/jtres/2015},
  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   = {Concurrency and Computation: Practice and Experience},
  volume    = {26},
  number    = {14},
  pages     = {2456--2487},
  year      = {2014},
  url       = {https://doi.org/10.1002/cpe.3156},
  doi       = {10.1002/cpe.3156},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/concurrency/BlantonLAZJ14},
  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/bib/journals/jfp/SivaramakrishnanZJ14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/YanCBKZ14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/kbse/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/bib/conf/kbse/ShenVTADLKZ14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/mobisys/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/bib/conf/mobisys/YanCAKKKZ14},
  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},
  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},
  year      = {2014},
  crossref  = {DBLP:conf/mobisys/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/bib/conf/mobisys/KiMDKZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SivaramakrishnanZJ14,
  author    = {K. C. Sivaramakrishnan and
               Lukasz Ziarek and
               Suresh Jagannathan},
  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},
  pages     = {1--16},
  year      = {2014},
  crossref  = {DBLP:conf/padl/2014},
  url       = {https://doi.org/10.1007/978-3-319-04132-2\_1},
  doi       = {10.1007/978-3-319-04132-2\_1},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/SivaramakrishnanZJ14},
  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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/SivaramakrishnanQZNE13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/BlantonZ13,
  author    = {Ethan Blanton and
               Lukasz Ziarek},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/BlantonZ13},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/YanKKAKZ13},
  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},
  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},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693128},
  doi       = {10.1109/ASE.2013.6693128},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/HolavanalliMNRSKZ13},
  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},
  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},
  crossref  = {DBLP:conf/webdb/2013},
  url       = {http://webdb2013.lille.inria.fr/Paper\%2034.pdf},
  timestamp = {Sun, 23 Apr 2017 19:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/AgarwalBKUZ13},
  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},
  archivePrefix = {arXiv},
  eprint    = {1303.4471},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1303-4471},
  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   = {Trans. Aspect-Oriented Software Development},
  volume    = {9},
  pages     = {123--167},
  year      = {2012},
  crossref  = {DBLP:journals/taosd/2012-9},
  url       = {https://doi.org/10.1007/978-3-642-35551-6\_4},
  doi       = {10.1007/978-3-642-35551-6\_4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/taosd/HolzerZJE12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/SivaramakrishnanZJ12,
  author    = {K. C. Sivaramakrishnan and
               Lukasz Ziarek and
               Suresh Jagannathan},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/iwmm/2012},
  url       = {https://doi.org/10.1145/2258996.2259005},
  doi       = {10.1145/2258996.2259005},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/SivaramakrishnanZJ12},
  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},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/BlantonLZJ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/marc/SivaramakrishnanZJ12,
  author    = {K. C. Sivaramakrishnan and
               Lukasz Ziarek and
               Suresh Jagannathan},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/marc/2012rwth},
  timestamp = {Wed, 07 Jun 2017 10:23:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/marc/SivaramakrishnanZJ12},
  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},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/aosd/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/bib/conf/aosd/HolzerZJE11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ZiarekSJ11,
  author    = {Lukasz Ziarek and
               K. C. Sivaramakrishnan and
               Suresh Jagannathan},
  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},
  year      = {2011},
  crossref  = {DBLP:conf/pldi/2011},
  url       = {https://doi.org/10.1145/1993498.1993572},
  doi       = {10.1145/1993498.1993572},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/ZiarekSJ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZiarekTJ11,
  author    = {Lukasz Ziarek and
               Siddharth Tiwary and
               Suresh Jagannathan},
  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},
  pages     = {63--77},
  year      = {2011},
  crossref  = {DBLP:conf/rv/2011},
  url       = {https://doi.org/10.1007/978-3-642-29860-8\_6},
  doi       = {10.1007/978-3-642-29860-8\_6},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/ZiarekTJ11},
  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/bib/journals/jfp/ZiarekJ10},
  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},
  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},
  pages     = {152--167},
  year      = {2010},
  crossref  = {DBLP:conf/coordination/2010},
  url       = {https://doi.org/10.1007/978-3-642-13414-2\_11},
  doi       = {10.1007/978-3-642-13414-2\_11},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/SivaramakrishnanNZE10},
  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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/eurosys/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/bib/conf/eurosys/PizloZBMV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/Ziarek10,
  author    = {Lukasz Ziarek},
  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},
  pages     = {82--84},
  year      = {2010},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/Ziarek10},
  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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/pldi/2010},
  url       = {https://doi.org/10.1145/1806596.1806615},
  doi       = {10.1145/1806596.1806615},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/PizloZMHBV10},
  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},
  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},
  year      = {2010},
  crossref  = {DBLP:conf/popl/2010damp},
  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/bib/conf/popl/SivaramakrishnanZPJ10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ09,
  author    = {Lukasz Ziarek and
               K. C. Sivaramakrishnan and
               Suresh Jagannathan},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/icfp/2009},
  url       = {https://doi.org/10.1145/1596550.1596575},
  doi       = {10.1145/1596550.1596575},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ZiarekSJ09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/PizloZV09,
  author    = {Filip Pizlo and
               Lukasz Ziarek and
               Jan Vitek},
  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},
  pages     = {110--119},
  year      = {2009},
  crossref  = {DBLP:conf/jtres/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/bib/conf/jtres/PizloZV09},
  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},
  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},
  year      = {2009},
  crossref  = {DBLP:conf/popl/2009damp},
  url       = {https://doi.org/10.1145/1481839.1481841},
  doi       = {10.1145/1481839.1481841},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/ZiarekJFA09},
  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   = {Higher-Order and Symbolic Computation},
  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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/ZiarekWJ08},
  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},
  title     = {A Uniform Transactional Execution Environment for Java},
  booktitle = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
               Paphos, Cyprus, July 7-11, 2008, Proceedings},
  pages     = {129--154},
  year      = {2008},
  crossref  = {DBLP:conf/ecoop/2008},
  url       = {https://doi.org/10.1007/978-3-540-70592-5\_7},
  doi       = {10.1007/978-3-540-70592-5\_7},
  timestamp = {Wed, 28 Jun 2017 19:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/ZiarekWAMSJ08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/ZiarekSJ07,
  author    = {Lukasz Ziarek and
               Philip Schatz and
               Suresh Jagannathan},
  title     = {Modular Checkpointing for Atomicity},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {174},
  number    = {9},
  pages     = {85--115},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.04.008},
  doi       = {10.1016/j.entcs.2007.04.008},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/ZiarekSJ07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ZiarekSJ06,
  author    = {Lukasz Ziarek and
               Philip Schatz and
               Suresh Jagannathan},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/icfp/2006},
  url       = {https://doi.org/10.1145/1159803.1159822},
  doi       = {10.1145/1159803.1159822},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/ZiarekSJ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2018,
  editor    = {Amal Ahmed},
  title     = {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},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89884-1},
  doi       = {10.1007/978-3-319-89884-1},
  isbn      = {978-3-319-89883-4},
  timestamp = {Mon, 16 Apr 2018 12:35:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/irc/2018,
  title     = {Second {IEEE} International Conference on Robotic Computing, {IRC}
               2018, Laguna Hills, CA, USA, January 31 - February 2, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8328658},
  isbn      = {978-1-5386-4652-6},
  timestamp = {Wed, 25 Apr 2018 11:22:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/irc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigcse/2018,
  editor    = {Tiffany Barnes and
               Daniel D. Garcia and
               Elizabeth K. Hawthorne and
               Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  title     = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
               Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3159450},
  doi       = {10.1145/3159450},
  timestamp = {Tue, 06 Nov 2018 11:07:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigcse/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icdcs/2017,
  editor    = {Kisung Lee and
               Ling Liu},
  title     = {37th {IEEE} International Conference on Distributed Computing Systems,
               {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7976702},
  isbn      = {978-1-5386-1792-2},
  timestamp = {Fri, 21 Jul 2017 13:46:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017sescps,
  title     = {3rd {IEEE/ACM} International Workshop on Software Engineering for
               Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina,
               May 21, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7965809},
  isbn      = {978-1-5386-4043-2},
  timestamp = {Tue, 18 Jul 2017 08:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017sescps},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobisys/2017,
  editor    = {Tanzeem Choudhury and
               Steven Y. Ko and
               Andrew Campbell and
               Deepak Ganesan},
  title     = {Proceedings of the 15th Annual International Conference on Mobile
               Systems, Applications, and Services, MobiSys'17, Niagara Falls, NY,
               USA, June 19-23, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3081333},
  doi       = {10.1145/3081333},
  isbn      = {978-1-4503-4928-4},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtas/2017,
  editor    = {Gabriel Parmer},
  title     = {2017 {IEEE} Real-Time and Embedded Technology and Applications Symposium,
               {RTAS} 2017, Pittsburg, PA, USA, April 18-21, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7938574},
  isbn      = {978-1-5090-5269-1},
  timestamp = {Tue, 14 Aug 2018 10:08:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtas/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpsweek/2016dcps,
  title     = {1st CPSWeek Workshop on Declarative Cyber-Physical Systems, {DCPS}
               2016, Vienna, Austria, April 12, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7587771},
  isbn      = {978-1-5090-1150-6},
  timestamp = {Wed, 19 Oct 2016 16:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cpsweek/2016dcps},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2016,
  editor    = {Elvira Albert and
               Ivan Lanese},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-39570-8},
  doi       = {10.1007/978-3-319-39570-8},
  isbn      = {978-3-319-39569-2},
  timestamp = {Sun, 21 May 2017 00:17:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/islped/2016,
  title     = {Proceedings of the 2016 International Symposium on Low Power Electronics
               and Design, {ISLPED} 2016, San Francisco Airport, CA, USA, August
               08 - 10, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2934583},
  doi       = {10.1145/2934583},
  isbn      = {978-1-4503-4185-1},
  timestamp = {Tue, 06 Nov 2018 16:59:21 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/islped/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2016,
  editor    = {Martin Schoeberl},
  title     = {Proceedings of the 14th International Workshop on Java Technologies
               for Real-Time and Embedded Systems, {JTRES} 2016, Lugano, Switzerland,
               August 29 - September 2, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2990509},
  doi       = {10.1145/2990509},
  isbn      = {978-1-4503-4800-3},
  timestamp = {Tue, 06 Nov 2018 11:06:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobisys/2016c,
  editor    = {Rajesh Krishna Balan and
               Archan Misra and
               Landon P. Cox and
               Yutaka Arakawa and
               Xia Zhou and
               Robert LiKamWa},
  title     = {Proceedings of the 14th Annual International Conference on Mobile
               Systems, Applications, and Services Companion, Singapore, Singapore,
               June 25-30, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {https://doi.org/10.1145/2938559},
  doi       = {10.1145/2938559},
  isbn      = {978-1-4503-4416-6},
  timestamp = {Tue, 06 Nov 2018 16:59:04 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/2016c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2016,
  editor    = {Yli{\`{e}}s Falcone and
               C{\'{e}}sar S{\'{a}}nchez},
  title     = {Runtime Verification - 16th International Conference, {RV} 2016, Madrid,
               Spain, September 23-30, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10012},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46982-9},
  doi       = {10.1007/978-3-319-46982-9},
  isbn      = {978-3-319-46981-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wmcsa/2016,
  editor    = {David Chu and
               Prabal Dutta},
  title     = {Proceedings of the 17th International Workshop on Mobile Computing
               Systems and Applications, HotMobile 2016, St. Augustine, FL, USA,
               February 23-24, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2873587},
  isbn      = {978-1-4503-4145-5},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wmcsa/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cidr/2015,
  title     = {{CIDR} 2015, Seventh Biennial Conference on Innovative Data Systems
               Research, Asilomar, CA, USA, January 4-7, 2015, Online Proceedings},
  publisher = {www.cidrdb.org},
  year      = {2015},
  url       = {http://cidrdb.org/cidr2015/index.html},
  timestamp = {Thu, 02 Feb 2017 11:12:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cidr/2015},
  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 11:06:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
  editor    = {Myra B. Cohen and
               Lars Grunske and
               Michael Whalen},
  title     = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449},
  isbn      = {978-1-5090-0025-8},
  timestamp = {Fri, 06 May 2016 09:56:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2015c,
  editor    = {Jonathan Aldrich and
               Patrick Eugster},
  title     = {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},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2814189},
  isbn      = {978-1-4503-3722-9},
  timestamp = {Fri, 30 Oct 2015 09:02:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2015c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tpctc/2015,
  editor    = {Raghunath Nambiar and
               Meikel Poess},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-31409-9},
  doi       = {10.1007/978-3-319-31409-9},
  isbn      = {978-3-319-31408-2},
  timestamp = {Tue, 23 May 2017 01:12:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tpctc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wmcsa/2015,
  editor    = {Justin Manweiler and
               Romit Roy Choudhury},
  title     = {Proceedings of the 16th International Workshop on Mobile Computing
               Systems and Applications, HotMobile 2015, Santa Fe, NM, USA, February
               12-13, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2699343},
  isbn      = {978-1-4503-3391-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wmcsa/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2014,
  editor    = {Wolfgang Puffitsch},
  title     = {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},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2661020},
  isbn      = {978-1-4503-2813-5},
  timestamp = {Thu, 16 Oct 2014 09:47:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2014,
  editor    = {Ivica Crnkovic and
               Marsha Chechik and
               Paul Gr{\"{u}}nbacher},
  title     = {{ACM/IEEE} International Conference on Automated Software Engineering,
               {ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2642937},
  isbn      = {978-1-4503-3013-8},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mobisys/2014,
  editor    = {Andrew T. Campbell and
               David Kotz and
               Landon P. Cox and
               Zhuoqing Morley Mao},
  title     = {The 12th Annual International Conference on Mobile Systems, Applications,
               and Services, MobiSys'14, Bretton Woods, NH, USA, June 16-19, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2594368},
  isbn      = {978-1-4503-2793-0},
  timestamp = {Sat, 31 May 2014 14:54:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mobisys/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2014,
  editor    = {Matthew Flatt and
               Hai{-}Feng Guo},
  title     = {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},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-04132-2},
  doi       = {10.1007/978-3-319-04132-2},
  isbn      = {978-3-319-04131-5},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2013,
  editor    = {Fridtjof Siebert and
               Kelvin Nilsen},
  title     = {The 11th International Workshop on Java Technologies for Real-time
               and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2512989},
  isbn      = {978-1-4503-2166-2},
  timestamp = {Thu, 16 Oct 2014 09:41:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/webdb/2013,
  editor    = {Angela Bonifati and
               Cong Yu},
  title     = {Proceedings of the 16th International Workshop on the Web and Databases
               2013, WebDB 2013, New York, NY, USA, June 23, 2013},
  year      = {2013},
  timestamp = {Sun, 23 Apr 2017 19:31:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/webdb/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/taosd/2012-9,
  editor    = {Gary T. Leavens and
               Shigeru Chiba and
               Michael Haupt and
               Klaus Ostermann and
               Eric Wohlstadter},
  title     = {Transactions on Aspect-Oriented Software Development {IX}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7271},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35551-6},
  doi       = {10.1007/978-3-642-35551-6},
  isbn      = {978-3-642-35550-9},
  timestamp = {Sun, 28 May 2017 13:18:22 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/taosd/2012-9},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2012,
  editor    = {Martin T. Vechev and
               Kathryn S. McKinley},
  title     = {International Symposium on Memory Management, {ISMM} '12, Beijing,
               China, June 15-16, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2258996},
  isbn      = {978-1-4503-1350-6},
  timestamp = {Tue, 19 Jun 2012 14:21:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2012,
  editor    = {Martin Schoeberl and
               Andy J. Wellings},
  title     = {The 10th International Workshop on Java Technologies for Real-time
               and Embedded Systems, {JTRES} '12, Copenhagen, Denmark, October 24-26,
               2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2388936},
  isbn      = {978-1-4503-1688-0},
  timestamp = {Sat, 13 Apr 2013 21:25:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/marc/2012rwth,
  editor    = {Stefan Lankes and
               Carsten Clauss},
  title     = {Many-core Applications Research Community {(MARC)} Symposium at {RWTH}
               Aachen University, November 29th-30th 2012, Aachen, Germany},
  publisher = {{RWTH} Aachen University},
  year      = {2012},
  url       = {http://publications.rwth-aachen.de/record/230582/files/4383.pdf},
  isbn      = {978-3-00-039545-1},
  timestamp = {Wed, 07 Jun 2017 10:23:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/marc/2012rwth},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2011,
  editor    = {Paulo Borba and
               Shigeru Chiba},
  title     = {Proceedings of the 10th International Conference on Aspect-Oriented
               Software Development, {AOSD} 2011, Porto de Galinhas, Brazil, March
               21-25, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0605-8},
  timestamp = {Wed, 27 Apr 2011 16:15:01 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2011,
  editor    = {Mary W. Hall and
               David A. Padua},
  title     = {Proceedings of the 32nd {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2011, San Jose, CA, USA,
               June 4-8, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0663-8},
  timestamp = {Tue, 07 Jun 2011 16:07:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2011,
  editor    = {Sarfraz Khurshid and
               Koushik Sen},
  title     = {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},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29860-8},
  doi       = {10.1007/978-3-642-29860-8},
  isbn      = {978-3-642-29859-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2010,
  editor    = {Dave Clarke and
               Gul A. Agha},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-13414-2},
  doi       = {10.1007/978-3-642-13414-2},
  isbn      = {978-3-642-13413-5},
  timestamp = {Wed, 22 Nov 2017 09:15:20 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2010,
  editor    = {Christine Morin and
               Gilles Muller},
  title     = {European Conference on Computer Systems, Proceedings of the 5th European
               conference on Computer systems, EuroSys 2010, Paris, France, April
               13-16, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-577-2},
  timestamp = {Tue, 25 Jan 2011 16:00:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2010,
  editor    = {Tomas Kalibera and
               Jan Vitek},
  title     = {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},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0122-0},
  timestamp = {Mon, 05 Dec 2011 19:57:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2010,
  editor    = {Benjamin G. Zorn and
               Alexander Aiken},
  title     = {Proceedings of the 2010 {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, {PLDI} 2010, Toronto, Ontario,
               Canada, June 5-10, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-4503-0019-3},
  timestamp = {Mon, 07 Jun 2010 09:26:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pldi/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010damp,
  editor    = {Leaf Petersen and
               Enrico Pontelli},
  title     = {Proceedings of the {POPL} 2010 Workshop on Declarative Aspects of
               Multicore Programming, {DAMP} 2010, Madrid, Spain, January 19, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-859-9},
  timestamp = {Thu, 28 Jan 2010 10:53:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2010damp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 22:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jtres/2009,
  editor    = {M. Teresa Higuera{-}Toledano and
               Martin Schoeberl},
  title     = {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},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-732-5},
  timestamp = {Tue, 13 Oct 2009 09:05:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jtres/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2009damp,
  editor    = {Leaf Petersen and
               Manuel M. T. Chakravarty},
  title     = {Proceedings of the {POPL} 2009 Workshop on Declarative Aspects of
               Multicore Programming, {DAMP} 2009, Savannah, GA, USA, January 20,
               2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-417-1},
  timestamp = {Thu, 28 Jan 2010 10:46:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2009damp},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2008,
  editor    = {Jan Vitek},
  title     = {{ECOOP} 2008 - Object-Oriented Programming, 22nd European Conference,
               Paphos, Cyprus, July 7-11, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5142},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-70592-5},
  doi       = {10.1007/978-3-540-70592-5},
  isbn      = {978-3-540-70591-8},
  timestamp = {Wed, 28 Jun 2017 19:59:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006,
  editor    = {John H. Reppy and
               Julia L. Lawall},
  title     = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
               16-21, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-309-3},
  timestamp = {Wed, 27 Sep 2006 15:55:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier