


default search action
Lukasz Ziarek
Luke Ziarek
Person information
- affiliation: University at Buffalo, NY, USA
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j21]Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek:
Semantic Logical Relations for Timed Message-Passing Protocols. Proc. ACM Program. Lang. 9(POPL): 1750-1781 (2025) - [j20]Sofiya Semenova
, Steven Y. Ko
, Yu David Liu
, Lukasz Ziarek
, Karthik Dantu
:
A Comprehensive Study of Systems Challenges in Visual Simultaneous Localization and Mapping Systems. ACM Trans. Embed. Comput. Syst. 24(1): 2:1-2:31 (2025) - 2024
- [i9]Yue Yao, Grant Iraci, Cheng-En Chuang, Stephanie Balzer, Lukasz Ziarek:
Semantic Logical Relations for Timed Message-Passing Protocols (Extended Version). CoRR abs/2411.07215 (2024) - 2023
- [j19]Grant Iraci
, Cheng-En Chuang
, Raymond Hu
, Lukasz Ziarek
:
Validating IoT Devices with Rate-Based Session Types. Proc. ACM Program. Lang. 7(OOPSLA2): 1589-1617 (2023) - [c71]Zheyuan Ma
, Xi Tan
, Lukasz Ziarek, Ning Zhang, Hongxin Hu, Ziming Zhao
:
Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense. DAC 2023: 1-6 - [c70]Xinyue Liu, Lukasz Ziarek:
PTDETECTOR: An Automated JavaScript Front-end Library Detector. ASE 2023: 649-660 - [i8]Amy Rathore, Marina Blanton
, Marco Gaboardi
, Lukasz Ziarek:
A Formal Model for Secure Multiparty Computation. CoRR abs/2306.00308 (2023) - 2022
- [j18]Cheng-En Chuang
, Grant Iraci
, Lukasz Ziarek:
Send to me first: Priority in synchronous message-passing. J. Funct. Program. 32: e16 (2022) - [c69]Sean Sanders, Lukasz Ziarek:
Developing a Zen Click Fraud Detection Framework Using Smart Contracts. HICSS 2022: 1-10 - [c68]Sofiya Semenova, Pranay Meshram, Timothy Chase, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu:
A modular, extensible framework for modern visual SLAM systems. MobiSys 2022: 579-580 - [c67]Sofiya Semenova
, Steven Y. Ko, Yu David Liu, Lukasz Ziarek, Karthik Dantu:
A quantitative analysis of system bottlenecks in visual SLAM. HotMobile 2022: 74-80 - [e7]Wolfgang De Meuter, Patrick Eugster, Guido Salvaneschi, Francisco Sant'Anna, Lukasz Ziarek, Pascal Weisenburger:
Proceedings of the 9th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS 2022, Auckland, New Zealand, 7 December 2022. ACM 2022, ISBN 978-1-4503-9911-1 [contents] - 2021
- [j17]Bhargav Shivkumar, Jeffrey C. Murphy, Lukasz Ziarek:
Real-time MLton: A Standard ML runtime for real-time functional programs. J. Funct. Program. 31: e19 (2021) - [j16]Malte Viering, Raymond Hu
, Patrick Eugster
, Lukasz Ziarek:
A multiparty session typing discipline for fault-tolerant event-driven distributed programming. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [c66]Sean Sanders, Lukasz Ziarek:
A comparison and contrast of APKTool and Soot for injecting blockchain calls into Android applications. HICSS 2021: 1-9 - [c65]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. ICSE 2021: 1311-1322 - [c64]Adam Czerniejewski, John Henry Burns, Farshad Ghanei, Karthik Dantu, Yu David Liu, Lukasz Ziarek:
JCopter: Reliable UAV Software Through Managed Languages. IROS 2021: 4282-4289 - [c63]Cheng-En Chuang, Grant Iraci
, Lukasz Ziarek:
Synchronous Message-Passing with Priority. PADL 2021: 37-53 - [c62]Bhargav Shivkumar
, Enrique Naudon
, Lukasz Ziarek:
Putting Gradual Types to Work. PADL 2021: 54-70 - [c61]Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek:
TreeToaster: Towards an IVM-Optimized Compiler. SIGMOD Conference 2021: 155-167 - [i7]Bhargav Shivkumar, Enrique Naudon, Lukasz Ziarek:
Putting gradual types to work. CoRR abs/2101.12299 (2021) - [i6]Xiaozhou Liang, John Henry Burns, Joseph Sanchez, Karthik Dantu, Lukasz Ziarek, Yu David Liu:
Understanding Bounding Functions in Safety-Critical UAV Software. CoRR abs/2102.07020 (2021) - [i5]Darshana Balakrishnan, Carl Nuessle, Oliver Kennedy, Lukasz Ziarek:
TreeToaster: Towards an IVM-Optimized Compiler. CoRR abs/2104.01241 (2021) - 2020
- [c60]Justin Del Vecchio, Steven Y. Ko, Lukasz Ziarek:
Representing string computations as graphs for classifying malware. MOBILESoft@ICSE 2020: 120-131 - [c59]Bhargav Shivkumar
, Jeffrey C. Murphy, Lukasz Ziarek:
RTMLton: An SML Runtime for Real-Time Systems. PADL 2020: 113-130
2010 – 2019
- 2019
- [j15]Jeffrey C. Murphy, Bhargav Shivkumar
, Amy Pritchard, Grant Iraci, Dhruv Kumar, Sun Hyoung Kim, Lukasz Ziarek:
A survey of real-time capabilities in functional languages and compilers. Concurr. Comput. Pract. Exp. 31(4) (2019) - [j14]Farshad Ghanei
, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
OS-Based Energy Accounting for Asynchronous Resources in IoT Devices. IEEE Internet Things J. 6(3): 5841-5852 (2019) - [j13]Chang Min Park, Taeyeon Ki, Ali J. Ben Ali
, Nikhil Sunil Pawar, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Gesto: Mapping UI Events to Gestures and Voice Commands. Proc. ACM Hum. Comput. Interact. 3(EICS): 5:1-5:22 (2019) - [j12]Yin Yan
, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, Jan Vitek:
Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness. ACM Trans. Embed. Comput. Syst. 17(6): 97:1-97:26 (2019) - [j11]Feng Shen
, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek:
Android Malware Detection Using Complex-Flows. IEEE Trans. Mob. Comput. 18(6): 1231-1245 (2019) - [c58]Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy:
Fluid data structures. DBPL 2019: 3-17 - [c57]Taeyeon Ki, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Mimic: UI compatibility testing system for Android apps. ICSE 2019: 246-256 - [c56]Harishankar Vishwanathan, Chang Min Park, Sidharth Kumar Mishra, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Partitioning Garbage Collection Between the Secure and Normal Worlds for Trusted Applications. MobiSys 2019: 610-611 - [c55]Carl Nuessle
, Oliver Kennedy
, Lukasz Ziarek
:
Benchmarking Pocket-Scale Databases. TPCTC 2019: 99-115 - [e6]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Francisco Sant'Anna, Lukasz Ziarek, Tetsuo Kamina, Hidehiko Masuhara:
Proceedings of the 6th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2019, Athens, Greece, October 21, 2019. ACM 2019, ISBN 978-1-4503-6986-2 [contents] - [i4]Darshana Balakrishnan, Lukasz Ziarek, Oliver Kennedy:
Just-in-Time Index Compilation. CoRR abs/1901.07627 (2019) - 2018
- [j10]Yin Yan, Lukasz Ziarek:
Application validation on RTDroid. SIGBED Rev. 15(4): 7-14 (2018) - [c54]Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu
, Lukasz Ziarek:
A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP 2018: 799-826 - [c53]Jennifer Winikus
, Lukasz Ziarek, Carl Alphonce, Jesse Hartloff:
Improving Retention and Confidence Through Cross-Course Collaborative Project-Based Learning. FIE 2018: 1-5 - [c52]Adam Czerniejewski, Karthik Dantu, Lukasz Ziarek:
jUAV: A Real-Time Java UAV Autopilot. IRC 2018: 258-261 - [c51]James D. Teresco
, Razieh Fathi, Lukasz Ziarek, MariaRose Bamundo, Arjol Pengu, Clarice F. Tarbay:
Map-based Algorithm Visualization with METAL Highway Data. SIGCSE 2018: 550-555 - [e5]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek, Francisco Sant'Anna:
Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, REBLS@SPLASH 2018, Boston, MA, USA, November 4, 2018. ACM 2018, ISBN 978-1-4503-6070-8 [contents] - 2017
- [j9]Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
RAINA: Reliability and Adaptability in Android for Fog Computing. IEEE Commun. Mag. 55(4): 41-45 (2017) - [c50]Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek:
Android Malware Detection Using Complex-Flows. ICDCS 2017: 2430-2437 - [c49]Yu David Liu, Lukasz Ziarek:
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. SEsCPS@ICSE 2017: 30-33 - [c48]Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Poster: RTDroid: A Real-Time Solution with Android. MobiSys 2017: 168 - [c47]Feng Shen, Justin Del Vecchio, Aziz Mohaisen, Steven Y. Ko, Lukasz Ziarek:
Poster: Android Malware Detection using Multi-Flows and API Patterns. MobiSys 2017: 171 - [c46]Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: Fully Automated UI Testing System for Large-scale Android Apps Using Multiple Devices. MobiSys 2017: 185 - [c45]Chang Min Park, Taeyeon Ki, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: Enabling Dynamic Gesture Mapping with UI Events. MobiSys 2017: 191 - [c44]Taeyeon Ki, Alexander Simeonov, Chang Min Park, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: Reptor: Enabling API Virtualization on Android for Platform Openness. MobiSys 2017: 193 - [c43]Taeyeon Ki, Alexander Simeonov, Bhavika Pravin Jain, Chang Min Park, Keshav Sharma, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Reptor: Enabling API Virtualization on Android for Platform Openness. MobiSys 2017: 399-412 - [c42]Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, Lukasz Ziarek:
Making Android Run on Time. RTAS 2017: 25-36 - [e4]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 4th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, Vancouver, BC, Canada, October 23, 2017. ACM 2017, ISBN 978-1-4503-5515-5 [contents] - 2016
- [j8]Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Adding real-time capabilities to a SML compiler. SIGBED Rev. 13(2): 8-13 (2016) - [j7]Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek:
RTDroid: A Design for Real-Time Android. IEEE Trans. Mob. Comput. 15(10): 2564-2584 (2016) - [c41]Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Real-time capabilities in functional languages. DCPS 2016: 1-10 - [c40]Tzu-Chun Chen
, Malte Viering, Andi Bejleri, Lukasz Ziarek, Patrick Eugster:
A Type Theory for Robust Failure Handling in Distributed Systems. FORTE 2016: 96-113 - [c39]Farshad Ghanei, Pranav Tipnis, Kyle Marcus, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
OS-based Resource Accounting for Asynchronous Resource Use in Mobile Systems. ISLPED 2016: 296-301 - [c38]Adam Czerniejewski, Shaun Cosgrove, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
jUAV: A Java Based System for Unmanned Aerial Vehicles. JTRES 2016: 2:1-2:10 - [c37]Girish Gokul, Yin Yan, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Real Time Sound Processing on Android. JTRES 2016: 3:1-3:10 - [c36]Taeyeon Ki, Alexander Simeonov, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Demo: API Virtualization for Platform Openness in Android. MobiSys (Companion Volume) 2016: 107 - [c35]Lukasz Ziarek, Bharat Jayaraman, Demian Lessa, Swaminathan Jayaraman
:
Runtime Visualization and Verification in JIVE. RV 2016: 493-497 - [c34]Yin Yan, Chunyu Chen, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Using a Multi-Tasking VM for Mobile Applications. HotMobile 2016: 93-98 - [e3]Guido Salvaneschi, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, Amsterdam, Netherlands, November 1, 2016. ACM 2016, ISBN 978-1-4503-4644-3 [contents] - [e2]Shigeru Chiba, Mario Südholt, Patrick Eugster, Lukasz Ziarek, Gary T. Leavens:
Transactions on Modularity and Composition I. Lecture Notes in Computer Science 9800, 2016, ISBN 978-3-319-46968-3 [contents] - [i3]Muyuan Li, Daniel E. McArdle, Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Adding Real-time Capabilities to a SML Compiler. CoRR abs/1601.03116 (2016) - [i2]Jeffrey C. Murphy, Bhargav Shivkumar, Lukasz Ziarek:
Embedded SML using the MLton compiler. CoRR abs/1608.07206 (2016) - 2015
- [c33]Oliver Kennedy, Lukasz Ziarek:
Just-In-Time Data Structures. CIDR 2015 - [c32]Lukasz Ziarek, Ethan Blanton:
The Fiji MultiVM Architecture. JTRES 2015: 9:1-9:10 - [c31]Justin Del Vecchio, Feng Shen, Kenny M. Yee, Boyu Wang, Steven Y. Ko, Lukasz Ziarek:
String Analysis of Android Applications (N). ASE 2015: 680-685 - [c30]Yu David Liu, Lukasz Ziarek:
Toward a Java based infrastructure for unmanned aerial vehicles. SPLASH (Companion Volume) 2015: 56-57 - [c29]Guido Salvaneschi
, Wolfgang De Meuter, Patrick Eugster, Lukasz Ziarek:
Workshop preview of the 2015 workshop on reactive and event-based languages & systems (REBLS 2015). SPLASH (Companion Volume) 2015: 109-110 - [c28]Oliver Kennedy, Jerry Antony Ajay, Geoffrey Challen, Lukasz Ziarek:
Pocket Data: The Need for TPC-MOBILE. TPCTC 2015: 8-25 - [c27]Geoffrey Challen, Jerry Antony Ajay, Nick DiRienzo, Oliver Kennedy, Anudipa Maiti, Anandatirtha Nandugudi, Sriram Shantharam, Jinghao Shi, Guru Prasad Srinivasa, Lukasz Ziarek:
maybe We Should Enable More Uncertain Mobile App Programming. HotMobile 2015: 105-110 - [e1]Lukasz Ziarek:
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2015, Paris, France, October 7-8, 2015. ACM 2015, ISBN 978-1-4503-3644-4 [contents] - 2014
- [j6]Ethan Blanton, Demian Lessa, Puneet Arora, Lukasz Ziarek, Bharat Jayaraman:
JI.FI: Visual test and debug queries for hard real-time. Concurr. Comput. Pract. Exp. 26(14): 2456-2487 (2014) - [j5]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
MultiMLton: A multicore-aware runtime for standard ML. J. Funct. Program. 24(6): 613-674 (2014) - [c26]Yin Yan, Shaun Cosgrove, Ethan Blanton, Steven Y. Ko, Lukasz Ziarek:
Real-Time Sensing on Android. JTRES 2014: 67 - [c25]Feng Shen, Namita Vishnubhotla, Chirag Todarka, Mohit Arora, Babu Dhandapani, Eric John Lehner, Steven Y. Ko, Lukasz Ziarek:
Information flows as a permission mechanism. ASE 2014: 515-526 - [c24]Yin Yan, Shaun Cosgrove, Varun Anand, Amit Kulkarni, Sree Harsha Konduri, Steven Y. Ko, Lukasz Ziarek:
Real-time android with RTDroid. MobiSys 2014: 273-286 - [c23]Taeyeon Ki, Satyaditya Munipalle, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek:
Poster: Retro: an automated, application-layer record and replay for android. MobiSys 2014: 373 - [c22]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
RCML: A Prescription for Safely Relaxing Synchrony. PADL 2014: 1-16 - 2013
- [j4]K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, Patrick Eugster:
Efficient sessions. Sci. Comput. Program. 78(2): 147-167 (2013) - [c21]Ethan Blanton, Lukasz Ziarek:
Non-blocking inter-partition communication with wait-free pair transactions. JTRES 2013: 58-67 - [c20]Yin Yan, Sree Harsha Konduri, Amit Kulkarni, Varun Anand, Steven Y. Ko, Lukasz Ziarek:
RTDroid: a design for real-time Android. JTRES 2013: 98-107 - [c19]Shashank Holavanalli, Don Manuel, Vishwas Nanjundaswamy, Brian Rosenberg, Feng Shen, Steven Y. Ko, Lukasz Ziarek:
Flow Permissions for Android. ASE 2013: 652-657 - [c18]Sumit Agarwal, Daniel Bellinger, Oliver Kennedy, Ankur Upadhyay, Lukasz Ziarek:
Monadic Logs for Collaborative Web Applications. WebDB 2013: 37-42 - [i1]Oliver Kennedy, Lukasz Ziarek:
BarQL: Collaborating Through Change. CoRR abs/1303.4471 (2013) - 2012
- [j3]Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster:
Abstracting Context in Event-Based Software. LNCS Trans. Aspect Oriented Softw. Dev. 9: 123-167 (2012) - [c17]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
Eliminating read barriers through procrastination and cleanliness. ISMM 2012: 49-60 - [c16]Ethan Blanton, Demian Lessa, Lukasz Ziarek, Bharat Jayaraman:
Ji.Fi: visual test and debug queries for hard real-time. JTRES 2012: 155-164 - [c15]K. C. Sivaramakrishnan, Lukasz Ziarek, Suresh Jagannathan:
A Coherent and Managed Runtime for ML on the SCC. MARC@RWTH 2012: 20-35 - 2011
- [c14]Adrian Holzer, Lukasz Ziarek, K. R. Jayaram, Patrick Eugster:
Putting events in context: aspects for event-based distributed programming. AOSD 2011: 241-252 - [c13]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Composable asynchronous events. PLDI 2011: 628-639 - [c12]Lukasz Ziarek, Siddharth Tiwary, Suresh Jagannathan:
Isolating Determinism in Multi-threaded Programs. RV 2011: 63-77 - 2010
- [j2]Lukasz Ziarek, Suresh Jagannathan:
Lightweight checkpointing for concurrent ML. J. Funct. Program. 20(2): 137-173 (2010) - [c11]K. C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, Patrick Eugster:
Efficient Session Type Guided Distributed Interaction. COORDINATION 2010: 152-167 - [c10]Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek:
High-level programming of embedded hard real-time devices. EuroSys 2010: 69-82 - [c9]Lukasz Ziarek:
PRP: priority rollback protocol -- a PIP extension for mixed criticality systems: short paper. JTRES 2010: 82-84 - [c8]Filip Pizlo, Lukasz Ziarek, Petr Maj, Antony L. Hosking
, Ethan Blanton, Jan Vitek:
Schism: fragmentation-tolerant real-time garbage collection. PLDI 2010: 146-159 - [c7]K. C. Sivaramakrishnan, Lukasz Ziarek, Raghavendra Prasad, Suresh Jagannathan:
Lightweight asynchrony using parasitic threads. DAMP 2010: 63-72
2000 – 2009
- 2009
- [c6]Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan:
Partial memoization of concurrency and communication. ICFP 2009: 161-172 - [c5]Filip Pizlo, Lukasz Ziarek, Jan Vitek:
Real time Java on resource-constrained platforms with Fiji VM. JTRES 2009: 110-119 - [c4]Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar:
Speculative N-Way barriers. DAMP 2009: 1-12 - 2008
- [j1]Lukasz Ziarek, Stephen Weeks, Suresh Jagannathan:
Flattening tuples in an SSA intermediate representation. High. Order Symb. Comput. 21(3): 333-358 (2008) - [c3]Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, Suresh Jagannathan:
A Uniform Transactional Execution Environment for Java. ECOOP 2008: 129-154 - 2006
- [c2]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147 - [c1]Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
Modular Checkpointing for Atomicity. TV@FLoC 2006: 85-115