Filters








25 Hits in 1.0 sec

SuperC

Paul Gazzillo, Robert Grimm
2012 SIGPLAN notices  
C tools, such as source browsers, bug finders, and automated refactorings, need to process two languages: C itself and the preprocessor. The latter improves expressivity through file includes, macros, and static conditionals. But it operates only on tokens, making it hard to even parse both languages. This paper presents a complete, performant solution to this problem. First, a configurationpreserving preprocessor resolves includes and macros yet leaves static conditionals intact, thus
more » ... tact, thus preserving a program's variability. To ensure completeness, we analyze all interactions between preprocessor features and identify techniques for correctly handling them. Second, a configuration-preserving parser generates a wellformed AST with static choice nodes for conditionals. It forks new subparsers when encountering static conditionals and merges them again after the conditionals. To ensure performance, we present a simple algorithm for table-driven Fork-Merge LR parsing and four novel optimizations. We demonstrate the effectiveness of our approach on the x86 Linux kernel.
doi:10.1145/2345156.2254103 fatcat:uvqsujh6ajfn5mqrwjyq2aeeli

Adding Concurrency to Smart Contracts [article]

Thomas Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 arXiv   pre-print
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the smart contracts were executed correctly by miners. Serial execution limits system throughput and fails to
more » ... ughput and fails to exploit today's concurrent multicore and cluster architectures. Nevertheless, serial execution appears to be required: contracts share state, and contract programming languages have a serial semantics. This paper presents a novel way to permit miners and validators to execute smart contracts in parallel, based on techniques adapted from software transactional memory. Miners execute smart contracts speculatively in parallel, allowing non-conflicting contracts to proceed concurrently, and "discovering" a serializable concurrent schedule for a block's transactions, This schedule is captured and encoded as a deterministic fork-join program used by validators to re-execute the miner's parallel schedule deterministically but concurrently. Smart contract benchmarks run on a JVM with ScalaSTM show that a speedup of of 1.33x can be obtained for miners and 1.69x for validators with just three concurrent threads.
arXiv:1702.04467v1 fatcat:huu5ain26fddtmmg5gkrd5sqba

SuperC

Paul Gazzillo, Robert Grimm
2012 Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12  
C tools, such as source browsers, bug finders, and automated refactorings, need to process two languages: C itself and the preprocessor. The latter improves expressivity through file includes, macros, and static conditionals. But it operates only on tokens, making it hard to even parse both languages. This paper presents a complete, performant solution to this problem. First, a configurationpreserving preprocessor resolves includes and macros yet leaves static conditionals intact, thus
more » ... tact, thus preserving a program's variability. To ensure completeness, we analyze all interactions between preprocessor features and identify techniques for correctly handling them. Second, a configuration-preserving parser generates a wellformed AST with static choice nodes for conditionals. It forks new subparsers when encountering static conditionals and merges them again after the conditionals. To ensure performance, we present a simple algorithm for table-driven Fork-Merge LR parsing and four novel optimizations. We demonstrate the effectiveness of our approach on the x86 Linux kernel.
doi:10.1145/2254064.2254103 dblp:conf/pldi/GazzilloG12 fatcat:u6mlcww6zra23kgwgnl2ft4b3y

Formal Semantics of Kconfig for "Finding Broken Linux Configuration Specifications by Statically Analyzing the Kconfig Language" [article]

Jeho Oh, Necip Fazıl Yıldıran, Julian Braha, Paul Gazzillo
2021 Zenodo  
Gazzillo, University of Central Florida, Orlando, FL, USA, paul.gazzillo@ucf.edu.  ...  utexas.edu; Necip Fazıl Yıldıran, University of Central Florida, Orlando, FL, USA, yildiran@knights.ucf.edu; Julian Braha, University of Central Florida, Orlando, FL, USA, julianbraha@knights.ucf.edu; Paul  ... 
doi:10.5281/zenodo.4950762 fatcat:wx4ylfjs5ndbpgjpqenjpzjydu

Proust: A Design Space for Highly-Concurrent Transactional Data Structures [article]

Thomas D. Dickerson, Paul Gazzillo, Maurice Herlihy, Eric Koskinen
2017 arXiv   pre-print
Most STM systems are poorly equipped to support libraries of concurrent data structures. One reason is that they typically detect conflicts by tracking transactions' read sets and write sets, an approach that often leads to false conflicts. A second is that existing data structures and libraries often need to be rewritten from scratch to support transactional conflict detection and rollback. This paper introduces Proust, a framework for the design and implementation of transactional data
more » ... ctional data structures. Proust is designed to maximize re-use of existing well-engineered by providing transactional "wrappers" to make existing thread-safe concurrent data structures transactional. Proustian objects are also integrated with an underling STM system, allowing them to take advantage of well-engineered STM conflict detection mechanisms. Proust generalizes and unifies prior approaches such as boosting and predication.
arXiv:1702.04866v2 fatcat:mp27zngblvhgxiys3llazkey4q

Kmax: finding all configurations of Kbuild makefiles statically

Paul Gazzillo
2017 Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017  
Feature-oriented software design is a useful paradigm for building and reasoning about highly-configurable software. By making variability explicit, feature-oriented tools and languages make program analysis tasks easier, such as bug-finding, maintenance, and more. But critical software, such as Linux, coreboot, and BusyBox rely instead on brittle tools, such as Makefiles, to encode variability, impeding variability-aware tool development. Summarizing Makefile behavior for all configurations is
more » ... l configurations is difficult, because Makefiles have unusual semantics, and exhaustive enumeration of all configurations is intractable in practice. Existing approaches use ad-hoc heuristics, missing much of the encoded variability in Makefiles. We present Kmax, a new static analysis algorithm and tool for Kbuild Makefiles. It is a family-based variability analysis algorithm, where paths are Boolean expressions of configuration options, called reaching configurations, and its abstract state enumerates string values for all configurations. Kmax localizes configuration explosion to the statement level, making precise analysis tractable. The implementation analyzes Makefiles from the Kbuild build system used by several low-level systems projects. Evaluation of Kmax on the Linux and BusyBox build systems shows it to be accurate, precise, and fast. It is the first tool to collect all source files and their configurations from Linux. Compared to previous approaches, Kmax is far more accurate and precise, performs with little overhead, and scales better. CCS CONCEPTS • Software and its engineering → Software configuration management and version control systems; Interpreters; Software testing and debugging;
doi:10.1145/3106237.3106283 dblp:conf/sigsoft/Gazzillo17 fatcat:rn4j2xr2v5cwlia3ed7rknwkca

SeMPE: Secure Multi Path Execution Architecture for Removing Conditional Branch Side Channels [article]

Andrea Mondelli, Paul Gazzillo, Yan Solihin
2020 arXiv   pre-print
One of the most prevalent source of side channel vulnerabilities is the secret-dependent behavior of conditional branches (SDBCB). The state-of-the-art solution relies on Constant-Time Expressions, which require high programming effort and incur high performance overheads. In this paper, we propose SeMPE, an approach that relies on architecture support to eliminate SDBCB without requiring much programming effort while incurring low performance overheads. The key idea is that when a
more » ... when a secret-dependent branch is encountered, the SeMPE microarchitecture fetches, executes, and commits both paths of the branch, preventing the adversary from inferring secret values from the branching behavior of the program. To enable that, SeMPE relies on an architecture that is capable of safely executing both branch paths sequentially. Through microbenchmarks and an evaluation of a real-world library, we show that SeMPE incurs near ideal execution time overheads, which is the sum of the execution time of all branch paths of secret-dependent branches. SeMPE outperforms code generated by FaCT, a constant-time expression language, by up to a factor of 18x.
arXiv:2006.16345v2 fatcat:koxzpr3ivbh23junjzsi4ufhsu

Page 1114 of New Jersey Medicine Vol. 74, Issue 12 [page]

1977 New Jersey Medicine  
Gay, William A., Jr., M.D., New York ....*1041 Gazzillo, Frank L.,M.D., Newark .  ...  Finance and Budget, Committee on Finegan, Paul J. Fisher, James A. Fistula Surgery, The Seton in— Detrano Fletcher, H.  ... 

Page 97 of Chemical Engineering Progress Vol. 51, Issue 10 [page]

1955 Chemical Engineering Progress  
Gazzillo, Ralph A., Ridgefield, N. J. Gingrich, James E., Wenatchee, Wash. Greenfield, Harold H., Richland, Wash. Gregory, D. W., Texas City, Tex. Gutoff, Edgor B., Berlin, N. H.  ...  Paul, Minn. Jones, Fred E., Edgewood, Md. Karn, William S., East Hartford, Conn. Kendall, H. Benne, Cleveland, Ohio Laity, David S., Fairfield, Conn. Lampard, Robert W., Somerville, N. J.  ... 

Page 1966 of Psychological Abstracts Vol. 93, Issue 5 [page]

2006 Psychological Abstracts  
., 12889 Flaxman, Paul E., 15109 Fleeson, William, 13500 Fleischhacker, W.  ...  Mueller, 13070 Gatherwright, James R., 12946 Gati, Itamar, 15131 Gatz, Margaret, 14227 Gatzke-Kopp, Lisa, 13661 Gault, J., 12890 Gauvain, Mary, 13153 Gavidia-Payne, Susana, 13648 Gaylord, Susan, 14630 Gazzillo  ... 

Accuracy of long head of the biceps tendon palpation by physical therapists; an ultrasonographic study

Amy W. McDevitt, Joshua A. Cleland, Colin Strickland, Paul Mintken, Mary Becky Leibold, Maria Borg, Rebecca Altic, Suzanne Snodgrass
2020 Journal of Physical Therapy Science  
According to Gazzillo et al. 18) , inaccurate palpations occurred medial to the ITG with a mean distance of 1.4 cm (14mm) away from the border of the ITG.  ...  A study by Gazzillo et al. 18) investigated the overall accuracy of physicians palpating the LHBT of asymptomatic individuals in a position of 20-30° of shoulder abduction, 90° elbow flexion and full  ... 
doi:10.1589/jpts.32.760 pmid:33281293 pmcid:PMC7708007 fatcat:6dpdpbccorfdlci4ve2p4ckeqm

Page 129 of Psychological Abstracts Vol. 93, Issue Index [page]

Psychological Abstracts  
Michael, 3884 Gazit-Grunwald, Merav, 8115 Gazmararian, Julie A., 33064 Gazso, Amber, 930 Gazzaley, Adam, 20247 Gazzaniga, Michael S., 11126, 15870 Gazzillo, Francesco, 13862 Gazzoli, Anna, 13749 Gberevbie  ...  ., 22888 Garroutte, Eva Marie, 14329 Garrud, Paul, 20681 Garry, Mark T., 20791 Garry, Maryanne, 3431, 27899, 27900, 27901 Garry, Michael, 16080 Garry, Philip J., 4817 Garsoffky, Birbel, 9590 Garstang,  ... 

Measurement of Personality Structure by the OPD Structure Questionnaire Can Help to Discriminate Between Subtypes of Eating-Disorders

Jens Rohde, Tobias Hofmann, Barbara Voigt, Matthias Rose, Alexander Obbarius
2019 Frontiers in Psychology  
(Paul and Thiel, 2005) .  ...  Although it has gathered international recognition over the last few years (Gazzillo et al., 2015; Kernberg, 2018) , broad use is currently confined to German-speaking countries.  ... 
doi:10.3389/fpsyg.2019.02326 pmid:31681116 pmcid:PMC6811657 fatcat:bvfyexfrtng77afpn7rbggveui

Passing the NBCOT Examination: Preadmission, Academic, and Fieldwork Factors

Sharon D Novalis, Jill M Cyranowski, Cathy D Dolhi
2017 Open Journal of Occupational Therapy  
Authors across health care disciplines have raised questions regarding the value of admission interviews as a student selection tool (Agho, Mosley, & Smith-Paul, 1998; Ehrenfeld & Tabak, 2000; Goho &  ...  examinations in physical therapy, physician assistant, and athletic trainer programs (Andreeff, 2014; Dockter, 2001; Kosmahl, 2005; Luedtke-Hoffmann, Dillon, Utsey, & Tomaka, 2012; Middlemas, Manning, Gazzillo  ... 
doi:10.15453/2168-6408.1341 fatcat:asjcrzw4efde5arcga4k44h6iu

Colloidal dispersions of octadecyl grafted silica spheres in toluene: A global analysis of small angle neutron scattering contrast variation and concentration dependence measurements

Joachim Kohlbrecher, Johan Buitenhuis, Gerhard Meier, M. Paul Lettinga
2006 Journal of Chemical Physics  
For higher concentrations it is, however, necessary to use either the rigorous approach from Vrij or the one from Gazzillo et al., which gives almost the same result.  ... 
doi:10.1063/1.2220564 pmid:16942182 fatcat:kiqtueovyzc6nc2pq5xhx6q5hq
« Previous Showing results 1 — 15 out of 25 results