Research Output

Conference contribution

Using register lifetime predictions to protect register files against soft errors

Montesinos, P., Liu, W. & Torrellas, J., Nov 16 2007, Proceedings - 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2007. p. 286-295 10 p. 4272980. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using rhythmic nonces for puzzle-based DoS resistance

Chan, E. M., Gunter, C. A., Jahid, S., Peryshkin, E. & Rebolledo, D., Dec 1 2008, Proceedings of the 2nd ACM Workshop on Computer Security Architectures, CSAW'08, Co-located with the 15th ACM Computer and Communications Security Conference, CCS'08. p. 51-57 7 p. (Proceedings of the ACM Conference on Computer and Communications Security).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using software logging to support multiversion buffering in thread-level speculation

Garzarán, M. J., Prvulovic, M., Viñals, V., Llabería, J. M., Rauchwerger, L. & Torrellas, J., Jan 1 2003, Proceedings - 12th International Conference on Parallel Architectures and Compilation Techniques, PACT 2003. Institute of Electrical and Electronics Engineers Inc., p. 170-181 12 p. 1238013. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2003-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using static analysis for coverage extraction from emulation/prototyping platforms

Athavale, V., Hertz, S., Jetly, D., Ganesan, V., Krysl, J. & Vasudevan, S., Nov 19 2012, CODES+ISSS'12 - Proceedings of the 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK. p. 207-214 8 p. (CODES+ISSS'12 - Proceedings of the 10th ACM International Conference on Hardware/Software-Codesign and System Synthesis, Co-located with ESWEEK).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using Symmetry Transformations in Equivariant Dynamical Systems for Their Safety Verification

Sibai, H., Mokhlesi, N. & Mitra, S., Jan 1 2019, Automated Technology for Verification and Analysis- 17th International Symposium, AVTA 2019, Proceedings. Chen, Y-F., Cheng, C-H. & Esparza, J. (eds.). Springer, p. 98-114 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11781 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using the motion perceptibility measure to classify points of interest for visual-based AUV guidance in a reef ecosystem

Labastida-Valdes, L., Torres-Mendez, L. A. & Hutchinson, S. A., Feb 8 2016, OCEANS 2015 - MTS/IEEE Washington. Institute of Electrical and Electronics Engineers Inc., 7404605

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Using tractable and realistic churn models to analyze quiescence behavior of distributed protocols

Ko, S. Y., Hoque, I. & Gupta, I., Dec 1 2008, Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems, SRDS 2008. p. 259-268 10 p. 4690820. (Proceedings of the IEEE Symposium on Reliable Distributed Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

UWB radar target sensing and imaging for granular materials research applications

Niekerk, C. V., Zastrow, E., Hagness, S. C. & Bernhard, J. T., Nov 22 2010, 2010 IEEE International Symposium on Antennas and Propagation and CNC-USNC/URSI Radio Science Meeting - Leading the Wave, AP-S/URSI 2010. 5562212. (2010 IEEE International Symposium on Antennas and Propagation and CNC-USNC/URSI Radio Science Meeting - Leading the Wave, AP-S/URSI 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vacuum packing: Extracting hardware-detected program phases for post-link optimization

Barnes, R. D., Nystrom, E. M., Merten, M. C. & Hwu, W-M. W., Jan 1 2002, Proceedings - 35th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO 2002. IEEE Computer Society, p. 233-244 12 p. 1176253. (Proceedings of the Annual International Symposium on Microarchitecture, MICRO; vol. 2002-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vac - Verifier of administrative role-based access control policies

Ferrara, A. L., Madhusudan, P., Nguyen, T. L. & Parlato, G., Jan 1 2014, Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer-Verlag Berlin Heidelberg, p. 184-191 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8559 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Validating resiliency in Software Defined Networks for smart grids

Kumar, R. & Nicol, D. M., Dec 8 2016, 2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016. Institute of Electrical and Electronics Engineers Inc., p. 441-446 6 p. 7778801. (2016 IEEE International Conference on Smart Grid Communications, SmartGridComm 2016).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Validation of an instrumented wheelchair hand rim

Gaglio, A., Daigle, S., Gacek, E., Jahanian, O., Slavens, B., Rice, I. & Hsiao-Wecksler, E., Jan 1 2017, Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017. American Society of Mechanical Engineers, (Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Validation of application behavior on a virtual time integrated network emulation testbed

Zheng, Y., Jin, D. & Nicol, D. M., Dec 1 2012, Proceedings of the 2012 Winter Simulation Conference, WSC 2012. 6465240. (Proceedings - Winter Simulation Conference).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Validation of radio channel models using an anechoic chamber

Zheng, Y. & Nicol, D. M., Jul 5 2010, 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation, PADS 2010. p. 114-121 8 p. 5471660. (Proceedings - Workshop on Principles of Advanced and Distributed Simulation, PADS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Valuation of reserve services

Ruiz, P. A. & Sauer, P. W., Sep 16 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences 2008, HICSS. 4438884. (Proceedings of the Annual Hawaii International Conference on System Sciences).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Value chain creation through digital innovation: The ebb and flow of communality and connectivity in a networked interorganizational system

Guth, K. & Poole, M. S., Mar 26 2015, Proceedings of the 48th Annual Hawaii International Conference on System Sciences, HICSS 2015. Sprague, R. H. & Bui, T. X. (eds.). IEEE Computer Society, p. 4191-4200 10 p. 7070321. (Proceedings of the Annual Hawaii International Conference on System Sciences; vol. 2015-March).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Value of demand response in the smart grid

Zhu, Q., Sauer, P. & Başar, T., May 21 2013, 2013 IEEE Power and Energy Conference at Illinois, PECI 2013. p. 76-82 7 p. 6506038. (2013 IEEE Power and Energy Conference at Illinois, PECI 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Valve: Securing Function Workflows on Serverless Computing Platforms

Datta, P., Kumar, P., Morris, T., Grace, M., Rahmati, A. & Bates, A., Apr 20 2020, The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020. Association for Computing Machinery, Inc, p. 939-950 12 p. (The Web Conference 2020 - Proceedings of the World Wide Web Conference, WWW 2020).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access

Vapor compression cycles: Control-oriented modeling and validation

Eldredge, B. D., Rasmussen, B. P. & Alleyne, A. G., Dec 1 2005, Proceedings of the ASME Dynamic Systems and Control Division 2005. 2 PART B ed. p. 1213-1222 10 p. (American Society of Mechanical Engineers, Dynamic Systems and Control Division (Publication) DSC; vol. 74 DSC, no. 2 PART B).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variable fidelity modeling in closed loop dynamical systems

Williams, M. A. & Alleyne, A. G., Jan 1 2014, Industrial Applications; Modeling for Oil and Gas, Control and Validation, Estimation, and Control of Automotive Systems; Multi-Agent and Networked Systems; Control System Design; Physical Human-Robot Interaction; Rehabilitation Robotics; Sensing and Actuation for Control; Biomedical Systems; Time Delay Systems and Stability; Unmanned Ground and Surface Robotics; Vehicle Motion Controls; Vibration Analysis and Isolation; Vibration and Control for Energy Harvesting; Wind Energy. American Society of Mechanical Engineers, (ASME 2014 Dynamic Systems and Control Conference, DSCC 2014; vol. 3).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variance-reduced model predictive control of Markov jump processes

Maginnis, P. A., West, M. & Dullerud, G. E., Jul 28 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 5376-5380 5 p. 7526512. (Proceedings of the American Control Conference; vol. 2016-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variant-based decidable satisfiability in initial algebras with predicates

Gutiérrez, R. & Meseguer, J., Jan 1 2018, Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Springer-Verlag Berlin Heidelberg, p. 306-322 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10855 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variant-based satisfiability in initial algebras

Meseguer, J., Jan 1 2016, Formal Techniques for Safety-Critical Systems - 4th International Workshop, FTSCS 2015, Revised Selected Papers. Ölveczky, P. C. & Artho, C. (eds.). Springer-Verlag Berlin Heidelberg, p. 3-34 32 p. (Communications in Computer and Information Science; vol. 596).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variants, unification, narrowing, and symbolic reachability in Maude 2.6

Durán, F., Eker, S., Escobar, S., Meseguer, J. & Talcott, C., Dec 1 2011, 22nd International Conference on Rewriting Techniques and Applications, RTA 2011. p. 31-40 10 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 10).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-aware application scheduling and power management for chip multiprocessors

Teodorescu, R. & Torrellas, J., Oct 1 2008, ISCA 2008, Proceedings - 35th International Symposium on Computer Architecture. p. 363-374 12 p. 4556740. (Proceedings - International Symposium on Computer Architecture).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-aware layout-driven scheduling for performance yield optimization

Lucas, G. & Chen, D., Dec 1 2010, 2010 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2010. p. 17-24 8 p. 5654344. (IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-aware placement for FPGAs with multi-cycle statistical timing analysis

Lucas, G., Dong, C. & Chen, D., May 3 2010, FPGA'10 - Proceedings of the 18th ACM SIGDA International Symposium on Field-Programmable Gate Arrays. p. 177-180 4 p. (ACM/SIGDA International Symposium on Field Programmable Gate Arrays - FPGA).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation aware routing for three-dimensional FPGAs

Dong, C., Chilstedt, S. & Chen, D., Oct 5 2009, Proceedings of the 2009 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2009. p. 298-303 6 p. 5076424. (Proceedings of the 2009 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2009).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-aware speed binning of multi-core processors

Sartori, J., Pant, A., Kumar, R. & Gupta, P., May 28 2010, Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010. p. 307-314 8 p. 5450442. (Proceedings of the 11th International Symposium on Quality Electronic Design, ISQED 2010).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-conscious formal timing verification in RTL

Kumar, J. A. & Vasudevan, S., Mar 25 2011, Proceedings - 24th International Conference on VLSI Design, VLSI Design 2011, Held Jointly with 10th International Conference on Embedded Systems. p. 58-63 6 p. 5718778. (Proceedings of the IEEE International Conference on VLSI Design).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variations on the theme of the witsenhausen counterexample

Başar, T., Dec 1 2008, Proceedings of the 47th IEEE Conference on Decision and Control, CDC 2008. p. 1614-1619 6 p. 4739205. (Proceedings of the IEEE Conference on Decision and Control).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-tolerant, low-power PN-code acquisition using stochastic sensor NOC

Varatkar, G. V., Narayanan, S., Shanbhag, N. R. & Jones, D. L., Sep 24 2008, 2008 IEEE International Symposium on Circuits and Systems, ISCAS 2008. p. 380-383 4 p. 4541434. (Proceedings - IEEE International Symposium on Circuits and Systems).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-tolerant architectures for convolutional neural networks in the near threshold voltage regime

Lin, Y., Zhang, S. & Shanbhag, N. R., Dec 9 2016, Proceedings - IEEE International Workshop on Signal Processing Systems, SiPS 2016. Institute of Electrical and Electronics Engineers Inc., p. 17-22 6 p. 7780065. (IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Variation-tolerant motion estimation architecture

Varatkar, G. V. & Shanbhag, N. R., Dec 1 2007, 2007 IEEE Workshop on Signal Processing Systems, SiPS 2007, Proceedings. p. 126-131 6 p. 4387531. (IEEE Workshop on Signal Processing Systems, SiPS: Design and Implementation).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

VARIUS-NTV: A microarchitectural model to capture the increased sensitivity of manycores to process variations at near-threshold voltages

Karpuzcu, U. R., Kolluru, K. B., Kim, N. S. & Torrellas, J., Oct 1 2012, 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2012. 6263951. (Proceedings of the International Conference on Dependable Systems and Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

VEBoC: Variation and error-aware design for billions of devices on a chip

Akram, S., Cromar, S., Lucas, G., Papakonstantinou, A. & Chen, D., Aug 21 2008, 2008 Asia and South Pacific Design Automation Conference, ASP-DAC. p. 803-808 6 p. 4484062. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vector field visualization by projection pursuit: analysis of projection indices

Harikumar, G. & Bresler, Y., Dec 1 1994, Proceedings of SPIE - The International Society for Optical Engineering. p 2 ed. Society of Photo-Optical Instrumentation Engineers, p. 942-953 12 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 2308, no. p 2).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vehicle Routing Problem with Time Windows: A Deterministic Annealing approach

Baranwal, M., Parekh, P. M., Marla, L., Salapaka, S. M. & Beck, C. L., Jul 28 2016, 2016 American Control Conference, ACC 2016. Institute of Electrical and Electronics Engineers Inc., p. 790-795 6 p. 7525010. (Proceedings of the American Control Conference; vol. 2016-July).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifiable adaptive flight control: UCAV and aerial refueling

Wise, K. A., Lavretsky, E., Hovakimyan, N., Cao, C. & Wang, J., Dec 1 2008, AIAA Guidance, Navigation and Control Conference and Exhibit. 2008-6658. (AIAA Guidance, Navigation and Control Conference and Exhibit).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verification of annotated models from executions

Duggirala, P. S., Mitra, S. & Viswanathan, M., Jan 1 2013, 2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013. IEEE Computer Society, 6658604. (2013 Proceedings of the International Conference on Embedded Software, EMSOFT 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verification of microarchitectural refinements in rule-based systems

Dave, N., Katelman, M., King, M., Arvind & Meseguer, J., Sep 1 2011, 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011. p. 61-71 11 p. 5970511. (9th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2011).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verification of randomized security protocols

Chadha, R., Sistla, A. P. & Viswanathan, M., Aug 8 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017. Institute of Electrical and Electronics Engineers Inc., 8005126. (Proceedings - Symposium on Logic in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verified hybrid LQ control for autonomous spacecraft rendezvous

Chan, N. & Mitra, S., Jan 18 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017. Institute of Electrical and Electronics Engineers Inc., p. 1427-1432 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Veriflow: Verifying network-wide invariants in real time

Khurshid, A., Zhou, W., Caesar, M. & Godfrey, P. B., Dec 1 2012, Proceedings of the ACM SIGCOMM 2012 and Best Papers of the Co-located Workshops. 4 ed. p. 467-472 6 p. (Computer Communication Review; vol. 42, no. 4).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

VeriFlow: Verifying network-wide invariants in real time

Khurshid, A., Zhou, W., Caesar, M. & Godfrey, P. B., Sep 26 2012, HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks. p. 49-54 6 p. (HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

VeriFlow: Verifying network-wide invariants in real time

Khurshid, A., Zou, X., Zhou, W., Caesar, M. & Brighten Godfrey, P., Jan 1 2019, Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013. USENIX Association, p. 15-27 13 p. (Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2013).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying average dwell time by solving optimization problems

Mitra, S., Lynch, N. & Liberzon, D., Jul 14 2006, Hybrid Systems: Computation and Control - 9th International Workshop, HSCC 2006, Proceedings. p. 476-490 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3927 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying Continuous-time Stochastic Hybrid Systems via Mori-Zwanzig model reduction

Wang, Y., Roohi, N., West, M., Viswanathan, M. & Dullerud, G. E., Dec 27 2016, 2016 IEEE 55th Conference on Decision and Control, CDC 2016. Institute of Electrical and Electronics Engineers Inc., p. 3012-3017 6 p. 7798719

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying dynamic power management schemes using statistical model checking

Kumar, J. A. & Vasudevan, S., Apr 26 2012, ASP-DAC 2012 - 17th Asia and South Pacific Design Automation Conference. p. 579-584 6 p. 6165023. (Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Verifying security invariants in expressOS

Edgar, H. M., Xue, P. H., King, S. T. & Madhusudan, P., Apr 5 2013, ASPLOS 2013 - 18th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 293-303 11 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution