Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarBibTeX records: Lukasz Ziarek
@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 
, founded at 
, founded at 
last updated on 2019-02-16 23:19 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
