Filters








612 Hits in 5.8 sec

The CSI Framework for Compiler-Inserted Program Instrumentation

Tao B. Schardl, Tyler Denniston, Damon Doucet, Bradley C. Kuszmaul, I-Ting Angelina Lee, Charles E. Leiserson
2017 Proceedings of the ACM on Measurement and Analysis of Computing Systems  
We have defined a standard API for CSI and modified LLVM to insert CSI hooks into the compiler's internal representation (IR) of the program.  ...  In contrast, CSI inserts a standard collection of instrumentation hooks into the program-under-test.  ...  Thanks to the LLVM developer community for discussions regarding CSI and a CTO-based design for CSI.  ... 
doi:10.1145/3154502 dblp:journals/pomacs/SchardlDDKLL17 fatcat:emnw2qyrv5eixpugx55jyznl74

Tracking Database Access Design by Solicitation Programs for Detecting Inconsistency

2019 International journal of recent technology and engineering  
In spite of the way that such instruments are successful, for all intents and purposes better grained get the opportunity to control framework modified to the semantics of the data set away in the DMBS  ...  Such a profile keeps an imprint for each submitted inquiry and moreover the relating prerequisites that the application program must satisfy to show the request.  ...  We additionally plan to upgrade the culmination and precision of our profile creation instrument utilizing both static and dynamic investigation of the program.  ... 
doi:10.35940/ijrte.d9490.118419 fatcat:wyx3e6zoxnd6pcf6exxyc34eve

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components [article]

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Arnab Kumar Biswas, Vianney Lapôtre, Guy Gogniat
2018 arXiv   pre-print
Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can be performed using an  ...  SBI (Static Binary Instrumentation) or a DBI (Dynamic Binary Instrumentation) framework.  ...  CSI (Comprehensive Static Instrumentation) [15] is also a static instrumentation framework for LLVM. LLVM [16] , an open-source compiler, can be used to create passes and instrument code.  ... 
arXiv:1812.01667v1 fatcat:a2kvjywl5raqzkbgigtwlgeore

A novel lightweight hardware-assisted static instrumentation approach for ARM SoC using debug components

Muhammad Abdul Wahab, Pascal Cotret, Mounir Nasr Allah, Guillaume Hiet, Vianney Lapotre, Guy Gogniat, Arnab Kumar Biswas
2018 2018 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)  
Abstract Most of hardware-assisted solutions for software security, program monitoring, and event-checking approaches require instrumentation of the target software, an operation which can be performed  ...  using an SBI (Static Binary Instrumentation) or a DBI (Dynamic Binary Instrumentation) framework.  ...  CSI (Comprehensive Static Instrumentation) [13] is also a static instrumentation framework for LLVM. LLVM [14] , an open-source compiler, can be used to create passes and instrument code.  ... 
doi:10.1109/asianhost.2018.8607177 dblp:conf/asianhost/WahabCAHLGB18 fatcat:6bmpvnntpzb6ze5wioy7bpfqgi

Atomix: A Framework for Deploying Signal Processing Applications on Wireless Infrastructure

Manu Bansal, Aaron Schulman, Sachin Katti
2015 Symposium on Networked Systems Design and Implementation  
We present Atomix, a modular software framework for building applications on wireless infrastructure.  ...  Multi-processor DSPs have become the platform of choice for wireless infrastructure.  ...  We also thank our shepherd Deepak Ganesan for his valuable feedback, and the anonymous reviewers for their insightful comments. This work was supported by the NSF POMI grant.  ... 
dblp:conf/nsdi/BansalSK15 fatcat:zshzl2jezjhurne6ogjzkpiuo4

Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis

Xiaoxia Ren, O.C. Chesley, B.G. Ryder
2006 IEEE Transactions on Software Engineering  
In nine initial case studies on pairs of versions from two real Java programs, Daikon [2] and Eclipse jdt compiler [3], we were able to use Crisp to identify the failure-inducing changes for all but 1  ...  Crisp then builds a compilable intermediate version of the program by adding a programmer-selected partial edit to the original code, augmenting the selection as necessary to ensure compilation.  ...  1), and the insertion of the body of method B.inc() (i.e., CM atomic change 2), where the latter is dependent on the former.  ... 
doi:10.1109/tse.2006.90 fatcat:rltyml6uijainekmb42uy4vbnm

Practical Context-Sensitive CFI

Victor van der Veen, Dennis Andriesse, Enes Göktaş, Ben Gras, Lionel Sambuc, Asia Slowinska, Herbert Bos, Cristiano Giuffrida
2015 Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security - CCS '15  
We present PathArmor, a binary-level CCFI implementation which tracks paths to sensitive program states, and defines the set of valid control edges within the state context to yield higher precision than  ...  Our work shows that Context-sensitive CFI (CCFI) for both the backward and forward edge can be implemented efficiently on commodity hardware.  ...  ", and by the Netherlands Organisation for Scientific Research through grants NWO 639.023.309 VICI "Dowsing" and NWO CSI-DHS 628.001.021.  ... 
doi:10.1145/2810103.2813673 dblp:conf/ccs/VeenAGGSSBG15 fatcat:z472k2nzdjg33no7nqjcbhwjaa

Avalanche-safe LINQ compilation

Torsten Grust, Jan Rittinger, Tom Schreiber
2010 Proceedings of the VLDB Endowment  
We report on a query compilation technique that enables the construction of alternative efficient query providers for Microsoft's Language Integrated Query (LINQ) framework.  ...  LINQ programs are mapped into an intermediate algebraic form, suitable for execution on any SQL:1999-capable relational database system.  ...  We further inject Ferry into the functional Links [5] multi-tiered programming framework.  ... 
doi:10.14778/1920841.1920866 fatcat:pwxraqidkfeoxcmumg7bhhmcsy

Chianti

Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley
2004 Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications - OOPSLA '04  
These findings suggest that our change impact analysis is a promising technique for assisting developers with program understanding and debugging.  ...  For each affected test, Chianti also determines a set of affecting changes that were responsible for the test's modified behavior.  ...  We would like to thank Michael Ernst and his research group at MIT for the use of their data. We are also grateful to the anonymous reviewers for their constructive feedback.  ... 
doi:10.1145/1028976.1029012 dblp:conf/oopsla/RenSTRC04 fatcat:w7vvug7qejh5dazhh7xvhuza3m

Chianti

Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia Chesley
2004 SIGPLAN notices  
These findings suggest that our change impact analysis is a promising technique for assisting developers with program understanding and debugging.  ...  For each affected test, Chianti also determines a set of affecting changes that were responsible for the test's modified behavior.  ...  We would like to thank Michael Ernst and his research group at MIT for the use of their data. We are also grateful to the anonymous reviewers for their constructive feedback.  ... 
doi:10.1145/1035292.1029012 fatcat:jnvyfq5lsbcc3plczs4e6jxdfu

Current Source Inverters for PM machine control

S. Woolaghan, N. Schofield
2009 2009 IEEE International Electric Machines and Drives Conference  
, i.e. */ // This is a line comment, comments end at the end of the line Compile instructions are always prefixed by the '#' symbol and instruct the compiler program to include files or define symbols  ...  Summary of the "Dual Topology Test Rig Manual" Guide to Reading TI DSP Code The DSP program code files include data for execute operations, programmer comments and compile time instructions, examples  ... 
doi:10.1109/iemdc.2009.5075282 fatcat:vxttezlfonbo3nebznh4hoqi4u

Rapid digital architecture design of orthogonal matching pursuit

Benjamin Knoop, Jochen Rust, Sebastian Schmale, Dagmar Peters-Drolshagen, Steffen Paul
2016 2016 24th European Signal Processing Conference (EUSIPCO)  
For instance, a complex-valued digital architecture for the Orthogonal Matching Pursuit (OMP) algorithm with rank-1 updating has successfully been implemented and tested, which can be utilised for the  ...  The proposed methodology is founded on the enormous capabilities of High-Level Synthesis (HLS), which basically is a synthesis step to compile concurrently operating VLSI architectures from sequentially  ...  To begin with, National Instruments offers the possibility to program their FPGA products with LabVIEW graphically.  ... 
doi:10.1109/eusipco.2016.7760570 dblp:conf/eusipco/KnoopRSPP16 fatcat:bo3c4fo6njeo3hjjsnwo72jbwe

Cilkmem: Algorithms for Analyzing the Memory High-Water Mark of Fork-Join Parallel Programs [article]

Tim Kaler, William Kuszmaul, Tao B. Schardl, Daniele Vettorel
2019 arXiv   pre-print
Cilkmem employs two new algorithms for computing the p-processor MHWM. The first algorithm calculates the exact p-processor MHWM in O(T_1 · p) time, where T_1 is the total work of the program.  ...  Although tools exist for measuring memory usage during one particular execution of a parallel program, such tools cannot bound the worst-case memory usage over all possible parallel executions.  ...  We implemented Cilkmem using the CSI framework for compiler instrumentation [35] embedded in the Tapir/L-LVM compiler [37] .  ... 
arXiv:1910.12340v1 fatcat:d6xg3izazre4hjcoxasxtpcfiy

Feedback-directed page placement for ccNUMA via hardware-generated memory traces

Jaydeep Marathe, Vivek Thakkar, Frank Mueller
2010 Journal of Parallel and Distributed Computing  
This is accompanied by a one-time tracing overhead of 2.7% over the overall original program wallclock time.  ...  Non-uniform memory architectures with cache coherence (ccNUMA) are becoming increasingly common, not just for large-scale high performance platforms but also in the context of multi-cores architectures  ...  This research used resources of NCSA, UNC Chapel Hill, LRZ Munich, the University of Graz, the Zuse Institute Berlin, and the Center for Computational Sciences at Oak Ridge 14 National Laboratory, which  ... 
doi:10.1016/j.jpdc.2010.08.015 fatcat:ab7yxk5xrzgclabwjupar4bgju

A memory-centric approach to enable timing-predictability within embedded many-core accelerators

Paolo Burgio, Andrea Marongiu, Paolo Valente, Marko Bertogna
2015 2015 CSI Symposium on Real-Time and Embedded Systems and Technologies (RTEST)  
This significantly limits the potential for the adoption of these platforms in real-time systems.  ...  There is an increasing interest among real-time systems architects for multi-and many-core accelerated platforms.  ...  Acknowledgments This work has been supported in part by the European Commission under the P-SOCRATES project (FP7-ICT-611016).  ... 
doi:10.1109/rtest.2015.7369851 fatcat:dz44lvdm5fffxkiwrjvfkbvtqy
« Previous Showing results 1 — 15 out of 612 results