search for: fse

Hi all, I'm trying to use the FLAC C libraries to encode audio. I'm doing something like: FLAC__seekable_stream_encoder_set_channels(pflac->fse, 1); FLAC__seekable_stream_encoder_set_sample_rate(pflac->fse, 11025); FLAC__seekable_stream_encoder_set_bits_per_sample(pflac->fse, 8); if ((bps = FLAC__seekable_stream_encoder_init(pflac->fse)) != FLAC__SEEKABLE_STREAM_DECODER_OK) { printf ("Error : FLAC encoder init return...

--- Erik de Castro Lopo <erikd-flac@mega-nerd.com> wrote: > Hi all, > > I'm trying to use the FLAC C libraries to encode audio. > > I'm doing something like: > > FLAC__seekable_stream_encoder_set_channels(pflac->fse, 1); > FLAC__seekable_stream_encoder_set_sample_rate(pflac->fse, 11025); > FLAC__seekable_stream_encoder_set_bits_per_sample(pflac->fse, 8); > > if ((bps = FLAC__seekable_stream_encoder_init(pflac->fse)) != > FLAC__SEEKABLE_STREAM_DECODER_OK) > { printf ("Er...

...alia. We have developed a precise and highly efficient pointer analysis framework on top of LLVM, The approach is flow, context, and field sensitive, details are described in the two papers below: "Boosting the performance of flow-sensitive points-to analysis using value flow" (in ESEC-FSE 2011), and "Precise and scalable context-sensitive pointer analysis via value flow graph" (in ISMM 2013). The analysis was initially developed for the purpose of bug checking, and is now extended to support compiler optimizations. We have tested it with existing compiler optimizations in...

...a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with exist...

...a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with exis...

...efficient pointer analysis >> framework on top of LLVM, The approach is flow, context, and field >> sensitive, details are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have test...

...a precise and highly efficient pointer analysis > framework on top of LLVM, The approach is flow, context, and field > sensitive, details are described in the two papers below: > > "Boosting the performance of flow-sensitive points-to analysis using > value flow" (in ESEC-FSE 2011), and > "Precise and scalable context-sensitive pointer analysis via value > flow graph" (in ISMM 2013). > > The analysis was initially developed for the purpose of bug checking, > and is now extended to support compiler optimizations. We have tested > it with exis...

...Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Association for Computing Machinery, New York, NY, USA, 223–234. DOI:https://doi.org/10.1145/3338906.3338957 [2] Junjie Chen, Haoyang Ma, Lingming Zhang, Enhanced Compiler Bug Isolation via Memoized Search, Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engin...

...analysis >>> framework on top of LLVM, The approach is flow, context, and field >>> sensitive, details are described in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler optimiza...

...y efficient pointer analysis >> framework on top of LLVM, The approach is flow, context, and field >> sensitive, details are described in the two papers below: >> >> "Boosting the performance of flow-sensitive points-to analysis using >> value flow" (in ESEC-FSE 2011), and >> "Precise and scalable context-sensitive pointer analysis via value >> flow graph" (in ISMM 2013). >> >> The analysis was initially developed for the purpose of bug checking, >> and is now extended to support compiler optimizations. We have teste...

...VM instructions will be > traced. For example, I wouldn't record the outputs of every LLVM > instruction; I might only record the outputs of loads and stores or the end > of a def-use chain. > > I'd be interested in mentoring either project. > > BTW, it looks like your FSE paper won an award. Congrats. > > Regards, > > John Criswell > > > > > > > > On 3/3/15 2:30 AM, Mingxing Zhang wrote: > > Hi all, > > As a Ph.D. student majored in Software Reliability, I have used LLVM in > many of my projects, such as the Antici...

...t; > >>> field > > >>> sensitive, details are described in the two papers below: > > >>> > > >>> "Boosting the performance of flow-sensitive points-to analysis > > >>> using > > >>> value flow" (in ESEC-FSE 2011), and > > >>> "Precise and scalable context-sensitive pointer analysis via > > >>> value > > >>> flow graph" (in ISMM 2013). > > >>> > > >>> The analysis was initially developed for the purpose of bug > &gt...

...roach is flow, context, and > >>> field > >>> sensitive, details are described in the two papers below: > >>> > >>> "Boosting the performance of flow-sensitive points-to analysis > >>> using > >>> value flow" (in ESEC-FSE 2011), and > >>> "Precise and scalable context-sensitive pointer analysis via > >>> value > >>> flow graph" (in ISMM 2013). > >>> > >>> The analysis was initially developed for the purpose of bug > >>> checking, >...

...analysis >>> framework on top of LLVM, The approach is flow, context, and field >>> sensitive, details are described in the two papers below: >>> >>> "Boosting the performance of flow-sensitive points-to analysis using >>> value flow" (in ESEC-FSE 2011), and >>> "Precise and scalable context-sensitive pointer analysis via value >>> flow graph" (in ISMM 2013). >>> >>> The analysis was initially developed for the purpose of bug checking, >>> and is now extended to support compiler optimiza...

Hi all, As a Ph.D. student majored in Software Reliability, I have used LLVM in many of my projects, such as the Anticipating Invariant ( http://james0zan.github.io/AI.html) and some other undergoing ones. Thus, it would be a great pleasure for me if I could take this opportunity to contribute to this awesome project. After reading the idea list (http://llvm.org/OpenProjects.html), I was most

...;> framework on top of LLVM, The approach is flow, context, and field >>>> sensitive, details are described in the two papers below: >>>> >>>> "Boosting the performance of flow-sensitive points-to analysis using >>>> value flow" (in ESEC-FSE 2011), and >>>> "Precise and scalable context-sensitive pointer analysis via value >>>> flow graph" (in ISMM 2013). >>>> >>>> The analysis was initially developed for the purpose of bug checking, >>>> and is now extended to suppo...

...> traced. For example, I wouldn't record the outputs of every LLVM >> instruction; I might only record the outputs of loads and stores or the end >> of a def-use chain. >> >> I'd be interested in mentoring either project. >> >> BTW, it looks like your FSE paper won an award. Congrats. >> >> Regards, >> >> John Criswell >> >> >> >> >> >> >> >> On 3/3/15 2:30 AM, Mingxing Zhang wrote: >> >> Hi all, >> >> As a Ph.D. student majored in Software Reliability,...

...Chen, Jiaqi Han, Peiyi Sun, Lingming Zhang, Dan Hao, and Lu Zhang. 2019. Compiler bug isolation via effective witness test program generation. In Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019). Association for Computing Machinery, New York, NY, USA, 223–234. DOI:https://doi.org/10.1145/3338906.3338957 <https://doi.org/10.1145/3338906.3338957> > [2] Junjie Chen, Haoyang Ma, Lingming Zhang, Enhanced Compiler Bug Isolation via Memoized Search, Proceedings of the 35th IEEE/ACM...

...op of LLVM, The approach is flow, context, and field > >>>> sensitive, details are described in the two papers below: > >>>> > >>>> "Boosting the performance of flow-sensitive points-to analysis using > >>>> value flow" (in ESEC-FSE 2011), and > >>>> "Precise and scalable context-sensitive pointer analysis via value > >>>> flow graph" (in ISMM 2013). > >>>> > >>>> The analysis was initially developed for the purpose of bug checking, > >>>> and...

...the outputs of every LLVM instruction; I might >> only record the outputs of loads and stores or the end of >> a def-use chain. >> >> I'd be interested in mentoring either project. >> >> BTW, it looks like your FSE paper won an award. Congrats. >> >> Regards, >> >> John Criswell >> >> >> >> >> >> >> >> On 3/3/15 2:30 AM, Mingxing Zhang wrote: >>> Hi all, >>> >>>...